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 ntric 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.

• Type: Conference
• Year: 2004
• Where: GCC
• Authors: Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David A. Duce
• Keywords: GCC 2004, Persistent Computational Entities, WS Application, WS Architecture