Logic-based model-level software development with F-OML
Logic-based model-level software development with F-OML
复制标题
使用 F-OML 进行基于逻辑的模型级软件开发
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
M. Kifer
中科院分区：
文献类型：
--
作者：
Mira Balaban;M. Kifer
模型是新兴的模型驱动工程（MDE）方法的核心，在这种方法中，软件是通过模型的重复转换来开发的。在过去的二十年里，建模社区的大量努力已经为模型提供了各种各样的工具支持。尽管如此，模型仍然没有被广泛使用的整个软件演化生命周期，在许多情况下，他们被忽视的软件开发的后期阶段。为了使模型更有用，需要一个强大的模型级IDE来支持广泛的对象建模任务。这样的IDE必须有一致的形式基础。
本文介绍了F-OML，一种语言的目的是作为一个表达，可执行的形式化基础模型级IDE。F-OML支持各种各样的模型级活动，例如扩展UML图、定义设计模式、对UML图进行推理、测试UML图、特定领域建模语言的规范以及元建模。F-OML是一种优雅的逻辑编程语言PathLP之上的语义层。我们相信，将当前的对象技术与作为底层语言的F-OML相结合，可以为强大的模型级IDE奠定基础。
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.