Contract Compliance Monitoring of Web Services
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.
KeywordsCredit Card Service Composition Software Product Line Deontic Logic Online Auction
Unable to display preview. Download preview PDF.
- 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.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
- 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
- 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.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
- 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.Martínez, E., Díaz, G., Cambronero, M.E., Schneider, G.: Specification and Verification of Normative Specifications using C-O Diagrams (2012), http://dsi.uclm.es/descargas/thecnicalreports/DIAB-12-05-1/TSE11.pdf
- 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.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