SENSORIA All Publications |
|
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
Flexible Interconnection of Graph Transformation Modules - A Systematic Approach @INPROCEEDINGS{EHC05TAPSOFT, title = {{Flexible Interconnection of Graph Transformation Modules - A Systematic Approach}}, author = {{Gregor} {Engels} and {Reiko} {Heckel} and {Alexander} {Cherchago}}, booktitle = {Formal Methods in Software and System Modeling}, editor = {H.-J. Kreowski and U. Montanari and F. Orejas and G. Rozenberg and G. Taentzer}, pages = {38-63}, abstract = {Modularization is a well-known concept to structure software systems as well as their specifications. Modules are equipped with export and import interfaces and thus can be connected with other modules requesting or providing certain features. In this paper, we study modules the interfaces of which consist of behavioral specifications given by typed graph transformation systems. We introduce a framework for classifying and systematically defining relations between typed graph transformation systems. The framework comprises a number of standard ingredients, like homomorphisms between type graphs and mappings between sets of graph transformation rules. The framework is applied to develop a novel concept of substitution morphism by separating preconditions and effects in the specification of rules. This substitution morphism is suited to define the semantic relation between export and import interfaces of requesting and providing modules.}, publisher = {Springer-Verlag}, series = {LNCS}, year = {2005}, url = {http://www.springerlink.com/index/V374LYHG9W5KF7DP.pdf}, partner = {ULEICES}, }
|