Book Chapter

The Structured Phase of Concurrency

Artem Polyvyanyy, Christoph Bussler

Seminal Contributions to Information Systems Engineering | Springer Berlin Heidelberg | Published : 2013

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 futur..

View full abstract

Grants

Awarded by Australian Research Council


Citation metrics