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)

Abstract

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.

Keywords

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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), http://www.w3.org/TR/2014/CR-html5-20140204/
  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)CrossRefMATHMathSciNetGoogle 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)CrossRefMATHMathSciNetGoogle 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