Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Behavioral Refinement of Graph Transformation-Based Models. @INPROCEEDINGS{HT05SeTra, title = {{Behavioral Refinement of Graph Transformation-Based Models.}}, author = {{Reiko} {Heckel} and {Sebastian} {Th\"one}}, booktitle = {Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions (SETra 2004)}, pages = {101-111}, abstract = {Model-driven software engineering requires the refinement of abstract models into more concrete, platform-specific ones. To create and verify such refinements, behavioral models capturing reconfiguration or communication scenarios are presented as instances of a dynamic meta-model, i.e., a typed graph transformation system specifying the concepts and basic operations scenarios may be composed of. Possible refinement relations between models can now be described based on the corresponding meta-models. In contrast to previous approaches, refinement relations on graph transformation systems are not defined as fixed syntactic mappings between abstract transformation rules and, e.g., concrete rule expressions, but allow for a more loose, semantically defined relation between the transformation systems, resulting in a more flexible notion of refinement.}, series = {Electr. Notes Theor. Comput. Sci.}, volume = {127(3)}, year = {2005}, url = {http://www.cs.le.ac.uk/people/rh122/papers/2005/HT05SeTra.pdf}, ee = {http://dx.doi.org/10.1016/j.entcs.2004.08.037}, partner = {ULEICES}, }
|