服務構件安全協同建模與驗證方法研究

《服務構件安全協同建模與驗證方法研究》是依託華東師範大學，由杜德慧擔任項目負責人的青年科學基金項目。

基本介紹

• 中文名：服務構件安全協同建模與驗證方法研究
• 項目類別：青年科學基金項目
• 項目負責人：杜德慧
• 依託單位：華東師範大學

項目摘要

網路環境中，以組裝服務構件的方式生成面向服務的軟體系統是目前主流的軟體開發范型。然而，現有的構件組裝沒有將構件的計算模型和協同模型分開討論，組裝方式是靜態的，靈活性不夠。服務構件協同建模是實現網路環境中服務構件動態組裝所面臨的主要問題之一，本課題旨在建模、規約和驗證服務構件之間的協同行為，實現服務構件安全、靈活的組裝，為提高軟體系統的質量提供一種新的研究思路。研究基於Linda元組空間的服務構件安全協同模型，在元組匯流排上設定安全訪問控制層，實現元組空間上安全、可靠的訪問。研究基於該模型的服務構件協同規約語言，根據系統的安全需求，定義支持安全訪問、動態組合的操作原語；研究協同規約語言的操作語義和指稱語義模型，並基於程式統一理論（UTP）討論語義模型之間的等價性。研究基於安全屬性的組合驗證算法，提高驗證服務構件協同行為正確性的效率，並實現相應的原型系統。

結題摘要

以組合服務構件的方式設計、開發可信的軟體系統，能夠有效提高軟體開發的效率和質量，為面向服務的軟體系統的設計、開發提供了一種有效的解決方案，具有重要的科學意義和套用價值。但是，其面臨的主要問題是如何建模、驗證服務構件的協同互動行為。針對該問題，本項目旨在研究如何建模、驗證服務構件的協同行為，為設計、開發安全、可靠的軟體系統提供一種可行的、有效的解決方案。 主要的研究內容包括：研究基於實時系統建模語言MARTE建模服務構件的協同行為；研究使用模型檢測技術驗證、分析服務構件的協同行為；結合軌道交通控制系統以及能量感知的智慧型建築案例的分析和開發，進一步證實我們提出的解決方案的有效性、可行性。本項目的研究成果具有重要的科學意義，並為後續的研究工作打下了堅實的基礎。