(An) extended metamodel based on logic ＆ object-oriented approaches

Abstract

Most contemporary meta systems have an ER (or extended ER) based metamodel. ER based metamodel fails to capture knowledge information about development environment and limits in deductive capability. To surmount shortcomings of ER based metamodels, we propose a metamodel based on logic and objectoriented model. We combine object-oriented model with logic to design and implement LOOM (Logic and Object-Oriented approaches based Metamodel). And we implement a prototype system, LOOMS (Logic and Object-Oriented approaches based Meta System) in Prolog language and C language on PC. When analyst specify development environment by the use of LOOM, LOOMS automatically translate specification of development environment into Prolog clauses. Then, analyst can analysis/query on the specification of development environment. Next, analyst specify target system using LOOMS support. Our approach has following advantages. First, for behavior and constraint, LOOM is more expressive than ER based metamodel. Second, checking syntax grammar. specifications can be automatically translated into Prolog clauses. Third, by the use of logic, deductive capability is extended on analysis/query about specification of development environment.