2006
DOI: 10.1007/11841883_22
|View full text |Cite
|
Sign up to set email alerts
|

On the Use of Alloy to Analyze Graph Transformation Systems

Abstract: Lecture Notes in Computer Science - Volume 4178/200

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
39
0

Year Published

2008
2008
2023
2023

Publication Types

Select...
5
3

Relationship

0
8

Authors

Journals

citations
Cited by 45 publications
(39 citation statements)
references
References 14 publications
0
39
0
Order By: Relevance
“…Alloy modules can also be exploited to specify model transformations [2,4]. In this paper we focus on the study of exogenous model transformations [20] that take one source model as input and produce one target model as output.…”
Section: Model Transformations In Alloymentioning
confidence: 99%
See 1 more Smart Citation
“…Alloy modules can also be exploited to specify model transformations [2,4]. In this paper we focus on the study of exogenous model transformations [20] that take one source model as input and produce one target model as output.…”
Section: Model Transformations In Alloymentioning
confidence: 99%
“…In the context of model driven software engineering, Alloy and its accompanying tool the Alloy Analyzer have been used to validate properties of models [1,6] and model transformations [2,4]. However, the analysis of model transformation specifications expressed in Alloy has some important limitations.…”
Section: Introductionmentioning
confidence: 99%
“…no multiplication or division), restricting the set of expressions allowed in attribute conditions. On the other hand, as Alloy supports model checking, we would be able to check more complex properties on sequences of rule firings [5].…”
Section: Alternative Analysis Toolsmentioning
confidence: 99%
“…In [5], rules are translated into Alloy in order to study the applicability of sequences of rules and the reachability of models. Even though Alloy is equipped with a SAT solver (so that similar properties to the ones we verify could be analysed), the properties in [5] are only related to reachability.…”
Section: Related Workmentioning
confidence: 99%
“…Transformations to other domains can be found in [3], where rules are translated into Alloy in order to study the applicability of sequences of rules and the reachability of models; in [2], where rules are translated into Petri graphs to check safety properties; and in [21], where they are transformed into Promela for model-checking. However none of these approaches supports the analysis taking a meta-model into account or allowing OCL constraints in rules.…”
Section: Related Workmentioning
confidence: 99%