Flexible Interconnection of Graph Transformation Modules

13 years 10 months ago

Download www.cs.le.ac.uk

Modularization is a well-known concept to structure software systems as well as their speciﬁcations. 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 speciﬁcations given by typed graph transformation systems. We introduce a framework for classifying and systematically deﬁning 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 eﬀects in the speciﬁcation of rules. This substitution morphism is suited to deﬁne the semantic relation between export and import interfaces of requesting and providing modules.

Gregor Engels, Reiko Heckel, Alexey Cherchago

Real-time Traffic