首页> 外文会议>Festschrift Symposium on Formal Methods and Hybrid Real-Time Systems >Relating Domain Concepts Intensionally by Ordering Connections
【24h】

Relating Domain Concepts Intensionally by Ordering Connections

机译:通过订购连接,联系域概念

获取原文

摘要

The present paper suggests a modelling method for relating domain concepts intensionally. The method is based on modelling concepts formally and establishing two ordering connections between objects of the concepts. The former connection, we call the characteristics connection. It is a Galois connection and states how objects of the two concepts, describe each other. The latter connection, we call the information flow connection. It is a connection between classifications of objects of the two concepts. The connection states how specialization of one kind of objects, cannot imply generalization of objects succeeding in an information flow. We put the method to work by modelling the domain concepts of budgets and project plans, and we establish the two ordering connections between the models of these. In doing so, we reveal interesting domain knowledge. Hence, we believe that our contribution adds clarity and transparency to the methodology of domain engineering and conceptual modelling.
机译:本文表明了一种拟域概念的建模方法。该方法基于正式建模概念并建立概念对象之间的两个排序连接。前者连接,我们称之为连接。它是一个Galois连接,并说明了两个概念的对象如何相互描述。后者连接,我们调用信息流连接。它是两个概念对象的分类之间的联系。连接说明了一种对象的专业化,不能暗示在信息流中成功的对象的泛化。我们将该方法通过建模预算和项目计划的域概念,我们建立了这些模式之间的两个订购连接。在这样做时,我们揭示了有趣的领域知识。因此,我们认为,我们的贡献为域工程和概念建模的方法增加了清晰度和透明度。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号