[00128034]基于业务模型的柔性化管理信息系统

该成果是清华大学和金蝶软件（中国）有限公司多年合作研发工作的积累和凝练，属于计划外自选项目。成果对于满足企业信息化工程实施需求、满足企业管理信息系统市场需求、打破国外技术壁垒、提升国内产品竞争力，具有十分重要的意义。该成果采用模型驱动的企业信息化工程理论与方法，建立了系统化的模型驱动的企业信息化系统工程体系，开发了集成化企业建模工具系统和柔性化企业管理信息系统。成果在集成化企业建模与工作流技术、服务生命周期管理与性能评价技术、柔性化管理信息系统研发技术方面取得多项创新。1)提出了基于工作流网模型结构分解进行性能计算的算法，显著降低了计算复杂性；提出了基于Petri网的时控工作流网及多维工作流网建模方法，并给出了基于事件平衡分析的模型形式化验证方法，给出了具有完备性和多项式时间复杂性的工作流逻辑正确性验证方法；提出了基于时序逻辑的工作流时序一致性验证方法。2)提出了多视图集成化企业模型和性能评价体系，所提出模型在集成度、一致性、可实施性、整体性能分析方面具有明显的技术优势。基于图转换规则的形式化描述模型与转换过程，给出了UML模型到Petri网模型的转换规则，并给出了验证转换正确性的形式化方法，为提高企业信息系统设计、实施和维护的效率和质量提供了理论和方法的基础。3)在服务全生命周期管理技术方面，提出了连续在线服务选择方法，显著提高了服务选择效率，提出了数据驱动的服务合成方法，建立了服务工作流网模型，提出了基于状态空间的服务兼容性判定方法和基于形式化描述的服务封装方法，给出了服务资源关系适配的工程方法和可执行中介器代码自动生成规则。4)开发了MDA生命周期管理工具，实现了模型驱动的企业信息系统设计实施，开发了基于SOA架构的柔性化企业管理信息系统（EAS），可显著提高系统对快速变化业务需求的响应能力和跨平台系统集成能力，开发实施的XML消息解析工具的解析效率比现有解析方法高出20%，显著提高了系统的性能。成果在国内外学术研究领域产生了重要影响，研究水平处于国际领先水平。2000年到2008年，项目组发表相关论文193篇，SCI收录14篇，EI收录102篇，出版学术专著6部。论著被引用7606次，其中他引7493余次。论文被国际SCI论文引用105次，他引次数为95次。成果共申请发明专利25项，取得软件版权12项。自2002年至2008年底，已经在国内企业管理信息系统领域内的多家公司中进行了推广和应用，共产生经济效益5.66亿元。成果的推广和应用也有效提高软件产品的开发效率和质量，增强了国内软件企业的竞争力。同时，项目成果具有广阔的市场前景和重要的推广和应用价值。预计未来两年内，累计可增加效益10亿元到50亿元。