• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Second International Workshop on Education Technology and Computer Science (ETCS 2010) >Categorical Semantics of Architecture-Centric Model Mapping
【24h】

Categorical Semantics of Architecture-Centric Model Mapping

机译：以架构为中心的模型映射的类别语义

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

To resolve the problems of the definition, description, and proof of semantic property preservation of model transformation, a semantic description framework for architecture-centric model transformation is proposed based on category theory. Formal semantics of component specification and architecture model are described within typed category diagrams, and the mapping relations between different levels component models are formally described by functors. The semantic properties that should be preserved through model transformation are discussed subsequently. The application research shows that the framework captures the essence, process and requirements of model-driven development, and thus can be used as a new theoretical guidance for the cognition, design and semantic calculation of model transformation and model-driven development.
机译：为了解决模型转换语义定义保存的定义，描述和证明问题，提出了一种基于范畴论的以架构为中心的模型转换语义描述框架。在类型化的类别图中描述了组件规范和体系结构模型的形式语义，而不同层次的组件模型之间的映射关系则由函子形式描述。随后讨论应通过模型转换保留的语义属性。应用研究表明，该框架抓住了模型驱动开发的本质，过程和要求，可作为模型转换和模型驱动开发的认知，设计和语义计算的新理论指导。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号