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

• gerado.pdf · application/pdf · 725 kbytes

• 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.