Semantics-Directed Component Interaction in CORBA: a Case for Using Modular Graph Grammars

In: Technical Report
Essen: University of Essen, Department of Mathematics and Computer Science / Specification of Software Systems (1997)
Buchaufsatz / Kapitel / Fach: Wirtschaftswissenschaften
Graphs and graph rewriting techniques are well suited for describing structure and behaviour of systems. In order to be practical for large and complex systems these techniques have to be modular and scalable. In this paper we consider as a realistic example the problem of describing interaction in CORBA-based distributed systems. From the desire to formulate semantic properties we derive requirements for a modular graph rewrite approach. We use the interaction problem of distributed objects to plot out how such a modular approach to graph rewriting and how existing approaches can be used or integrated.