《新型計算架構下工作流模型合成、分割與性能評價研究》是依託清華大學，由范玉順擔任項目負責人的面上項目。
基本介紹
- 中文名：新型計算架構下工作流模型合成、分割與性能評價研究
- 依託單位：清華大學
- 項目負責人：范玉順
- 項目類別：面上項目
- 批准號：60674080
- 申請代碼：F0308
- 負責人職稱：教授
- 研究期限：2007-01-01 至 2009-12-31
- 支持經費：25（萬元）
項目摘要
新一代計算架構下服務的鬆散耦合性、自治性和動態變化性使得面向服務的工作流在模型合成、模型分割、模型分析、運行和性能評價上出現了許多新的特點和難點。基於這些需求，本項目擬從模型合成驗證、運行時模型分割和性能分析三個方面展開研究。首先研究基於模型檢測的服務流程合理性驗證問題，包括理論框架和實現算法；驗證的性質包括服務調用關係的邏輯正確性、流程時間性質的可滿足性和服務流程涉及到的其他特殊性質。接著研究面向服務的分散式工作流模型分割問題，包括模型分割理論框架的建立、模型分割的靜態和動態方法、模型分割的正確性定義及驗證、模型分割的策略和效率分析等內容。最後研究服務流程執行的性能分析和評估方法，包括面向服務的業務流程的性能評價模型和基於系統動力學及多過程仿真的工作流性能分析方法。以上三項研究內容是面向服務的工作流的關鍵理論問題，而且遵循了工作流技術的建模－運行－性能分析這一邏輯主線。
