On a workflow model based on generalized communicating P systems

Akos Balasko

Abstract


This paper introduces a new formal mathematical model for investigating workflows from dynamical and behavioural point of view. The model is designed on the basis of a special variant of the biology-inspired formal computational model called membrane systems, where the jobs or services are represented by membrane objects whose behaviour is defined by communication and generalization rules. The model supports running computations in a massive parallel manner, which makes it ideal to model high throughput workflow interpreters. Among the variants introduced in the literature, we have selected the Generalized Communicating P Systems, as it focuses on the communication among the membranes.
Most of the workflow languages, based on different formal models like Petri nets or Communicating Sequential Processes, support several predefined structures – namely workflow patterns – to control the workflow interpretation such as conditions, loops etc. In this paper we show how these patterns are adapted into the membrane environment which, taking into account that membrane systems can be used to study complex dynamic systems’ runtime behaviour, makes this model a relevant alternative for the current models

Keywords


workflow languages; workflow patterns; control patterns; membrane computing; Generalized Communicating P Systems

Full Text:

PDF

References


Csuhaj-Varjú E., Vaszil G.: Generalized Communicating P Automata. In: Automata, Universality, Computation, pp. 219–236, Springer, 2015.

Csuhaj-Varjú E., Vaszil G., Verlan S.: On generalized communicating P systems with one symbol. In: Membrane Computing, pp. 160–174, Springer, 2011.

Csuhaj-Varjú E., Verlan S.: Power and size of generalized communicating P systems with minimal interaction rules. In: Procedings of the 10th Workshop on Membrane Computing, WMC10, Curtea de Arges (Romania), pp. 547–551, Citeseer, 2009.

Csuhaj-Varjú E., Verlan S.: On generalized communicating P systems with minimal interaction rules. Theoretical Computer Science, vol. 412(1), pp. 124–135, 2011.

David R., Alla H.: Petri nets for modeling of dynamic systems: A survey. Automatica, vol. 30(2), pp. 175–202, 1994.

Hoare C.A.R.: Communicating sequential processes. Communications of the ACM, vol. 21(8), pp. 666–677, 1978.

Kleijn J., Koutny M.: A Petri net model for membrane systems with dynamic structure. Natural Computing, vol. 8(4), pp. 781–796, 2009.

Ling S., Schmidt H.: Time Petri nets for workflow modelling and analysis. In: Systems, Man, and Cybernetics, 2000 IEEE International Conference on, vol. 4, pp. 3039–3044, 2000.

Liu D., Wang J., Chan S.C., Sun J., Zhang L.: Modeling workflow processes with colored Petri nets. Computers in Industry, vol. 49(3), pp. 267–281, 2002.

Martın-Vide C., Păun Gh., Pazos J., Rodrıguez-Patón A.: Tissue P systems. Theoretical Computer Science, vol. 296(2), pp. 295–326, 2003.

Milner R.: Lectures on a calculus for communicating systems. Springer, 1985.

Milner R.: Communicating and mobile systems: the pi calculus. Cambridge University Press, 1999.

Păun A.: On P systems with active membranes. In: Unconventional Models of Computation, UMC2K, pp. 187–201, Springer, 2001.

Păun Gh., Rozenberg G., Salomaa A.: The Oxford handbook of membrane computing. Oxford University Press, Inc., 2010.

Qi Z., You J., Mao H.: P systems and Petri nets. In: Membrane Computing, pp. 286–303, Springer, 2004.

Russell N., Ter Hofstede A.H., Edmond D., Van Der Aalst W.M.: Workflow data patterns. Tech. rep., QUT Technical report, FIT-TR-2004-01, Queensland University of Technology, Brisbane, 2004.

Russell N., Ter Hofstede A.H., Mulyar N.: Workflow controlflow patterns: A revised view. Tech. rep., BPM Center Report BPM-06-22, BPMcenter.org, 2006.

Spicher A., Verlan S.: Generalized Communicating P Systems Working in Fair Sequential Model. arXiv preprint arXiv:1108.3432, 2011.

Van Der Aalst W.M.: The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers, vol. 8(01), pp. 21–66, 1998.

Van Der Aalst W.M.: Pi calculus versus Petri nets: Let us eat humble pie rather than further inflate the Pi hype. BPTrends, vol. 3(5), pp. 1–11, 2005.

Verlan S., Bernardini F., Gheorghe M., Margenstern M.: Generalized communicating P systems. Theoretical Computer Science, vol. 404(1), pp. 170–184, 2008.

Verma R., Ahmed T., Srivastava A.: Expressing Workflow and Workflow Enactment using P Systems. In: The 15th International Conference of Membrane Computing, proceedings, pp. 357–371, 2014.




DOI: https://doi.org/10.7494/csci.2016.17.1.45

Refbacks

  • There are currently no refbacks.