An Information System Development Method Based on the Link of Business Process Modeling with Executable UML Modeling and its Evaluation by Prototyping | IEEE Conference Publication | IEEE Xplore