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

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

项目编号： No.61173042

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 计算机科学学科

项目作者： 丁志军

作者单位： 同济大学

项目金额： 57万元

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

中文关键词： Petri网；大规模定制；服务；建模；组合

英文摘要：

英文关键词： Petri net；Mass Customization；Serivce；Modeling；Composition