论文信息 - Agent-Oriented Formal Specification of Web Services

Agent-Oriented Formal Specification of Web Services

Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous and social behaviours. The paper investigates the formal specification of WS architecture and applications within a caste-centric framework of multi-agent systems. An abstract specification of the general architecture of WS and an example of WS application are given in the SLABS language, which was designed for developing agent-based systems.

[1] Danny B. Lange,et al. Mobile Objects and Mobile Agents: The Future of Distributed Computing? , 1998, ECOOP.

[2] Anand S. Rao,et al. Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[3] S. Krishnan,et al. 2 XLANG : Web Services for Business Process Design , 2002 .

[4] James Snell,et al. Introduction to Web services architecture , 2002, IBM Syst. J..

[5] Makoto Yokoo,et al. Intelligent Agents: Specification, Modeling, and Applications , 2001, Lecture Notes in Computer Science.

[6] Hong Zhu,et al. The Role of Castes in Formal Specification of MAS , 2001, PRIMA.

[7] Arthur G. Ryman,et al. Developing XML Web services with WebSphere Studio Application Developer , 2002, IBM Syst. J..

[8] Hong Zhu,et al. CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment , 2004, SELMAS.

[9] Hong Zhu,et al. SLABS: A Formal Specification Language for Agent-Based Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[10] Michael Wooldridge,et al. Agent-based software engineering , 1997, IEE Proc. Softw. Eng..

[11] Frank Leymann,et al. Web services and business process management , 2002, IBM Syst. J..

[12] Michael Wooldridge,et al. Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[13] Hong Zhu. A formal specification language for agent-oriented software engineering , 2003, AAMAS '03.