Logic-Based Model-Level Software Development with F-OML

  • Mira Balaban
  • Michael Kifer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6981)


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.


Modeling Language Design Pattern Class Diagram Object Constraint Language Abstract Syntax 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    France, R., Rumpe, B.: Model-driven development of complex software: A research roadmap. In: Intl. Conf. on Software Engineering, pp. 37–54 (2007)Google Scholar
  2. 2.
    Balaban, M., Kifer, M.: An overview of F-OML: An F-Logic based object modeling language. Electronic Communications of the EASST 36 (2011)Google Scholar
  3. 3.
    Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of ACM 42, 741–843 (1995)CrossRefzbMATHMathSciNetGoogle Scholar
  4. 4.
    Kifer, M., Kim, W., Sagiv, Y.: Querying object-oriented databases. In: ACM SIGMOD Conf. on Management of Data, pp. 393–402. ACM, NY (1992)Google Scholar
  5. 5.
    Kifer, M.: FLORA-2: An object-oriented knowledge base language. The FLORA-2 Web Site (2007),
  6. 6.
    Lano, K.: UML 2 semantics and applications. Wiley Online Library, Chichester (2009)CrossRefGoogle Scholar
  7. 7.
    Van Gelder, A., Ross, K., Schlipf, J.: The well-founded semantics for general logic programs. Journal of ACM 38, 620–650 (1991)CrossRefzbMATHMathSciNetGoogle Scholar
  8. 8.
    Berardi, D., Calvanese, D., Giacomo, D.: Reasoning on UML class diagrams. Artificial Intelligence 168, 70–118 (2005)CrossRefzbMATHMathSciNetGoogle Scholar
  9. 9.
    Maraee, A., Balaban, M.: Efficient reasoning about finite satisfiability of UML class diagrams with constrained generalization sets. In: The 3rd European Conf. on Model-Driven Architecture, pp. 17–31 (2007)Google Scholar
  10. 10.
    Wahler, M., Basin, D., Brucker, D., Koehler, K.: Efficient analysis of pattern-based constraint specifications. Software and Systems Modeling 9, 225–255 (2010)CrossRefGoogle Scholar
  11. 11.
    Object Management Group: UML 2.0 Object Constraint Language Specification (2006)Google Scholar
  12. 12.
    Jackson, D.: Alloy: A new technology for software modelling. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 175–192. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  13. 13.
    Maoz, S., Ringert, J.O., Rumpe, B.: Modal Object Diagrams. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol. 6813, pp. 281–305. Springer, Heidelberg (2011)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Mira Balaban
    • 1
  • Michael Kifer
    • 2
  1. 1.Ben-Gurion UniversityIsrael
  2. 2.Stony Brook UniversityUSA

Personalised recommendations