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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
Ranta, A.: Grammatical Framework: Programming with Multilingual Grammars. CSLI Publications, Stanford (2011)
Ranta, A.: The GF Resource Grammar Library. Linguistic Issues in Language Technology 2(2) (2009)
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)
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/
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)
Kuhn, T.: A Survey and Classification of Controlled Natural Languages. Computational Linguistics 40(1) (2014)
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)
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)
Prisacariu, C., Schneider, G.: A dynamic deontic logic for complex contracts. Journal of Logic and Algebraic Programming 81(4), 458–490 (2012)
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)
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)
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)
Kuhn, T.: Controlled English for Knowledge Representation. Doctoral thesis, University of Zurich (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Camilleri, J.J., Paganelli, G., Schneider, G. (2014). A CNL for Contract-Oriented Diagrams. In: Davis, B., Kaljurand, K., Kuhn, T. (eds) Controlled Natural Language. CNL 2014. Lecture Notes in Computer Science(), vol 8625. Springer, Cham. https://doi.org/10.1007/978-3-319-10223-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-10223-8_13
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10222-1
Online ISBN: 978-3-319-10223-8
eBook Packages: Computer ScienceComputer Science (R0)