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. © 2011 Springer-Verlag.
Author supplied keywords
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Cite
CITATION STYLE
Martínez, E., Díaz, G., & Cambronero, M. E. (2011). Contractually compliant service compositions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7084 LNCS, pp. 636–644). https://doi.org/10.1007/978-3-642-25535-9_50
Readers' Seniority
Readers' Discipline
