Z-BASED AGENTS FOR SERVICE ORIENTED COMPUTING

摘要

This paper introduces a framework for modelling and specifying the global behaviour of eservice compositions using Z language. The deployment operations of Web services are entrusted to Z-based agents that can delegate their work to each other if needed, within the OAA framework We consider failures associated with web services and we try to handle such runtime exceptions by using formal methods for specification and verification of a composite web service. In addition, our framework enforces the quality of services, in terms of security and answer time, by providing Z-agents responsible for these aspects.