Z-Based Agents for Service Oriented Computing
Abstract
Ensuring reliability and adaptability of web services represents one of the main prerequisites for a larger acceptance of web services technology. We present an agent based framework to model the global behavior of atomic e-service and their composition using Z. We consider failures associated with web services and we try to handle runtime exceptions through formal methods for specification and verification of a composite service. In addition, our framework enforces the quality of services, in terms of answer time, by providing Z-agents responsible for these aspects.
Full citation
"Z-Based Agents for Service Oriented Computing", Ioan Alfred Letia and Anca Marginean and Groza, Adrian, Service-Oriented Computing: Agents, Semantics, and Engineering, AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, Proceedings (LNCS), Springer, Vol. 4504, pp. 160-174, DOI: 10.1007/978-3-540-72619-7_12, ISBN: 978-3-540-72618-0, 2007.