A CNL for Contract-Oriented Diagrams
نویسندگان
چکیده
We present a first step towards a framework for defining and manipulating normative documents or contracts described as ContractOriented (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-ofconcept tools can be used by applying them to a small example.
منابع مشابه
Controlled Natural Language in a Game for Legal Assistance
This paper addresses the design of an automated legal assistant capable of performing a logical analysis of legal documents and using natural language as a medium of communication with a human client. We focus on the interplay between natural language in which the legal document is expressed and the formal logic used for reasoning about it — ideally approached using a controlled natural languag...
متن کاملChecking the Consistency of Collaboration and Class Diagrams using PVS
We present a formal, mechanically checked specification of the consistency constraints between two views of object-oriented systems described in BON: the static view provided by class diagrams annotated with contracts, and the dynamic view provided by collaboration diagrams. The constraints are specified as an extension of the BON metamodel, and are implemented in PVS. They ensure that the sequ...
متن کاملTransformation of UML Interaction Diagrams
Testing is an important means to ensure the quality of software systems. Contract specification can be used to formally specify the cluster level of object-oriented software, which can then be tested using TACCLE, an advanced methodology for object-oriented testing. The use of formal specifications as a testing base has many advantages. However, such specifications are not easily understood and...
متن کاملRespecify: A requirements authoring tool harnessing CNL
This paper presents a novel framework for writing requirements specifications supported by a tool called Respecify which assists requirements engineers in identifying issues with ambiguity defects. The tool guides the requirements engineer to use a constrained natural language (CNL) which is structured to allow a requirements specification to be interpreted by the tool and rendered as several d...
متن کاملThe understandability of OWL statements in controlled English
Different kinds of controlled natural language (CNL) have been proposed as a front-end for Semantic Web systems, in order to make them more accessible to users with no background in formal notations and methods. This paper investigates whether OWL statements in CNL are indeed easier to understand than in other notations. To this aim, an experiment with 64 participants was conducted that compare...
متن کامل