业务对象平台无关模型建模方法及其完备性研究

作     者：冯锦丹 战德臣 聂兰顺 徐晓飞 李晋 韩毅斌 FENG Jin-dan;ZHAN De-chen;NIE Lan-shun;XU Xiao-fei;LI Jin;HAN Yi-bin

作者机构：哈尔滨工业大学企业与服务智能计算研究中心 中国北车股份有限公司 

出 版 物：《计算机集成制造系统》 (Computer Integrated Manufacturing Systems)

年 卷 期：2011年第17卷第6期

页      面：1308-1316页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金资助项目(60773064) 国家863计划资助项目(2009AA04Z153) 国家科技重大专项资助项目(2009ZX01043-003-002 2009ZX01045-001-002-4) 教育部博士点新教师基金资助项目(200802131026) 

主　　题：业务对象 平台无关模型 完备性 企业应用软件 建模 

摘      要：为支持业务对象平台无关模型的设计,以支撑模型驱动的企业应用软件开发,扩展了业务对象概念的语义范畴和粒度,在可互操作可配置可执行的模型驱动体系结构研究的基础上,给出了业务对象形式化定义和业务对象的平台无关模型。从基本构成要素(数据集、操作集、状态集及其间关系)的角度,给出支持业务对象模型的语义完备性约束。实践表明,研究成果可为大粒度业务对象平台无关建模提供基础的理论支撑。