Contractually compliant service compositions

Authors:
Enrique Martínez;Gregorio Díaz;M. Emilia Cambronero
Affiliations:
Department of Computer Science, University of Castilla - La Mancha, Spain;Department of Computer Science, University of Castilla - La Mancha, Spain;Department of Computer Science, University of Castilla - La Mancha, Spain
Venue:
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Year:
2011

Citing 4
Cited 0

Automata For Modeling Real-Time Systems

ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Towards Verifying Contract Regulated Service Composition

ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
A formal language for electronic contracts

FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
A Model for Visual Specification of E-contracts

SCC '10 Proceedings of the 2010 IEEE International Conference on Services Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the field of service-oriented computing, an e-contract is used to regulate the acceptable behaviours of the services taking part in a composition. C-O Diagrams are a visual model for the specification of deontic e-contracts, including reparations, conditional clauses and real-time restrictions. In this work we define a set of satisfaction rules based on timed automata to see whether a composition is compliant with the contract specification, providing the model with the mathematical rigour necessary for formal verification.