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.
Partially supported by the Spanish government (cofinanced by FEDER founds) with the project TIN2009-14312-C02-02 and the JCCLM regional project PEII09-0232-7745. The first author is supported by the European Social Fund and the JCCLM.
Chapter PDF
Similar content being viewed by others
References
Alur, R., Dill, D.L.: Automata For Modeling Real-Time Systems. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol. 443, Springer, Heidelberg (1990)
Cambronero, M.E., Valero, V., Díaz, G., Martínez, E.: Web Services Choreographies Verification. Technical Report DIAB-09-04-1, University of Castilla-La Mancha (2009)
Lomuscio, A., Qu, H., Solanki, M.: Towards verifying contract regulated service composition. In: Proceedings of IEEE International Conference on Web Services (ICWS 2008), pp. 254–261 (2008)
Martínez, E., Díaz, G., Cambronero, M.E., Schneider, G.: A Model for Visual Specification of e-Contracts. In: Proceedings of the 7th IEEE 2010 International Conference on Services Computing (SCC 2010), pp. 1–8 (2010)
Prisacariu, C., Schneider, G.: A Formal Language for Electronic Contracts. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 174–189. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Martínez, E., Díaz, G., Cambronero, M.E. (2011). Contractually Compliant Service Compositions. In: Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds) Service-Oriented Computing. ICSOC 2011. Lecture Notes in Computer Science, vol 7084. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25535-9_50
Download citation
DOI: https://doi.org/10.1007/978-3-642-25535-9_50
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25534-2
Online ISBN: 978-3-642-25535-9
eBook Packages: Computer ScienceComputer Science (R0)