Proactive Contract Management through RSF Specifications

Rossella Aiello, Giancarlo Nota



The modeling and automation of e-contracts is an active research area that aims at providing a valid support to organizations for the definition and management of contractual relations. The approach adopted in this paper allows the modeling and monitoring of contracts specified in terms of RSF (Requirement Specification Formalism) rules. Starting from the planning of events relied to contract clauses established during the negotiation phase, we define a set of RSF rules that can be used as patterns for the monitoring of both: contract fulfillments and contract violations with respect to obligations, permissions and prohibitions. We also extend the semantics of the RSF language in order to allow the treatment of planned events, together with occurred and not occurred events, in a single transition rule. This enriched semantics supports the proactive behavior of a contract management system enabling the immediate notification of fulfillments and non-compliances as well as the detection of imminent contract violations.


  1. Grosof, B.N., Labrou, Y., Chan, H.Y.: A declarative approach to business rules in contracts: courteous logic programs in xml. In: EC 7899: Proceedings of the 1st ACM conference on Electronic commerce, New York, NY, USA, ACM Press (1999) 68-77
  2. Raskin, J., Tan, Y., van der Torre, L.: How to model normative behavior in petri nets (1996)
  3. Lee, R.M.: Automated generation of electronic procedures: procedure constraint grammars. Decis. Support Syst. 33 (2002) 291-308
  4. Marjanovic, O., Milosevic, Z.: Towards formal modeling of e-contracts. In: EDOC 7801: Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing, Washington, DC, USA, IEEE Computer Society (2001) 59
  5. Dignum, F., Broersen, J., Dignum, V., Meyer, J.J.C.: Meeting the deadline: Why, when and how. In Hinchey, M.G., Rash, J.L., Truszkowski, W., Rouff, C., eds.: FAABS. Volume 3228 of Lecture Notes in Computer Science., Springer (2004) 30-40
  6. Broersen, J., Dignum, F., Dignum, V., Meyer, J.J.C.: Designing a deontic logic of deadlines. In Lomuscio, A., Nute, D., eds.: DEON. Volume 3065 of Lecture Notes in Computer Science., Springer (2004) 43-56
  7. Prakken, H., Sergot, M.: Contrary-to-duty obligations. Studia Logica 57 (1996) 91-115
  8. Carmo, J., Jones, A.: Deontic logic and contrary-to-duties (2001)
  9. Governatori, G., Rotolo, A.: Logic of violations: A gentzen system for reasoning with contrary-to-duty obligations. The Australasian Journal of Logic 4 (2006) 193-215
  10. Wyner, A.Z.: Sequences, obligations, and the contrary-to-duty paradox. In Goble, L., Meyer, J.J.C., eds.: DEON. Volume 4048 of Lecture Notes in Computer Science., Springer (2006) 255-271
  11. Governatori, G.: Representing business contracts in ruleml. Int. J. Cooperative Inf. Syst. 14 (2005) 181-216
  12. Governatori, G., Milosevic, Z.: Dealing with contract violations: formalism and domain specific language. In: EDOC 7805: Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05), Washington, DC, USA, IEEE Computer Society (2005) 46-57
  13. Neal, S., Cole, J., Linington, P.F., Milosevic, Z., Gibson, S., Kulkarni, S.: Identifying requirements for business contract language: a monitoring perspective. edoc 00 (2003) 50
  14. Milosevic, Z., Gibson, S., Linington, P.F., Cole, J., Kulkarni, S.: On design and implementation of a contract monitoring facility. In Benatallah, B., Godart, C., Shan, M.C., eds.: Proceedings of WEC, First IEEE International Workshop on Electronic, IEEE Computer Society (2004) 62-70
  15. Xu, L., Jeusfeld, M.A.: Pro-active monitoring of electronic contracts. In Eder, J., Missikoff, M., eds.: CAiSE. Volume 2681 of Lecture Notes in Computer Science., Springer (2003) 584-600
  16. Xu, L., Jeusfeld, M.A., Grefen, P.W.P.J.: Detection tests for identifying violators of multiparty contracts. SIGecom Exch. 5 (2005) 19-28
  17. Chiu, D.K.W., Cheung, S.C., Till, S.: A three-layer architecture for e-contract enforcement in an e-service environment. In: HICSS 7803: Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 3, Washington, DC, USA, IEEE Computer Society (2003) 74.1
  18. Degl'Innocenti, M., Ferrari, G.L., Pacini, G., Turini, F.: Rsf: A formalism for executable requirement specifications. IEEE Trans. Softw. Eng. 16 (1990) 1235-1246
  19. Abate, A.F., D'apolito, C., Nota, G., Pacini, G.: Writing and analyzing system specifications by integrated linguistic tools. International Journal of Software Engineering and Knowledge Engineering 7 (1997) 69-99
  20. Linington, P., Milosevic, Z., Raymond, K.: Policies in communities: Extending the odp enterprise viewpoint (1998)
  21. Steen, M., Derrick, J.: Formalising ODP Enterprise Policies. In: 3rd International Enterprise Distributed Object Computing Conference (EDOC 7899), University of Mannheim, Germany, IEEE Publishing (1999)
  22. Governatori, G., Milosevic, Z.: A formal analysis of a business contract language. International Journal of Cooperative Information Systems 15 (2006) 659-685
  23. Maurer, W., Mathaus, R., Frey, N.: A guide to successful sla development and management. (2000)

Paper Citation

in Harvard Style

Aiello R. and Nota G. (2007). Proactive Contract Management through RSF Specifications . In Proceedings of the 4th International Workshop on Computer Supported Activity Coordination - Volume 1: CSAC, (ICEIS 2007) ISBN 978-972-8865-98-6, pages 76-86. DOI: 10.5220/0002418600760086

in Bibtex Style

author={Rossella Aiello and Giancarlo Nota},
title={Proactive Contract Management through RSF Specifications},
booktitle={Proceedings of the 4th International Workshop on Computer Supported Activity Coordination - Volume 1: CSAC, (ICEIS 2007)},

in EndNote Style

JO - Proceedings of the 4th International Workshop on Computer Supported Activity Coordination - Volume 1: CSAC, (ICEIS 2007)
TI - Proactive Contract Management through RSF Specifications
SN - 978-972-8865-98-6
AU - Aiello R.
AU - Nota G.
PY - 2007
SP - 76
EP - 86
DO - 10.5220/0002418600760086