No full text
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions
Hermann, Frank
2008In Ehrig, Hartmut; Heckel, Reiko; Rozenberg, G. et al. (Eds.) Proc. International Conference on Graph Transformation (ICGT'08)
Peer reviewed


Full Text
No document available.

Send to


Keywords :
model transformation; graph transformation; formal analysis; triple graph grammars
Abstract :
[en] 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.
Disciplines :
Computer science
Author, co-author :
Hermann, Frank ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Language :
Title :
Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions
Publication date :
Event name :
International Conference on Graph Transformation (ICGT'08)
Event place :
Leicester, United Kingdom
Event date :
Main work title :
Proc. International Conference on Graph Transformation (ICGT'08)
Editor :
Ehrig, Hartmut
Heckel, Reiko
Rozenberg, G.
Taentzer, Gabriele
Publisher :
ISBN 978-3-540-87404-1
Collection name :
Vol. 5214 of Lecture Notes in Computer Science (LNCS)
Pages :
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 05 September 2013


Number of views
36 (2 by Unilu)
Number of downloads
0 (0 by Unilu)


Similar publications

Contact ORBilu