Modelling Web Services in the agent-oriented modelling language and environment CAMLE. (27th July 2007)

• Record Type: Journal Article
• Authors: Zhu, Hong; Shan, Lijun
• Is Part Of: International journal of simulation and process modelling. Volume 3:Number 1/2(2007)
• Page Start: 26
• Page End: 44
• Publication Date: 2007-07-27
• Subjects: web services -- service-oriented computing -- software development methodology -- agent-oriented software engineering -- model-driven software development -- modelling languages -- modelling tools -- formal specifications -- consistency checking; Management -- Computer simulation -- Periodicals; Mathematical models -- Periodicals; Operations research -- Periodicals; Simulation methods -- Periodicals; 003.05
• Languages: English
• ISSNs: 1740-2123

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.