*banner
 

Specification and analysis of electronic contracts
Gerado Schneider

Citation
Gerado Schneider. "Specification and analysis of electronic contracts". Talk or presentation, 6, May, 2008.

Abstract
In this talk I will describe CL, a language for writing (electronic) contracts. The language allows to write (conditional) obligations, permissions and prohibitions, and to represent the so-called contrary-to-duties (CTDs) and contrary-to-prohibitions (CTPs). CTDs and CTPs are useful to establish what happens when case obligations, respectively prohibitions, are not respected. The approach is action-based, meaning that the above normative notions are defined on actions and not on state-of-affairs. I will then sketch some initial ideas on model checking electronic contracts. Finally, I will present some open problems and application domains. (Joint work with Cristian Prisacariu and Gordon Pace)

Electronic downloads

Citation formats  
  • HTML
    Gerado Schneider. <a
    href="http://chess.eecs.berkeley.edu/pubs/425.html"
    ><i>Specification and analysis of electronic
    contracts</i></a>, Talk or presentation,  6,
    May, 2008.
  • Plain text
    Gerado Schneider. "Specification and analysis of
    electronic contracts". Talk or presentation,  6, May,
    2008.
  • BibTeX
    @presentation{Schneider08_SpecificationAnalysisOfElectronicContracts,
        author = {Gerado Schneider},
        title = {Specification and analysis of electronic contracts},
        day = {6},
        month = {May},
        year = {2008},
        abstract = {In this talk I will describe CL, a language for
                  writing (electronic) contracts. The language
                  allows to write (conditional) obligations,
                  permissions and prohibitions, and to represent the
                  so-called contrary-to-duties (CTDs) and
                  contrary-to-prohibitions (CTPs). CTDs and CTPs are
                  useful to establish what happens when case
                  obligations, respectively prohibitions, are not
                  respected. The approach is action-based, meaning
                  that the above normative notions are defined on
                  actions and not on state-of-affairs. I will then
                  sketch some initial ideas on model checking
                  electronic contracts. Finally, I will present some
                  open problems and application domains. (Joint work
                  with Cristian Prisacariu and Gordon Pace) },
        URL = {http://chess.eecs.berkeley.edu/pubs/425.html}
    }
    

Posted by Douglas Densmore on 7 May 2008.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

You are not logged in 
©2002-2014 Chess