Contract Compliance Monitoring of Web Services

  • Gregorio Díaz
  • Luis Llana
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8135)


Design and implementation via contractual specifications helps designers and programmers understand and analyze when the requirements have been elicited according to the client’ desires. In general, software is released when some tests have been successfully passed. However, these tests only cover a finite set of possible executions. But in systems such as web services, which involve a set of heterogeneous parties, it is difficult to identify an appropriate set of tests because their execution tends to be nondeterministic since most rely on underlying software systems where most of the information is hidden due to copyright or security concerns. In this work, we propose that the use of contract specifications, such us C-O Diagrams, allow one to specify and codify a system, where once the software has been released it is still possible to check if the execution conforms to a given contract. To achieve this goal, we purpose a monitoring technique, where all actions specified in a contract are recorded in a log that will be used by the monitor software to check if the contract is being fulfilled and alerting all parties when it is not so that the system can force reparations.


Credit Card Service Composition Software Product Line Deontic Logic Online Auction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126(2), 183–235 (1994)MathSciNetMATHCrossRefGoogle Scholar
  2. 2.
    Cambronero, M.E., Díaz, G., Martínez, E., Valero, V., Tobarra, M.L.: WST: a tool supporting timed composite Web Services Model transformation. Simulation 88(3), 349–364 (2012)CrossRefGoogle Scholar
  3. 3.
    Chiu, D., Cheung, S., Till, S.: A Three-Layer Architecture for E-Contract Enforcement in an E-Service Environment. In: Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36), pp. 74–83 (2003)Google Scholar
  4. 4.
    Díaz, G., Llana, L., Valero, V., Mateo, J.A.: Conformance Verification of Normative Specifications using C-O Diagrams. In: Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS, pp. 1–10 (2012)Google Scholar
  5. 5.
    Dignum, F., Weigand, H.: Modelling Communication between Cooperative Systems. In: Iivari, J., Rossi, M., Lyytinen, K. (eds.) CAiSE 1995. LNCS, vol. 932, pp. 140–153. Springer, Heidelberg (1995)CrossRefGoogle Scholar
  6. 6.
    Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: Proceedings of the 10th IEEE Conference on Enterprise Distributed Object Computing, pp. 221–232 (2006)Google Scholar
  7. 7.
    Krishna, P.R., Karlapalem, K., Dani, A.R.: From Contract to E-Contracts: Modeling and Enactment. Information Technology and Management 6(4), 363–387 (2005)CrossRefGoogle Scholar
  8. 8.
    Larsen, K.G., Pettersson, Z., Wang, Y.: UPPAAL in a Nutshell. STTT: International Journal on Software Tools for Technlogy Transfer 1(1-2), 134–152 (1997)MATHCrossRefGoogle Scholar
  9. 9.
    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
  10. 10.
    Marjanovic, O., Milosevic, Z.: Towards formal modeling of e-Contracts. In: Proceedings of 5th IEEE International Enterprise Distributed Object Computing Conference, pp. 59–68 (2001)Google Scholar
  11. 11.
    Martínez, E., Díaz, G., Emilia Cambronero, M.: Contractually Compliant Service Compositions. In: Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds.) ICSOC 2011. LNCS, vol. 7084, pp. 636–644. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  12. 12.
    Martínez, E., Díaz, G., Cambronero, M.E., Schneider, G.: A Model for Visual Specification of e-Contracts. In: The 7th IEEE International Conference on Services Computing (IEEE SCC 2010), pp. 1–8 (2010)Google Scholar
  13. 13.
    Martínez, E., Díaz, G., Cambronero, M.E., Schneider, G.: Specification and Verification of Normative Specifications using C-O Diagrams (2012),
  14. 14.
    McNamara, P.: Deontic Logic. In: Gabbay, D.M., Woods, J. (eds.) Handbook of the History of Logic, vol. 7, pp. 197–289. North-Holland Publishing (2006)Google Scholar
  15. 15.
    Okika, J.C., Ravn, A.P.: Classification of SOA Contract Specification Languages. In: 2008 IEEE International Conference on Web Services (ICWS 2008), pp. 433–440. IEEE Computer Society (2008)Google Scholar
  16. 16.
    Tretmans, J.: Testing Concurrent Systems: A Formal Approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 46–65. Springer, Heidelberg (1999)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Gregorio Díaz
    • 1
  • Luis Llana
    • 2
  1. 1.Computer Science Dept.University of Castilla-La ManchaSpain
  2. 2.Computer Science Dept.Complutensis University of MadridSpain

Personalised recommendations