[Pl-seminar] Semantics Seminar Schedule
wand at ccs.neu.edu
Tue Feb 14 22:37:33 EST 2006
NU Programming Languages Seminar
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
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.
More information about the pl-seminar