Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions

  • Frank Hermann
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5214)


Graph transformation systems (gts) are suitable for modelling concurrent and distributed behaviour of systems and in particular of workflows. Analysis of the behaviour of these models is in general highly complex, but it is of main interest, especially for optimizing the system execution. Main focus of the PhD project is a formal approach for constructing the process of a workflow scenario to support possibilities of efficient analysis and execution. Based on the abstract framework of adhesive high level replacement systems the developed techniques will be applied on two levels. First, the framework is instantiated to different kinds of graph as well as Petri net transformation systems, which are key ingredient for modelling mobile networks in [1]. In the second level, the modelling techniques are used to specify the production of industrial products, which can involve several thousands of production steps. A case study will show how a chain of production steps taken from a real production facility can be modelled as gts derivation. Formal techniques for process construction and analysis known for basic cases only have to be extended in various dimensions in order to be applied to the model and in general to the domain of workflows. A practical evaluation will compare the results with those derived by standard techniques for process analysis.


Application Condition Transformation System Process Construction Graph Transformation Graph Grammar 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bottoni, P., De Rosa, F., Hoffmann, K., Mecella, M.: Applying Algebraic Approaches for Modeling Workflows and their Transformations in Mobile Networks. Journal of Mobile Information Systems 2(1), 51–76 (2006)Google Scholar
  2. 2.
    Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations, Foundations. World Scientific, Singapore (1997)Google Scholar
  3. 3.
    Baldan, P.: Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars. PhD thesis, Computer Science Department - University of Pisa (2000)Google Scholar
  4. 4.
    Baldan, P., Corradini, A., Heindel, T., König, B., Sobocinski, P.: Processes for adhesive rewriting systems. In: Aceto, L., Ingólfsdóttir, A. (eds.) FOSSACS 2006. LNCS, vol. 3921, pp. 202–216. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. 5.
    Lack, S., Sobociński, P.: Adhesive Categories. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 273–288. Springer, Heidelberg (2004)Google Scholar
  6. 6.
    Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)zbMATHGoogle Scholar
  7. 7.
    Corradini, A., Hermann, F., Sobociński, P.: Subobject Transformation Systems. Applied Categorical Structures 16(3) (June 2008),
  8. 8.
    Hermann, F., Ehrig, H.: Process Definition using Subobject Transformation Systems. EATCS Bulletin (to appear, 2008)Google Scholar
  9. 9.
    Ehrig, H., Habel, A., Kreowski, H.J., Parisi-Presicce, F.: Parallelism and concurrency in high-level replacement systems. Mathematical Structures in Computer Science 1, 361–404 (1991)zbMATHMathSciNetCrossRefGoogle Scholar
  10. 10.
    Ehrig, H., Habel, A., Kreowski, H.J., Parisi-Presicce, F.: From graph grammars to high level replacement systems. In: Ehrig, H., Kreowski, H.J., Rozenberg, G. (eds.) Graph Grammars 1990. LNCS, vol. 532, pp. 269–291. Springer, Heidelberg (1991)CrossRefGoogle Scholar
  11. 11.
    Hermann, F.: Process Definition of Adhesive HLR Systems. Technical Report 2008/09, TU Berlin, Fak. IV (to appear, 2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Frank Hermann
    • 1
  1. 1.Institut für Softwaretechnik und Theoretische InformatikTU BerlinGermany

Personalised recommendations