Authors: Hong Zhu, Lijun Shan
Addresses: Department of Computing, Oxford Brookes University, Oxford OX33 1HX, UK. ' Department of Computer Science, National University of Defence Technology, Changsha, 410073, PR China
Abstract: A particular difficulty in the development of Web Services applications is caused by the lack of communications between developers from different vendors. This paper investigates how modelling can help to solve the problem using the caste-centric agent-oriented modelling language and environment CAMLE, and illustrates the method by an example of online auction service. The use of CAMLE in model consistency check and specification generation is also discussed. Software engineers are enabled to specify not only the service provider|s functionality and behaviour, but also the requirements and restrictions on service requesters| behaviours.
Keywords: web services; service-oriented computing; software development methodology; agent-oriented software engineering; model-driven software development; modelling languages; modelling tools; formal specifications; consistency checking.
International Journal of Simulation and Process Modelling, 2007 Vol.3 No.1/2, pp.26 - 44
Published online: 26 Jul 2007 *Full-text access for editors Access for subscribers Purchase this article Comment on this article