大规模定制服务系统的Petri网语义模型与关键技术研究

基金项目类型：

国家自然科学基金

基金项目编号：

61173042

来源网站：

国家自然科学基金委员会

来源网址：

http://www.nsfc.gov.cn/

负责人：

丁志军

完成单位：

同济大学

中文关键词：

Petri网; 大规模定制; 服务; 建模; 组合;

其他语种关键词：

Petri net; Mass Customization; Serivce; Modeling; Composition

项目类型：

面上项目

语种：

中文

开始日期：

2012-01-01

结束日期：

2015-12-31

中文摘要：

在满足用户个性化需求的同时而又不牺牲效益和成本，达到规模效应，提供大规模定制服务是SOC理论和技术面临的新挑战。针对上述挑战，面向大规模定制服务系统的设计与实施，本项目围绕"多态"服务的语义和表达、系统的重组与优化两个关键科学问题，从形式化方法入手，构建基于可重构Petri网的系统语义模型，把握大规模定制服务系统的内在机理；进而研究支持大规模定制的"多态"服务形式语义，给出其过程语义和连接语义，制定服务描述规范，实现大规模定制服务的精准表达；在此基础上，提供基于Petri网语义模型和形式语义的系统构造、装配和优选技术，指导大规模定制服务系统的规范设计，支持大规模定制服务系统的动态组合、快速重组和个性服务；最后研制大规模定制交通信息服务应用验证系统。项目的研究，将为大规模定制服务系统的设计和实施提供理论保障，丰富和发展服务计算科学理论，为网络环境下的信息服务更好应用提供技术支撑。