From Contracts in Structured English to CL Specifications

Computer Science – Computation and Language

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

In Proceedings FLACOS 2011, arXiv:1109.2399

Scientific paper

10.4204/EPTCS.68.6

In this paper we present a framework to analyze conflicts of contracts written in structured English. A contract that has manually been rewritten in a structured English is automatically translated into a formal language using the Grammatical Framework (GF). In particular we use the contract language CL as a target formal language for this translation. In our framework CL specifications could then be input into the tool CLAN to detect the presence of conflicts (whether there are contradictory obligations, permissions, and prohibitions. We also use GF to get a version in (restricted) English of CL formulae. We discuss the implementation of such a framework.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

From Contracts in Structured English to CL Specifications does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with From Contracts in Structured English to CL Specifications, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and From Contracts in Structured English to CL Specifications will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-332973

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.