模型合成是MDA的一个新课题。将模型合成分成三个实施阶段,并设计了一种模型合成的编织框架WMCF(weaving-based model composition framework),在模型合成中引入编织技术,输入模型的合成语义定义在编织模型中,通过WMCF框架自动实现模型...模型合成是MDA的一个新课题。将模型合成分成三个实施阶段,并设计了一种模型合成的编织框架WMCF(weaving-based model composition framework),在模型合成中引入编织技术,输入模型的合成语义定义在编织模型中,通过WMCF框架自动实现模型合成。WMCF框架支持QVT(query/view/transformations)规范,这也是将模型合成与模型转换相结合的有益尝试。展开更多
文摘模型合成是MDA的一个新课题。将模型合成分成三个实施阶段,并设计了一种模型合成的编织框架WMCF(weaving-based model composition framework),在模型合成中引入编织技术,输入模型的合成语义定义在编织模型中,通过WMCF框架自动实现模型合成。WMCF框架支持QVT(query/view/transformations)规范,这也是将模型合成与模型转换相结合的有益尝试。
基金Supposed by the National Natural Science Foundation of China under Grant Nos.6053406060473094(国家自然科学基金)+3 种基金the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z136(国家高技术研究发展计划(863))the National Basic Research Program of China under Grant No.2003CB317002(国家重点基础研究发展计划(973))the 2006 Mountaineering Program ofShanghaiChina under Grant No.06JC14065(上海市科委2006年度"登山行动计划")
文摘在对当前面向服务体系架构(service-oriented architecture,简称SOA)研究的基础上,给出了一个以企业服务总线(enterprise service bus,简称ESB)为中心的面向服务软件体系架构参考模型(SOA reference model,简称SOARM),是集Petri网和时序逻辑于一体的形式化SOA分析、验证和确认方法.基于以客户为中心的面向服务架构设计理念,即根据用户提出系统规范/需求,服务提供者提供服务或组合服务来满足服务消费者,服务接口和ESB作为实现面向服务架构的关键部分.虚拟计算环境下,服务语义的一致性验证是十分必要的,SOARM采用新的模式:通过Petri网为服务的行为建模,时序逻辑来描述服务语义一致性约束,综合运用分而治之的精炼检测思想和SOA模型检测合成方法,通过对这些子服务性质的检验来验证整个系统的规范.用商业银行综合前置系统说明了如何使用这种方法来实现面向服务的设计.