This paper describes an event-based and causally aware specification of transaction systems protocols in distributed multi-agent systems. The formal specification technique supports concurrent execution and provides automatic communication and synchronization mechanisms between concurrent agents. Our prototype multi-agents system's capabilities extend beyond mere Web search, but supports automatic processing of Web-based transactions with minimal human interventions. We conclude the paper by specifying electronic transactions on the World Wide Web as a practical example of multi-agents system application. The strategies presented improve the design and ultimately the delivery of software in a dynamic environment and further enhance the attractiveness of the Web for electronic commerce applications.
展开▼