Abstract

Business processes can be specified in two ways: executable business processes models and business protocols. Although there are a number of factors that guide the development of models in Web Services, the goal of this thesis is to provide the notation to model both the internal business processes defined as executable business processes and the external business interactions defined in the business protocols. Moreover, this form of modeling is made to be easily understandable by both business participants and software developer participants so that it can be smoothly transferred to Business Process Executable Language (BPEL) to implement in a Web Service environment. By studying the current methods such as Business Process Modeling Notation (BPMN) and Unified Modeling Language (UML) for Web service modeling, I have developed a method to model the Web Services with ContextMaps which bridge the gap between technical users and business users, between the abstract external design and the detail internal design and also exhibits the relationship between Web Services Description Language (WSDL) and BPEL. Furthermore, the 4P (pattern-able, plug-able, process-able and perform-able) abilities of ContextMap notation can show the optimal solutions for Web Service. Finally, a model is given to ensure the consistency of system modeling between the main process and its sub processes, and also between different system domains.