当前复杂软件系统具有社会和技术要素相互交融、自主运行、自治管理、动态变化等特点，这类系统的构造对程序设计模型的抽象性、机制的灵活性、语言的高层性以及运行的自治性等提出了一系列挑战，需要寻求新颖、有效的程序设计范型。项目将这类系统视为多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 models, flexible programming mechanisms, high-level programming language facilities, and autonomic running of programs. Such requirements necessitate novel and effective programming paradigms. We consider such systems as multi-agent systems, and borrow the sociology and organization theory and principle to construct program models. By introducing the ideas, concepts and mechanisms of sociology and organization into programming, researches on organization-based programming paradigm concern the following four aspects, i.e., model and theory, mechanism and language, programming methodology, and organization virtual machine. The expected contributions of this project include: (1) organization-based programming model, mechanism and language for implementing multi-agent systems, (2) organization-based programming theory, including type theory, formal model and semantics of the proposed programming language, properties of running,(3) organization-based programming methodology, (4) execution of programs based on organization virtual machine and autonomic management of organization elements in programs. The research is significant to promote the study of agent-oriented programming and organization-based software engineering, and helpful to deal with the construction and implementation of complex software systems.