基于组织程序设计范型的研究

项目名称： 基于组织程序设计范型的研究

项目编号： No.61379051

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 毛新军

作者单位： 中国人民解放军国防科学技术大学

项目金额： 76万元

中文摘要： 当前复杂软件系统具有社会和技术要素相互交融、自主运行、自治管理、动态变化等特点，这类系统的构造对程序设计模型的抽象性、机制的灵活性、语言的高层性以及运行的自治性等提出了一系列挑战，需要寻求新颖、有效的程序设计范型。项目将这类系统视为多Agent系统，提出借鉴社会组织学的思想来构造多Agent系统的程序模型，并将组织概念和机制引入到程序设计范畴，从模型与理论、机制与语言、程序设计方法学、运行虚拟机四个方面，开展基于组织程序设计范型研究。项目研究内容和预期成果包括：(1) 基于组织的程序设计模型、机制和语言；(2) 基于组织的程序理论，包括组织类型理论、形式模型和语义、运行性质和特征；(3) 基于组织的程序设计方法学；(4) 组织程序的运行模式、自治管理技术以及组织虚拟机。项目对于促进面向Agent程序设计研究、推动复杂软件系统的构造和实现、拓展基于组织软件工程的研究内容具有重要的意义和价值。

中文关键词： 社会技术系统；基于组织程序设计；程序模型；软件可变性；类型系统

英文摘要： Complex software systems typically have such properties as integration of technical and social elements, autonomous behaviors, autonomic managements, dynamic adjustments, etc., which challenges the current programming technologies like abstract software m

英文关键词： social-technical system；organization-based programming；program model；software viability；typed system