A CNL for Contract-Oriented Diagrams

  • John J. Camilleri
  • Gabriele Paganelli
  • Gerardo Schneider
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8625)


We present a first step towards a framework for defining and manipulating normative documents or contracts described as Contract-Oriented (C-O) Diagrams. These diagrams provide a visual representation for such texts, giving the possibility to express a signatory’s obligations, permissions and prohibitions, with or without timing constraints, as well as the penalties resulting from the non-fulfilment of a contract. This work presents a CNL for verbalising C-O Diagrams, a web-based tool allowing editing in this CNL, and another for visualising and manipulating the diagrams interactively. We then show how these proof-of-concept tools can be used by applying them to a small example.


normative texts electronic contracts c-o diagrams controlled natural language grammatical framework 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Díaz, G., Cambronero, M.E., Martínez, E., Schneider, G.: Specification and Verification of Normative texts using C-O Diagrams. IEEE Transactions on Software Engineering (2013)Google Scholar
  2. 2.
    Martínez, E., Cambronero, E., Diaz, G., Schneider, G.: A Model for Visual Specification of e-Contracts. In: IEEE SCC 2010, pp. 1–8. IEEE Computer Society (2010)Google Scholar
  3. 3.
    Ranta, A.: Grammatical Framework: Programming with Multilingual Grammars. CSLI Publications, Stanford (2011)Google Scholar
  4. 4.
    Ranta, A.: The GF Resource Grammar Library. Linguistic Issues in Language Technology 2(2) (2009)Google Scholar
  5. 5.
    Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer 1(1-2), 134–152 (2014)CrossRefGoogle Scholar
  6. 6.
    Navara, E.D., Pfeiffer, S., Berjon, R., Faulkner, S., Leithead, T., O’Connor, E.: HTML5. Candidate recommendation, W3C (2014),
  7. 7.
    Angelov, K., Camilleri, J.J., Schneider, G.: A Framework for Conflict Analysis of Normative Texts Written in Controlled Natural Language. Journal of Logic and Algebraic Programming 82(5-7), 216–240 (2013)CrossRefzbMATHMathSciNetGoogle Scholar
  8. 8.
    Kuhn, T.: A Survey and Classification of Controlled Natural Languages. Computational Linguistics 40(1) (2014)Google Scholar
  9. 9.
    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
  10. 10.
    Prisacariu, C., Schneider, G.: \(\mathcal{CL}\): An Action-Based Logic for Reasoning about Contracts. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds.) WoLLIC 2009. LNCS, vol. 5514, pp. 335–349. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  11. 11.
    Prisacariu, C., Schneider, G.: A dynamic deontic logic for complex contracts. Journal of Logic and Algebraic Programming 81(4), 458–490 (2012)CrossRefzbMATHMathSciNetGoogle Scholar
  12. 12.
    Fenech, S., Pace, G.J., Schneider, G.: CLAN: A Tool for Contract Analysis and Conflict Discovery. In: Liu, Z., Ravn, A.P. (eds.) ATVA 2009. LNCS, vol. 5799, pp. 90–96. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  13. 13.
    Fuchs, N.E., Schwertel, U., Schwitter, R.: Attempto Controlled English (ACE) Language Manual, Version 3.0. Technical Report 99.03, Department of Computer Science, University of Zurich (1999)Google Scholar
  14. 14.
    Fuchs, N.E.: First-Order Reasoning for Attempto Controlled English. In: Rosner, M., Fuchs, N.E. (eds.) CNL 2010. LNCS, vol. 7175, pp. 73–94. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  15. 15.
    Kuhn, T.: Controlled English for Knowledge Representation. Doctoral thesis, University of Zurich (2010)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • John J. Camilleri
    • 1
  • Gabriele Paganelli
    • 1
  • Gerardo Schneider
    • 1
  1. 1.Department of Computer Science and EngineeringChalmers University of Technology and the University of GothenburgSweden

Personalised recommendations