Agent-Oriented Modelling and Specification of Web Services

Authors:
Hong Zhu;Lijun Shan
Affiliations:
Dept of Comp., Oxford Brookes Univ.Oxford , UK;Dept of Comp. Sci., National Univ. of Def. Tech. Changsha, China
Venue:
WORDS '05 Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
Year:
2005

Citing 0
Cited 4

Testing software modelling tools using data mutation

Proceedings of the 2006 international workshop on Automation of software test
Software Engineering for Service-Oriented MAS

CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
Evaluating software engineering techniques for developing complex systems with multiagent approaches

Information and Software Technology
CAMLE: a caste-centric agent-oriented modelling language and environment

Software Engineering for Multi-Agent Systems III

Quantified Score

Hi-index	0.00

Visualization

Abstract

Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and formal specification method to address the difficulties in developing WS applications. The paper presents a graphic model of the general architecture of WS in agent-oriented modelling language CAMLE and an abstract specification in the formal specification language SLABS. It also illustrates how agent-oriented modelling and formal specification can be applied to the development of WS applications by an example of online auction WS and its requester application. It is shown that models and formal specifications enable software engineers to specify not only the service providerýs functionality and behaviour, but also the requirements and restrictions on service requestersý behaviour. Such semantic information is crucial for the success of dynamic integration of WS.