Abstract
This extended abstract summarizes the state-of-the-art solution to the structuring problem for models that describe existing real world or envisioned processes. Special attention is devoted to models that allow for the true concurrency semantics. Given a model of a process, the structuring problem deals with answering the question of whether there exists another model that describes the process and is solely composed of structured patterns, such as sequence, selection, option for simultaneous execution, and iteration. Methods and techniques for structuring developed by academia as well as products and standards proposed by industry are discussed. Expectations and recommendations on the future advancements of the structuring problem are suggested.
Chapter PDF
References
Sassone, V., Nielsen, M., Winskel, G.: Models for concurrency: Towards a classification. Theoretical Computer Science (TCS) 170(1–2) (1996) 297–348
Modell, M., Reid, R.: Thermodynamics and Its Applications. International Series in the Physical and Chemical Engineering Sciences. Prentice-Hall (1974)
Polyvyanyy, A.: Structuring Process Models. PhD thesis, University of Potsdam (2012)
Böhm, C., Jacopini, G.: Flow diagrams, Turing machines and languages with only two formation rules. Communications of the ACM (CACM) 9(5) (1966) 366–371
Williams, M.H., Ossher, H.L.: Conversion of unstructured flow diagrams to structured form. The Computer Journal (CJ) 21(2) (1978) 161–167
Oulsnam, G.: Unravelling unstructured programs. The Computer Journal (CJ) 25(3) (1982) 379–387
Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.: On structured workflow modelling. In: Conference on Advanced Information Systems Engineering (CAiSE). Volume 1789 of Lecture Notes in Computer Science., Springer (2000) 431–445
Polyvyanyy, A., García-Bañuelos, L., Dumas, M.: Structuring acyclic process models. In: Business Process Management (BPM). Volume 6336 of Lecture Notes in Computer Science., Springer (2010) 276–293
Polyvyanyy, A., García-Bañuelos, L., Dumas, M.: Structuring acyclic process models. Information Systems (IS) 37(6) (2012) 518–538
Polyvyanyy, A., Vanhatalo, J., Völzer, H.: Simplified computation and generalization of the refined process structure tree. In: Web Services and Formal Methods (WS-FM). Volume 6551 of Lecture Notes in Computer Science., Springer (2010) 25–41
McMillan, K.L.: A technique of state space search based on unfolding. Formal Methods in System Design (FMSD) 6(1) (1995) 45–65
Esparza, J., Römer, S., Vogler, W.: An improvement of McMillan’s unfolding algorithm. Formal Methods in System Design (FMSD) 20(3) (2002) 285–310
McConnell, R.M., de Montgolfier, F.: Linear-time modular decomposition of directed graphs. Discrete Applied Mathematics (DAM) 145(2) (2005) 198–209
Polyvyanyy, A., García-Bañuelos, L., Fahland, D., Weske, M.: Maximal structuring of acyclic process models. The Computer Journal (CJ). (first published online September 19, 2012) doi:10.1093/comjnl/bxs126.
Jablonski, S., Bussler, C.: Workflow Management — Modeling Concepts, Architecture and Implementation. International Thomson (1996)
OASIS: Web Services Business Process Execution Language Version 2.0. OASIS Standard. (April 2007) http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf.
Object Management Group (OMG): Business Process Model and Notation (BPMN) Version 2.0. OMG Standard. (January 2011) http://www.omg.org/spec/BPMN/2.0.
Ouyang, C., Dumas, M., ter Hofstede, A.H.M., van der Aalst, W.M.P., Mendling, J.: From business process models to process-oriented software systems. ACM Transactions on Software Engineering and Methodology (TOSEM) 19(1) (2009)
Lohmann, N., Kleine, J.: Fully-automatic translation of open workflow net models into simple abstract BPEL processes. In: Modellierung. Volume 127 of Lecture Notes in Informatics., GI (2008) 57–72
Oracle BPEL Process Manager: http://www.oracle.com/technetwork/middleware/bpel/overview/index.html.
IBM Business Process Manager and IBM Business Process Manager Advanced: ftp://ftp.software.ibm.com/software/integration/business-process-manager/library/pdf801/ibpmoverviewpdfen.pdf.
TIBCO ActiveMatrix BPM: http://www.tibco.com/multimedia/ds-amx-bpmtcm8-11546.pdf.
Appian BPM Suite: http://www.appian.com/bpm-software/bpm-for-designers/process-management.jsp.
Craggs, S.: Comparing BPM from Pegasystems, IBM and TIBCO. (August 2011) http://soapower.com/IBMBPM/Whitepapers/IBM-BPM-Analyst-Report-on-IBM-vs-Pega.pdf.
Microsoft Workflow Manager: http://msdn.microsoft.com/en-us/library/windowsazure/jj193528%28v=azure.10%29.aspx.
Control Flow Activity Designers: http://msdn.microsoft.com/en-us/library/ee829560.aspx.
www.workflowpatterns.com: Pattern 10 (Arbitrary Cycles). http://www.workflowpatterns.com/patterns/control/structural/wcp10.php.
Zapletal, M., van der Aalst, W.M.P., Russell, N., Liegl, P., Werthner, H.: An analysis of Windows workflow’s control-flow expressiveness. In: European Conference on Web Services (ECOWS), IEEE Computer Society (2009) 200–209
Sutter, H.: The free lunch is over: A fundamental turn toward concurrency in software. Dr. Dobb’s Journal 30(3) (2005) 202–210
Acknowledgments
The first author is supported by the ARC Linkage Project LP110100252 “Facilitating Business Process Standardisation and Reuse”.
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
Polyvyanyy, A., Bussler, C. (2013). The Structured Phase of Concurrency. 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_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-36926-1_20
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)