[Pl-seminar] Semantics Seminar Schedule

Mitchell Wand wand at ccs.neu.edu
Tue Feb 14 22:37:33 EST 2006

NU Programming Languages Seminar
Wednesday, 2/15/06
12:30-1:45 pm  (**NOTE NON-STANDARD TIME**)
Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)

Declarative Process Models for ERP and Workflow Systems

Christian Stefansen
University of Copenhagen, Denmark


This talk sketches some recent research toward a declarative
process-based framework for ERP systems. In particular, the talk
describes the following two areas:

1. A declarative language for compositional specification of commercial
contracts governing the exchange of economic resources. The language
extends Eber and Peyton Jones's declarative language for specifying
financial contracts to the exchange of money, goods and services amongst
multiple parties, and it complements McCarthy's Resources, Events and
Agents (REA) accounting model with a view-independent formal contract
model that supports definition of user-defined contracts, automatic
monitoring under execution, and user-definable analysis of their state
before, during and after execution.

2. A pi-calculus encoding of common workflow control patterns, which
leads to a pi-calculus-based macro language for workflow specification.
The encodings presented here demonstrate some of the strengths and
weaknesses of pi-calculus for business process formalization vis a vis
Petri nets and concrete languages such as BPEL and YAWL.

This is work in progress.



Upcoming Events:

stay tuned...


More information about the pl-seminar mailing list