A.J. Winter and A. Schurr. Modules and updatable graph views for programmed graph rewriting systems. Technical Report 97-3, RWTH Aachen, FG Informatik, October 1997.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....with the rich facilities offered for specification in the small, we still miss support for specification in the large. In the ocial PROGRES release, a large specification cannot be decomposed into modules with welldefined interfaces. Current work on a module concept for PROGRES is re ported in [39]. Moreover, several chapters of this book ( are devoted to modularization concepts in specification languages. Another limitation concerns the way we transformed the specification into an implementation. Since we used IPSEN technology (see [40] and Chapter gin the rules of Figure 1.15 ....

Andreas Winter and Andy Schfirr. Modules and updatable graph views for programmed graph rewriting systems. Technical Report AIB 97-03, RWTH Aachen, Aachen, Germany, 1997.

....[ 2 : Type I O Dependent [ 1 : OBJECT COHPONENT ] condition Type.DependentAtHestOnce; Figure 1.24: Creation of an object dependency release, a large specification cannot be decomposed into modules with welldefined interfaces. Current work on a module concept for PROGRES is re ported in [39]. Moreover, several chapters of this book ( are devoted to modularization concepts in specification languages. Another limitation concerns the way we transformed the specification into an implementation. Since we used IPSEN technology (see [40] and Chapter of this volume) we were ....

Andreas Winter and Andy SchSrr. Modules and updatable graph views for programmed graph rewriting systems. Technical Report AIB 97-03, RWTH Aachen, Aachen, Germany, 1997.

....from the lack of any graph transformation module concept. As a first remedy, a module concept in the flavor of Modula 2 has been developed for PROGRES. This module concept together with certain ideas how to use active database system technology for defining abstract graph views is published in [WS97]. Currently, the Modula 2 like module concept of PROGRES is refined and adapted to the Java like package concept of the object oriented modeling language standard UML. For this purpose it was necessary to study, formalize, and improve the package concept of UML. The results of these efforts are ....

A.J. Winter and A. Schurr. Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems. Technical Report AIB 97-3, Dept. of Computer Science, RWTH Aachen, 1997.

....relations between them are needed to support the notion of implementation. We proceed now with a comparison between our TGTS modules and the other existing approaches to modularization of graph transformation systems. 6. 1 The PROGRES approach to modularization The PROGRES modules (described in [12]) are inspired by Modula 2 modules: each module is composed by an interface module and a body module (corresponding to the Modula 2 definition and implementation modules, respectively) The interface module allows to specify (via a programming language like syntax) the signature (names and ....

....the complete formal model of the given real situation. Note that the modularization idea here is interpreted as the possibility to independently formalize different (possibly overlapping) aspects of a complex problem. There are two distinct view oriented approaches: the declarative approach (see [12]) and the constructive approach (see [4] The main difference between them consists in the adopted solution for the views integration problem. In the declarative approach, inspired by the active database Event Condition Action rules) the views integration problem is solved by associating ....

A. Winter, A. Schurr "Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems" Aachener Informatik-Berichte 97-03

....and encapsulation of data states, are not sufficiently reflected by the comparison in this paper. Research partially supported by the German Research Council (DFG) the TMR network GETGRATS, and the ESPRIT Basic Research Working Group APPLIGRAPH PROGRES: The first module concept proposed in [WS97b] for PROGRES, a specification and programming language based on PROgrammed Graph REwrite Systems [Sch91] is in the line of classical concepts of programming languages like Modula 2. Our comparison is based on the more recent proposal [WS97a] of a concept inspired by UML packages [Rat97] TGT: ....

....of states and transformations from the target to the source of the specialization relation. Rules and procedures in the specialized system may have additional effects and stronger application conditions. Notice that there is a trade off between encapsulation and graphical specification (cf. also [WS97b] Classically, the export interface only shows the signatures of procedures while hiding completely 1 Of course, independent from module concepts, corresponding notions exist also in other approaches, see e.g. HMTW95,HEWC97,Hec98] for extensions of the algebraic approach by control ....

A.J. Winter and A. Schuerr. Modules and updatable graph views for programmed graph rewriting systems. Technical Report 97-3, RWTH Aachen, FG Informatik, October 1997.

.... and their different relationships, we have precisely reformulated the definitions and restrictions in about a dozen predicate logic formulas [48] Taking together the experiences with modular programming languages, which have been the basis for our first proposal for a PROGRES module concept [55], the influences from the graph grammar community, and the package concept proposal of the industrial strength OO modeling languages, we present a module concept which fulfils the following requirements: 524 CHAPTER 13. PROGRES: LANGUAGE AND ENVIRONMENT ffl A package constitutes a static, logical ....

Andreas J. Winter and Andy Schurr. Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems. Technical Report AIB 97-3, Dept. of Computer Science, RWTH Aachen, 1997.

No context found.

SCH URR A. and WINTER A. (1997b): Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems. Technical Report AIB 97-3, RWTH Aachen, Germany.

.... and their different relationships, we have precisely reformulated the definitions and restrictions in about a dozen predicate logic formulas [52] Taking together the experiences with modular programming languages, which have been the basis for our first proposal for a PROGRES module concept [53], the influences from the graph grammar community, and the package concept proposal of the industrial strength OO modeling languages, we present a module concept which fulfils the following requirements: ffl A package constitutes a static, logical unit of data together with operations of a ....

A.J. Winter and A. Schurr. Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems. Technical Report AIB 97-3, Dept. of Computer Science, RWTH Aachen, 1997.

....within another one is not at all supported. The first solution to overcome these limitations was to adapt a module concept like those of Modula 2 [19] or Ada [17] which allows to break large specifications into smaller portions and to perform data abstraction for graph rewriting specifications [18]. This approach was strongly influenced by well known software engineering concepts like Abstract Data Types [10] and Programming in the Large [4] We adopt these expressions and speak of Abstract Graph Types (AGTs) and Specification in the Large in the context of graph rewrite ....

....own nested packages. Based on this precise semantic definition for packages we are ready to adopt the concept for the PROGRES language which we will show in the sequel. 3 Graphical Modeling with Packages The specification which we will discuss is taken from our first module concept proposal [18]. Its purpose is to model sets by means of graph rewriting. Together with a graph schema describing the static structure of a SETS graph model we give some graph rewrite rules for the manipulation of the set. Graph rewriting may seem oversized for modeling simple data structures like this. But the ....

A. Winter and A. Schurr. Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems. Intern. Journal of Software Engineering and Knowledge Engineering, 1997 (submitted). also: Technical Report AIB 97-3, RWTH Aachen.

....in PROGRES. 3) Resulting graph rewriting specifications for complex languages like UML tend to be too large to be written down as a single unstructured document. Therefore, we are now starting to develop a module concept for PROGRES, which will be similiar to the module concepts of EMIL and UML [20]. To summarize, neither UML s module concept itself nor the considerations presented here concerning its formal definition and necessary modifications are restricted to a single object oriented analysis and design method. On the contrary, the presented module concept may be added to other ....

Schrr A., Winter A. J.: Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems. Technical Report AIB 97-3, RWTH Aachen, Germany, 1997.

No context found.

A.J. Winter and A. Schurr. Modules and updatable graph views for programmed graph rewriting systems. Technical Report 97-3, RWTH Aachen, FG Informatik, October 1997.

No context found.

A.J. Winter and A. Schurr. Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems. Technical Report AIB 97-3, Dept. of Computer Science, RWTH Aachen, 1997. 98

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC