| Author | Wijesiriwardana, Chaman Priyankara |
| Call Number | AIT Thesis no.ICT-09-08 |
| Subject(s) | Web services
|
| Note | A thesis submitted in partial fulfillment of the requir ements for the degree of Master of Science in Information and Communication Technologies, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Series Statement | Thesis ; no. ICT-09-08 |
| Abstract | Composition of web services has become significant for enabling application integration within and beyond the organizational boundaries. However, the existing web service composition approaches are not capable of providing a proper verification methodology to check the correctness of the composite web service. It is extremely important to verify the correctness of the composition in order to increase the customer satisfaction in present competitive business world. In this study, a travel planning system is designed as a composite web service by integrating five web services and a correctness verification methodology based on Event Calculus (EC) is introduced. The composite service is represented in UML activity diagrams and then the UML diagrams are converted in to EC formulas. Two approaches were tried in the study and the direct conversion of UML to EC is used in the system. The verification system is developed on the basis of obtained EC formulas of the composite service. The accuracy of the system is tested with several user scenarios. The travel planning system is capable of automatically verifying the correctness of the composition and capable of handling dynamic changes. Additionally, the main execution patterns such as selective, parallel and sequential of the activity diagrams are identified and mapped them in to EC formulas. The correctness of the obtained EC formula is tested with different workflow patterns. The obtained EC formulas are accurate and capable of identifying the execution dependencies of the activity diagrams and hence, could be used in any other research or application for consistency checking |
| Year | 2009 |
| Corresponding Series Added Entry | Asian Institute of Technology. Thesis ; no. ICT-09-08 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Information and Communication Technology (ICT) |
| Chairperson(s) | Phan, Minh Dung; |
| Examination Committee(s) | Rajathewa, R. M. A. P.;Kovalainen, Mikko; |
| Scholarship Donor(s) | Finland;Asian Institute of Technology Fellowship; |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 2009 |