基于特征和范畴理论的体系结构模型形式化描述  

Formal description for architecture model based on feature and category theory

作　　者：杨潇[1] 马军[1] 侯金奎[1] 

机构地区：[1]山东大学计算机科学与技术学院,山东济南250101

出　　处：《计算机集成制造系统》2009年第7期1317-1322,共6页Computer Integrated Manufacturing Systems

基　　金：高等学校博士学科点专项科研基金资助项目(20070422107);山东省科技攻关资助项目(2008GG10001026)~~

摘　　要：为解决模型驱动开发中缺乏形式化语义的问题,以有效支持模型转换和代码生成,根据面向特征的技术和范畴理论,提出了一种体系结构模型的形式化描述方法。在该方法中,利用类型范畴理论,形式化地描述软件体系结构模型及其之间的映射关系,以提供精确的语义描述。以一个聊天室系统为例说明了该方法的应用。该描述框架可用于指导模型转换规则的定义以及转换的一致性验证,从而为模型驱动开发提供有力的支持。To solve the problem of lacking formal semantics in model-driven software development, and to effectively support model transformation and code generation, a formal description approach for software architecture models was proposed based on category theory and feature-oriented technology. In this approach, the typed category theory was used to formally describe software architecture models and their mapping relationships so as to provide precise semantic descriptions. A case of chat-room system was provided to illustrate the application of this approach. The description framework not only provided a theoretical guidance for the definition of transformation rules, but also provided measures for the validation of model transformations, thus it could provide an effective support for modeldriven software development.

关 键 词：模型驱动开发 软件体系结构 形式化描述 范畴理论 映射 聊天室系统 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]