2011 | OriginalPaper | Buchkapitel
Contractually Compliant Service Compositions
verfasst von : Enrique Martínez, Gregorio Díaz, M. Emilia Cambronero
Erschienen in: Service-Oriented Computing
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.