Z-based agents for service oriented computing

Authors:
Ioan Alfred Letia;Anca Marginean;Adrian Groza
Affiliations:
Technical University of Cluj-Napoca, Department of Computer Science, Baritiu 28, Cluj-Napoca, Romania;Technical University of Cluj-Napoca, Department of Computer Science, Baritiu 28, Cluj-Napoca, Romania;Technical University of Cluj-Napoca, Department of Computer Science, Baritiu 28, Cluj-Napoca, Romania
Venue:
AAMAS'07/SOCASE'07 Proceedings of the 2007 AAMAS international workshop and SOCASE 2007 conference on Service-oriented computing: agents, semantics, and engineering
Year:
2007

Citing 9
Cited 1

The way of Z: practical programming with formal methods

The way of Z: practical programming with formal methods
Combining Specification Techniques for Processes, Data and Time

IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Conversation specification: a new approach to design and analysis of e-service composition

WWW '03 Proceedings of the 12th international conference on World Wide Web
Quality driven web services composition

WWW '03 Proceedings of the 12th international conference on World Wide Web
Developing Ambient Intelligence Systems: A Solution based on Web Services

Automated Software Engineering
Agents for e-business applications

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Flexible Provisioning of Service Workflows

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Protocol engineering for web services conversations

Engineering Applications of Artificial Intelligence
A constrained object model for configuration based workflow composition

BPM'05 Proceedings of the Third international conference on Business Process Management

A new monitor model for enhancing trust-based systems

ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing

Quantified Score

Hi-index	0.01

Visualization

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.