Over the last decade there has been a shift from “data-aware” information systems to
“process-aware” information systems. To support business processes an enterprise …

The Petri net modeling formalism allows for the convenient graphical visualization of system
models, as well as the analysis of correctness and performance properties. Petri Nets theory …

Under the umbrella of buzzwords such as “Business Activity Monitoring”(BAM) and
“Business Process Intelligence”(BPI) both academic (eg, EMiT, Little Thumb, InWoLvE …

The Business Process Modelling Notation (BPMN) is a standard for capturing business
processes in the early phases of systems development. The mix of constructs found in …

A new view-based approach to the representation and recognition of action is presented.
The basis of the representation is a temporal template-a static vector-image where the vector …

Defining a formal domain ontology is generally considered a useful, not to say necessary
step in almost every software project. This is because software deals with ideas rather than …

Defining a formal domain ontology is generally considered a useful, not to say necessary
step in almost every software project. This is because software deals with ideas rather than …

Conceptual Business Process Modelling Languages (BPMLs) express certain aspects of
processes (eg activities, roles, interactions, data, etc.) and address different application …

We present a Petri net semantics for the Business Process Execution Language for Web
Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the …

Dynamic programming has long been applied to numerous areas in mat-matics, science,
engineering, business, medicine, information systems, b-mathematics, arti? cial intelligence …