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

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

在满足用户个性化需求的同时而又不牺牲效益和成本，达到规模效应，提供大规模定制服务是面向服务的计算（SOC）理论和技术面临的新挑战。为此，本项目面向大规模定制服务系统的设计与实施，围绕支持大规模定制服务的语义和表达、系统的重组与优化两个关键科学问题，构建了基于Petri网的大规模定制服务系统模型，给出了大规模定制服务及其用户个性化需求的描述规范，提出了基于Petri网模型的大规模定制服务系统构造方法、支持复杂控制结构的柔性装配技术和适应性优选技术等，并开展了交通信息服务应用验证研究。上述成果为大规模定制服务系统的设计和实施提供了理论方法，有助于网络环境下的信息服务的更好应用。.本项目在《IEEE Transactions on Computer》、《IEEE Transactions on Service Computing》、《IEEE Transactions on Systems, Man, and Cybernetics: Systems》、《Computing and Informatics》、《Enterprise Information System》等国内外学术刊物和会议上共发表标注本项目号的论文（含录用）28篇，其中IEEE系列汇刊10篇，获得ICNSC 2012最佳学生论文提名奖（Best Student Paper Finalist）。授权发明专利2项，培养1名博士、3名硕士。项目负责人丁志军教授获得2013年度国家科技进步二等奖1项（排名第二位），并先后入选2012年上海市青年科技启明星跟踪计划、2012年同济大学青年英才系列计划第一批次（攀登计划）、2014年同济大学青年英才系列计划第一批次（攀登跟踪计划）。