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

An organization-based programming language and implementation for Internetware

作　　者：胡翠云[1] 毛新军[1] 陈寅[1] 

机构地区：[1]国防科学技术大学计算机学院,长沙410073

出　　处：《中国科学：信息科学》2013年第1期143-160,共18页Scientia Sinica(Informationis)

基　　金：国家自然科学基金(批准号:61070034;91024030;90818028);国家教育部博士点基金(批准号:20094307110007);教育部新世纪优秀人才计划(批准号:NCET-10-0898)资助项目

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

关 键 词：网构软件程序设计 组织抽象 角色扮演 自适应 自演化 动态协同 

分 类 号：TP311.10[自动化与计算机技术—计算机软件与理论] TP18[自动化与计算机技术—计算机科学与技术]