graph transformation systems
Towards a Petri net Model for Graph Transformation Systems
... a graph with three different types of nodes (for places, transitions, and tokens) and describe the firing of a PN transition thorough a rule ...Net Systems, Consume- Produce-Read ...of Graph ...
6
Type inference for graph transformation systems
... type graph based on a finite amount of production rules and subsequently only merges nodes using the quo- tient ...type graph from a graph ...type graph should fulfill two properties: first, ...
94
Automated generation of attack trees by unfolding graph transformation systems
... An alternative solution direction has focused on optimizing the analysis method by committing to a domain-specic input modeling language and integrating the concepts of this language into a custom developed model ...
114
Volume 30: Graph and Model Transformation 2010
... model transformation between different source and target models, there has been more work on showing behaviour preservation in ...for graph transformation systems in order to show correctness ...
21
Volume 26: Manipulation of Graphs, Algebras and Pictures
... terminating graph-transformation system is confluent or ...mation systems and show that confluence is decidable for coverable systems that are ...coverable systems includes all ...
16
Volume 30: Graph and Model Transformation 2010
... AHLI transformation rules, we have proven that this technique is powerful enough to model typical features of communication ...with transformation rules are only loosely ...to graph ...
25
Volume 2: Petri Nets and Graph Transformations
... production systems frequently necessitates to simultaneously fulfill several logical and numerical constraints as requirements in order to deliver a functionally correct and optimal ...by graph ...
19
Volume 30: Graph and Model Transformation 2010
... model transformation definitions via superimposition is de- scribed, which is a feature of the ATLAS Transformation Language ...model transformation definitions that transform high-level models into ...
25
Volume 30: Graph and Model Transformation 2010
... and transformation systems had been developed in the past mainly from the language and the process specification point of view [Roz97], but data types had to be handled separately by algebraic specification ...
7
Volume 30: Graph and Model Transformation 2010
... with Graph and Net Transfor- mations) focuses on the role of graphs and graph transformations in practical application areas like molecular analysis, model transformations, and medical information ...for ...
6
Volume 29: Graph Transformation and Visual Modeling Techniques 2010
... the transformation steps including the inhibiting ef- fects of the ...reachability graph of the dependency net we derive all valid permutations of the derivation steps of a given derivation d, ...HLR ...
15
Volume 30: Graph and Model Transformation 2010
... of graph transformation systems ...to graph grammar models and use such representation for the formal analysis of reactive systems through the theorem proving ...of graph ...
17
Volume 30: Graph and Model Transformation 2010
... Abstract: Graph conditions are very important for graph transformation systems and graph programs in a large variety of application ...non-local graph properties like “there ...
19
Volume 2: Petri Nets and Graph Transformations
... Abstract: We introduce an analysis method that checks for the absence of (Euler) paths or cycles in the set of graphs reachable from a start graph via graph transfor- mation rules. This technique is based ...
12
Volume 47: Graph Transformation and Visual Modeling Techniques 2012
... of graph transformation systems and a translation into stochastic analysis tools such as PEPA ...composing systems from views and investigate how the modularity achieved can be extended to the ...
15
Volume 30: Graph and Model Transformation 2010
... current state is there because it is sustained either by a reaction from A or by the context. This is a major difference with models of concurrent systems in computer science (such as Petri nets — see, e.g., ...
10
Volume 30: Graph and Model Transformation 2010
... Finally, the transition system and the generated CTL formulas serve as input for the Groove model checker, which checks whether the formulas hold for the transition system (and therefore for the model from which the ...
19
Volume 30: Graph and Model Transformation 2010
... ware systems undergo a lot of changes due to changes in the application context (for example changing conditions on the markets and changes due to the jurisdiction) and base technology ...
7
Volume 30: Graph and Model Transformation 2010
... The scheduler runs in parallel with arbitrarily many processes representing the threads to be managed. Each thread is characterized by a name and a priority. In order to verify the scheduler system, the specific details ...
16
Volume 30: Graph and Model Transformation 2010
... asks for the concepts and models underlying its design. The distinction between the last two questions, however, is not exclusive, since also models are tools, and tools, like formalisms and languages, are ...
11