On the Support of Activity Patterns in ProWAP: Case Studies, Formal Semantics, Tool Support

Thom, Lucineia and Iochpe, Cirano and Reichert, Manfred and Weber, Barbara and Droop , Matthias and Nascimento, Gleison and Chiao, Carolina Ming (2008) On the Support of Activity Patterns in ProWAP: Case Studies, Formal Semantics, Tool Support. Revista Brasileira de Sistemas de Informação (iSys), 1 (1). ISSN 1984-2902

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://seer.unirio.br/index.php/isys


Recently, research on workflow activity patterns emerged in order to increase the reuse of recurring business functions (e.g., request for task execution, notification, approval and decision). While workflow patterns have been defined for several aspects related to process execution, recurrent business functions have been only partially addressed by existing work. Related to this challenge we proposed a set of seven workflow activity patterns in previous work. In this paper we report on the results of several case studies we performed in Brazilian and European companies in order to investigate how frequently the activity patterns occur in real-world process models. We further formalize the identified activity patterns using Pi-calculus. This formalization as well as our analysis results are applied in the develop¬ment of a BPM tool fostering the reuse of business functions specifications.

Item Type:Article
Subjects:DBIS Research > Publications
ID Code:474
Deposited By: Prof. Dr. Manfred Reichert
BibTex Export:BibTeX
Deposited On:25 Oct 2008 20:12
Last Modified:14 Oct 2011 10:26

Repository Staff Only: item control page