Output details
11 - Computer Science and Informatics
University of Leicester
Output title
Checking bisimilarity for attributed graph transformation
Type
E - Conference contribution
Name of conference/published proceedings
Foundations of Software Science and Computation Structures, 16th International Conference, FOSSACS 2013, Proceedings. LNCS volume 7794.
Volume number
7794 LNCS
Issue number
-
First page of article
113
ISSN of proceedings
0302-9743
Year of publication
2013
URL
-
Number of additional authors
3
Additional information
<11>Our contribution is a sound and relatively complete inference system and a tableau method to derive bisimilarity congruences for process calculi whose operational semantics is given by graph transformation. The generality of our technique makes it suitable for checking bisimilarity of any kind of formalism whose semantics is expressed in terms of graph transformation. In particular, this work is relevant for applications in model-driven software development where, in general, attributed graphs have to be used for modelling instead of graphs, and where the consistency in heterogeneous specifications is a key property to be preserved.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-