Consistency by Construction: The Case of MERODE
Consistency by Construction: The Case of MERODE
复制标题
构建一致性：MERODE 案例
DOI：
10.1007/978-3-540-39597-3_11
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
G. Dedene
中科院分区：
文献类型：
--
作者：
M. Snoeck;Cindy Michiels;G. Dedene
建模语言（如UML）提供了一组基本模型，从不同的视图和不同的抽象级别来描述软件系统。支持这些UML模型的无限制使用的工具不能保证多个模型/视图之间的一致性，由于缺乏UML图的语义的正式定义。允许自动一致性检查的一个更好的选择是根据单模型原则建模。这种方法是基于一个单一的模型的概念，不同的视图被构造，并与这些视图之间的自动或半自动生成或一致性检查。一致性检查的三种基本方法是分析一致性、监控一致性和构造一致性。在本文中，我们说明了一致性的建设方法的概念域建模方法MERODE及其相关的案例工具MERMAID。我们还说明了如何建设的一致性提高了概念模型的有效性和完整性。
Modeling languages such as UML offer a set of basic models to describe a software system from different views and at different levels of abstraction. Tools supporting an unrestricted usage of these UML models cannot guarantee the consistency between multiple models/views, due to the lack of a formal definition of the semantics of UML diagrams. A better alternative that does allow for automatic consistency checking is modeling according to the single model principle. This approach is based on the conception of a single model, for which different views are constructed, and with an automatic or semi-automatic generation or consistency checking among these views. Three basic approaches to consistency checking are consistency by analysis, consistency by monitoring and consistency by construction. In this paper we illustrate the consistency by construction approach by means of the conceptual domain modeling approach MERODE and its associated case-tool MERMAID. We also illustrate how consistency by construction improves the validity and completeness of the conceptual model.