Meta-CASE in Practice: a Case for KOGGE

Meta-CASE tools are used to generate CASE tools; KOGGE is such a meta-CASE system. Two of KOGGE's main objectives are adaptability and flexibility which address the growing need for problem specific solutions. As an example it is shown how a CASE tool for the object-oriented method BON — BONsai — was constructed using KOGGE.

[1]  Dieter Zöbel,et al.  PROGRAM TRANSFORMATIONS FOR DISTRIBUTED CONTROL SYSTEMS , 1994 .

[2]  Gottfried Vossen,et al.  I-Serializability: Generalized Correctness for Transaction-Based Environments , 1997, Inf. Process. Lett..

[3]  Martin Jung,et al.  GTU - A workbench for the development of natural language grammars , 1995 .

[4]  Ulrich Furbach Theory Reasoning in First Order Calculi , 1994, IS/KI.

[5]  Ilkka Niemelä Implementing Circumscription Using a Tableau Method , 1996, ECAI.

[6]  Stefan Brass,et al.  D-wfs: a Connuent Calculus and an Equivalent Characterization , 1995 .

[7]  Albrecht Meissner GRABE: eine objekt-orientierte Sprache zur Spezifikation von Symbolen in interaktiven grafischen Editoren , 1995 .

[8]  Lutz Priese,et al.  Algebraic Characterization of Petri Net Pomset Semantics , 1997, CONCUR.

[9]  Angelika Franzke GRAL 2.0: A Reference Manual , 1997 .

[10]  Thomas Marx,et al.  NetCASE -- a Petri Net based Method for Database Application Design and Generation , 1995 .

[11]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[12]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[13]  Jürgen Ebert,et al.  A Declarative Approach to Graph Based Modeling , 1994, WG.

[14]  Peter Baumgartner,et al.  Model Elimination, Logic Programming and Computing Answers , 1995, IJCAI.

[15]  Jürgen Dix,et al.  Logisches Programmieren mit Negation und Disjunktion , 1996, Künstliche Intell..

[16]  D. Daberitz,et al.  Rapid prototyping of graphical editors in an open SDE , 1995, Proceedings Software Engineering Environments.

[17]  Peter Baumgartner,et al.  Hyper Tableaux and Disjunctive Logic Programming , 1996, DDLP.

[18]  Kim Walden,et al.  Seamless object-oriented software architecture , 1995 .

[19]  Christoph Steigner,et al.  Modelling Timeouts in Protocol Design , 1995 .

[20]  A. Winter Generic Support for Understanding Heterogeneous Software Generic Support for Understanding Heterogeneous Software , 1995 .

[21]  Jean-Marc Nerson,et al.  Seamless Object-Oriented Software Architecture - Analysis and Design of Reliable Systems , 1995 .

[22]  Jürgen Dix,et al.  Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations , 1996, Fundam. Informaticae.

[23]  Frieder Stolzenburg,et al.  A Flexible System for Constraint Disjunctive Logic Programming , 1998, Künstliche Intell..

[24]  Frieder Stolzenburg,et al.  Membership-Constraints and Complexity in Logic Programming with Sets , 1996, FroCoS.

[25]  J. Ebert,et al.  Querying Graph Structures with GQL , 1996 .

[26]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[27]  F. Stolzenburg,et al.  Analyzing Rule Sets for the Calculation of Banking Fees by a Theorem Prover with Constraints , 1998 .

[28]  Hartmut Noltemeier,et al.  Graphtheoretic Concepts in Computer Science , 1980, Lecture Notes in Computer Science.

[29]  Jürgen Dix,et al.  A Comparison of STATIC Semantics with D-WFS , 1996 .

[30]  Bertrand Meyer,et al.  Eiffel: The Language , 1991 .

[31]  Wenjin Lu Minimal Model Generation Based on E-hyper Tableaux , 1997, KI.

[32]  Jürgen Dix,et al.  Characterizations and Implementation of Static Semantics of Disjunctive Programs , 1996 .

[33]  Jürgen Ebert,et al.  Graph Based Modeling and Implementation with EER / GRAL , 1996, ER.

[34]  Lutz Priese,et al.  Abstract Fairness and Semantics , 1997, Theor. Comput. Sci..

[35]  NET CASE: Towards a Petri Net Based Technique for the Development of Expert/Database Systems , 1994 .

[36]  Stephan Philippi,et al.  Integration of Integrity Constraints into Object-Oriented Database Schema according to ODMG-93 , 1995 .

[37]  Chandrabose Aravindan An Abductive Framework for Negation in Disjunctive Logic Programming , 1996, JELIA.

[38]  Michael Z. Spivey,et al.  The Z notation , 1989 .

[39]  Walter Hower,et al.  Constraint Satisfaction - Algorithms and Complexity Analysis , 1995, Inf. Process. Lett..

[40]  Jürgen Dix,et al.  A general Approach to Bottom-Up Computation of Disjunctive Semantics , 1994, NMELP.

[41]  Professor Dr. Niklaus Wirth,et al.  Programming in Modula-2 , 1982, Springer Berlin Heidelberg.

[42]  Kalle Lyytinen,et al.  MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment , 1996, CAiSE.

[43]  Harro Wimmel Fachberichte Informatik on Some Compositional Petri Net Semantics Universitt at Koblenz{landau on Some Compositional Petri Net Semantics , 1995 .