The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Querying object-oriented databases
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Alloy: A New Technology for Software Modelling
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
Reasoning on UML class diagrams
Artificial Intelligence
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
UML 2 Semantics and Applications
UML 2 Semantics and Applications
Proceedings of the 25th European conference on Object-oriented programming
Hi-index | 0.00 |
Models are at the heart of the emerging Model-driven Engineering (MDE) approach in which software is developed by repeated transformations of models. Intensive efforts in the modeling community in the past two decades have produced an impressive variety of tool support for models. Nonetheless, models are still not widely used throughout the software evolution life cycle and, in many cases, they are neglected in later stages of software development. To make models more useful, one needs a powerful model-level IDE that supports a wide range of object modeling tasks. Such IDEs must have a consistent formal foundation. This paper introduces F-OML, a language intended as an expressive, executable formal basis for model-level IDEs. F-OML supports a wide variety of model-level activities, such as extending UML diagrams, defining design patterns, reasoning about UML diagrams, testing UML diagrams, specification of Domain Specific Modeling Languages, and meta-modeling. F-OML is a semantic layer on top of an elegant logic programming language of guarded path expressions, called PathLP. We believe that a combination of current object technology with F-OML as an underlying language can lay the basis for a powerful model-level IDE.