The structured phase of concurrency


Autoria(s): Polyvyanyy, Artem; Bussler, Christoph
Contribuinte(s)

Bubenko, J.

Krogstie, J.

Pastor, O.

Pernici, B.

Rolland, C.

Sølvberg, A.

Data(s)

01/06/2013

Resumo

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.

Formato

application/pdf

Identificador

http://eprints.qut.edu.au/59708/

Publicador

Springer Berlin Heidelberg

Relação

http://eprints.qut.edu.au/59708/1/PB_CAiSE25book.pdf

DOI:10.1007/978-3-642-36926-1_20

Polyvyanyy, Artem & Bussler, Christoph (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 : 25 Years of CAiSE. Springer Berlin Heidelberg, Heidelberg, pp. 257-263.

http://purl.org/au-research/grants/ARC/LP110100252

Direitos

Copyright 2013 Springer-Verlag Berlin Heidelberg

Originally published in Bubenko et al (ed), Seminal Contributions to Information Systems Engineering : 25 Years of CAiSE. Copyright © Springer-Verlag Berlin Heidelberg 2013

Fonte

School of Information Systems; Science & Engineering Faculty

Palavras-Chave #080500 DISTRIBUTED COMPUTING #080600 INFORMATION SYSTEMS #Structured #Unstructured #Process #Modeling #Process model #Structuring #Concurrency #True concurrency
Tipo

Book Chapter