《基於組織程式設計范型的研究》是依託中國人民解放軍國防科技大學，由毛新軍擔任項目負責人的面上項目。
基本介紹
- 中文名：基於組織程式設計范型的研究
- 項目類別：面上項目
- 項目負責人：毛新軍
- 依託單位：中國人民解放軍國防科技大學
中文摘要,結題摘要,
中文摘要
當前複雜軟體系統具有社會和技術要素相互交融、自主運行、自治管理、動態變化等特點，這類系統的構造對程式設計模型的抽象性、機制的靈活性、語言的高層性以及運行的自治性等提出了一系列挑戰，需要尋求新穎、有效的程式設計范型。項目將這類系統視為多Agent系統，提出借鑑社會組織學的思想來構造多Agent系統的程式模型，並將組織概念和機制引入到程式設計範疇，從模型與理論、機制與語言、程式設計方法學、運行虛擬機四個方面，開展基於組織程式設計范型研究。項目研究內容和預期成果包括：(1) 基於組織的程式設計模型、機制和語言；(2) 基於組織的程式理論，包括組織類型理論、形式模型和語義、運行性質和特徵；(3) 基於組織的程式設計方法學；(4) 組織程式的運行模式、自治管理技術以及組織虛擬機。項目對於促進面向Agent程式設計研究、推動複雜軟體系統的構造和實現、拓展基於組織軟體工程的研究內容具有重要的意義和價值。
結題摘要
項目針對社會要素和軟體要素相互交融的一類複雜軟體系統，聚焦於這類系統的自主運行、自治管理、動態適應、靈活可變等複雜性特點及其帶來的軟體開發問題，將社會組織學的思想、概念和機理引入到程式設計領域，開展多學科交叉的研究，以尋求基於組織的高層抽象、有效模型和靈活機制來支持這類複雜軟體系統的構造、運行和演化，在基於組織的程式模型、程式運行的可變機制、程式設計語言及其類型系統、開發和運行環境等方面取得創新，具體成果包括：（1）提出了基於組織抽象的程式模型ROCGPA，設計了支持程式在Agent層、Position層和Group層動態可變的一組核心運行機制及其實現元操作。（2）提出了程式可變性模型及其合式約束、協調性約束、自包含約束、可訪問性約束等規約，以確保程式在可變運行過程中的一致性，設計和實現了相應的一致性檢查算法。（3）設計了基於組織的程式設計語言OragentL，定義了OragentL語言的動態語義以及程式的運行模型。（4）提出了基於組織程式設計語言OragentL的類型系統並證明了類型系統的安全性。（5）開發了支持基於組織程式設計的支撐環境Oragentburg。（6）針對自主機器人軟體、微服務軟體系統、多雲服務自主管理等開展了套用驗證，檢驗了研究成果的可行性和有效性。上述成果共同構成了基於組織的程式設計范型，它們對於促進新穎程式設計范型的研究和套用，推動複雜軟體系統的開發和運行具有重要的價值。
