The Structured Phase of Concurrency

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.

[1]  Wil M. P. van der Aalst,et al.  An Analysis of Windows Workflow's Control-Flow Expressiveness , 2009, 2009 Seventh IEEE European Conference on Web Services.

[2]  Kenneth L. McMillan,et al.  A technique of state space search based on unfolding , 1995, Formal Methods Syst. Des..

[3]  Jan Mendling,et al.  From business process models to process-oriented software systems , 2009, TSEM.

[4]  Jefferson W. Tester,et al.  Thermodynamics and its applications , 1974 .

[5]  Corrado Böhm,et al.  Flow diagrams, turing machines and languages with only two formation rules , 1966, CACM.

[6]  Herb Sutter,et al.  The Free Lunch Is Over A Fundamental Turn Toward Concurrency in Software , 2013 .

[7]  M. Howard Williams,et al.  Conversion of Unstructured Flow Diagrams to Structured Form , 1978, Comput. J..

[8]  Christoph Bussler,et al.  On Structured Workflow Modelling , 2000, CAiSE.

[9]  Christoph Bussler,et al.  Workflow Management: Modeling Concepts, Architecture and Implementation , 1996 .

[10]  Niels Lohmann,et al.  Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes , 2008, Modellierung.

[11]  G. Oulsnam,et al.  Unravelling Unstructured Programs , 1982, Comput. J..

[12]  Glynn Winskel,et al.  Models for Concurrency: Towards a Classification , 1996, Theor. Comput. Sci..

[13]  Artem Polyvyanyy,et al.  Structuring process models , 2012 .

[14]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[15]  Jussi Vanhatalo,et al.  Simplified Computation and Generalization of the Refined Process Structure Tree , 2010, WS-FM.

[16]  Ross M. McConnell,et al.  Linear-time modular decomposition of directed graphs , 2005, Discret. Appl. Math..

[17]  Marlon Dumas,et al.  Structuring acyclic process models , 2010, Inf. Syst..

[18]  Walter Vogler,et al.  An Improvement of McMillan's Unfolding Algorithm , 1996, Formal Methods Syst. Des..

[19]  Mathias Weske,et al.  Maximal Structuring of Acyclic Process Models , 2011, Comput. J..