Conferences in Research and Practice in Information Technology
  

Online Version - Last Updated - 20 Jan 2012

 

 
Home
 

 
Procedures and Resources for Authors

 
Information and Resources for Volume Editors
 

 
Orders and Subscriptions
 

 
Published Articles

 
Upcoming Volumes
 

 
Contact Us
 

 
Useful External Links
 

 
CRPIT Site Search
 
    

A Formal Foundation for Workflow Composition, Workflow View Definition, and Workflow Normalization based on Petri Nets

Pankratius, V. and Stucky, W.

    In retail information systems it is common practice to subsume the data of products into product groups, which offers organizational advantages for example when new branches are opened, because they are assigned product groups instead of single products. Inspired by this approach, this paper focuses on business processes and proposes the usage of workflow modules stored in a workflow warehouse, which represent reusable, standardized components that are used to build more complex workflow models. In particular, the paper provides a formal foundation for such compositions in form of a workflow algebra based on Petri nets, which has similar operators known from relational algebra in databases. In addition, the need for a concept of workflow normalization is presented, which arises during the composition of workflow modules. Finally, it is shown how the algebra can also be applied in the context of Web service composition.
Cite as: Pankratius, V. and Stucky, W. (2005). A Formal Foundation for Workflow Composition, Workflow View Definition, and Workflow Normalization based on Petri Nets. In Proc. Second Asia-Pacific Conference on Conceptual Modelling (APCCM2005), Newcastle, Australia. CRPIT, 43. Hartmann, S. and Stumptner, M., Eds. ACS. 79-88.
pdf (from crpit.com) pdf (local if available) BibTeX EndNote GS
 

 

ACS Logo© Copyright Australian Computer Society Inc. 2001-2014.
Comments should be sent to the webmaster at crpit@scem.uws.edu.au.
This page last updated 16 Nov 2007