S. Erdmann and I. Claßen. Alpha -- a class library for a metamodel based on algebraic graph theory. In Proc. Fifth International Conference on Algebraic Methodology and Software Technology, LNCS. Springer, 1996.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....use the code nor the algorithms. The inefficiency is not only caused by the chosen functional programming language, but mainly because the algorithms are designed to be generally applicable for all categories. Practical experience with the implementation of tools based on category theory [TB94, EC96] has shown, that efficiency is achievable if only special constructions in set based categories are treated. But for each tool and algorithm a separate correctness proof is needed. And there are some constructions demanded from applications like scheme or graph transformations, where an efficient ....

....framework including data type, process and time oriented systems. It could even serve as the basis for the formalisation of parameterisation in programming languages like C , Eiffel or Ada. For all these methods to be applicable, tool support is strongly required. Existing tools [SJ95, TB94, EC96, CEW93] do not share a common implementation of the colimit construction, they even do not share common algorithms. But there is not only a problem at the implementation level. The lack of an efficient reusable colimit algorithm in the past lead to alternative semantic definitions of the ....

[Article contains additional citation context not shown here]

S. Erdmann and I. Claßen. Alpha -- a class library for a metamodel based on algebraic graph theory. In Proc. Fifth International Conference on Algebraic Methodology and Software Technology, LNCS. Springer, 1996.

....which is supported by a suitable interpreter. 3 Graph Transformation and Visual Languages Now we introduce several approaches, all concerned in some way with visual languages in connection with graph grammars and graph transformation respectively: 1. Cla en Lowe Erdmann in [CLWW94, CL95, EC96, CGL96] Scheme Evolution in Object Oriented Models A Graph Transformation Approach. Use of attributed graphs; modifications are described by graph transformation rules; without considerations wrt. graphical structure. 2. M.Minas Viehstadt in [Min93, VM94, MV95, VM95] DiaGen A Generator ....

....Example scheme object rule B, the (untyped) base algebra, together with a type function t : B T describing the typing of base algebra elements. The type function must be compatible with the operations in the category of all attributed graphs, i.e. it must be a homomorphism in this category. In [EC96] a class library for the meta model (Alpha) is implemented where each model, i.e. a description technique is seen as an algebra T wrt. the attributed graph signature. It is further mentioned that other graphical modeling techniques as OO notions simply require a different (model) algebra (as ....

S. Erdmann and I. Claßen. Alpha -- A Class Library for a Metamodel based on Algebraic Graph Theory. In Proc. Fifth International Conference on Algebraic Methodology and Software Technology, LNCS. Springer, 1996.

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