Contractually Compliant Service Compositions

  • Enrique Martínez
  • Gregorio Díaz
  • M. Emilia Cambronero
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7084)


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.


Contracts deontic logic formal verification visual models timed automata 


  1. 1.
    Alur, R., Dill, D.L.: Automata For Modeling Real-Time Systems. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol. 443, Springer, Heidelberg (1990)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Enrique Martínez
    • 1
  • Gregorio Díaz
    • 1
  • M. Emilia Cambronero
    • 1
  1. 1.Department of Computer ScienceUniversity of Castilla - La ManchaSpain

Personalised recommendations