大規模定製服務系統的Petri網語義模型與關鍵技術研究

《大規模定製服務系統的Petri網語義模型與關鍵技術研究》是依託同濟大學，由丁志軍擔任項目負責人的面上項目。

基本介紹

• 中文名：大規模定製服務系統的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年同濟大學青年英才系列計畫第一批次（攀登跟蹤計畫）。