基于组织的网构软件程序设计语言及其实现

作为Internet环境下的一种新的软件形态，网构软件的自主性、协同性、适应性、演化性及柔性体系结构等特点对传统的程序设计模型、语言和支撑平台提出了一系列挑战．本文基于组织抽象和agent技术提出了支持网构软件构造的程序设计语言OragentL．首先，OragentL将软件agent作为网构软件中自主实体的抽象，并在这一层面设计和封装系统的自适应和自演化逻辑．其次，OragentL将组织、角色等组织抽象作为一级编程实体，提供了角色扮演、角色组合、角色演化、基于角色的交互、基于组织的自管理等机制为网构软件的动态性特点提供了显式的语言设施和机制支撑．我们设计了OragentL的语法和形式化操作语义，并开发了Oragentburg作为OragentL网构软件的运行时环境，支持0ragentL程序的开发、编译、部署和运行

An organization-based programming language and implementation for Internetware

Internetware is considered as a new software paradigm in the Internet environment, with the charac- teristics of autonomy, cooperation, adaptation, evolution and flexibility. Internetware brings challenges to current programming technologies in terms of model, language and platform. This paper proposes a new programming language~OragentL for construction of Internetware~ based on organization abstraction and agent technology. Firstly, OragentL abstracts the autonomous entities in Internetware as software agents, and designs and encap- sulates the logic of self-adaptation and self-evolution at this level. Secondly, OragentL treats the organizational concepts, such as organizations and roles, as first-class programming entities, and provides a number of mech- anisms, such as role enactment, role composition, role evolution, role-based interaction and organization-based self-management, to support the dynamic characteristics of Internetware with explicit language constructs. We have designed the syntax and formal operation semantics of OragentL and developed a runtime environment, namely Oragentburg, for development, compile, deployment and running of OragentL programs.