Abstract
While there are many similarities between the languages of the various workflow management systems, there are also significant differences. One particular area of differences is caused by the fact that different systems impose different syntactic restrictions. In such cases, business analysts have to choose between either conforming to the language in their specifications or transforming these specifications afterwards. The latter option is preferable as this allows for a separation of concerns. In this paper we investigate to what extent such transformations are possible in the context of various syntactical restrictions (the most restrictive of which will be referred to as structured workflows). We also provide a deep insight into the consequences, particularly in terms of expressive power, of imposing such restrictions.
This research is supported by an ARC SPIRT grant “Component System Architecture for an Open Distributed Enterprise Management System with Configurable Workflow Support” between QUT and Mincom.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
W.M.P. van der Aalst and A.H.M. ter Hofstede. Verification of Workflow Task Structures: A Petri-net-based Approach. Information Systems, 2000. (to appear).
A.P. Barros and A.H.M. ter Hofstede. Towards the construction of workflowsuitable conceptual modelling techniques. Information Systems Journal, 8(4):313– 337, October 1998.
E. Best, R. Devillers, A. Kiehn, and L. Pomello. Concurrent bisimulations in Petri nets. Acta Informatica, 28:231–254, 1991.
R.J. van Glabbeek. The linear time-branching time spectrum. In J.C.M. Baeten and J.W. Klop, editors, Proceedings of CONCUR’90. Theories of Concurrency: Unification and Extension, pages 278–297, Berlin, Germany, 1990. Springer-Verlag.
A.H.M. ter Hofstede and B. Kiepuszewski. Formal Analysis of Deadlock Behaviour in Workflows. Technical report, Queensland University of Technology/Mincom, Brisbane, Australia, April 1999. (submitted for publication).
A.H.M. ter Hofstede and M.E. Orlowska. On the Complexity of Some Verification Problems in Process Control Specifications. Computer Journal, 42(5):349–359, 1999.
S. Jablonski and C. Bussler. Workflow Management: Modeling Concepts, Architecture, and Implementation. International Thomson Computer Press, London, United Kingdom, 1996.
P. Jančar. Decidability Questions for Bismilarity of Petri Nets and Some Related Problems. In P. Enjalbert, E.W. Mayr, and K.W. Wagner, editors, STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, volume 775 of Lecture Notes in Computer Science, pages 581–592, Caen, France, February 1994. Springer-Verlag.
G. Oulsnam. Unravelling Unstructured Programs. Computer Journal, 25(3):379– 387, 1982.
W. Sadiq and M.E. Orlowska. Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models. In Proceedings of the 11th Conf on Advanced Information Systems Engineering (CAiSE’99), pages 195–209, Hildeberg, Germany, June 1999.
M. H. Williams. Generating structured flow diagrams: the nature of unstructuredness. Computer Journal, 20(1):45–50, 1977.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kiepuszewski, B., Hofstede, A.H.M.t., Bussler, C.J. (2013). On Structured Workflow Modelling. In: Bubenko, J., Krogstie, J., Pastor, O., Pernici, B., Rolland, C., Sølvberg, A. (eds) Seminal Contributions to Information Systems Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36926-1_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-36926-1_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36925-4
Online ISBN: 978-3-642-36926-1
eBook Packages: Computer ScienceComputer Science (R0)