• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>ER 2003 Workshops on Conceptual Modeling for Novel Application Domains ECOMO, IWCMQ, AOIS, and XSDM; Oct 13, 2003; Chicago, IL, USA >Consistency by Construction: The Case of MERODE
【24h】

Consistency by Construction: The Case of MERODE

机译：施工一致性：MERODE案例

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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.
机译：诸如UML之类的建模语言提供了一组基本模型，用于从不同的角度和不同的抽象级别描述软件系统。由于缺少对UML图语义的正式定义，支持这些UML模型不受限制使用的工具不能保证多个模型/视图之间的一致性。允许自动一致性检查的更好的替代方法是根据单一模型原理进行建模。该方法基于单个模型的概念，为此将构建不同的视图，并在这些视图之间进行自动或半自动生成或一致性检查。一致性检查的三种基本方法是：通过分析进行一致性检查，通过监视进行一致性检查以及通​​过构造进行一致性检查。在本文中，我们通过概念性领域建模方法MERODE及其关联的案例工具MERMAID来说明构建方法的一致性。我们还将说明构造的一致性如何提高概念模型的有效性和完整性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号