基于Pi演算的网构软件组装与演化框架

摘要：

如何在开放的Internet环境下实现各种异构资源的共享与集成,已经成为计算机技术面临的重大挑战,并由此提出了网构软件(Internetware)这一新的概念.网构软件是指在Internet环境下,采用构件技术,自底向上集成各种网络资源的一种新的软件形态.对于网构软件这一新型软件形态的研究目前还处于起步阶段,特别在网构件软件的组装与演化方面缺乏形式化理论基础的支持,这严重制约了网构软件的发展与应用.鉴于此,我们在仔细分析网构软件的特点与Pi演算的功能与性质的基础上,提出了一种基于Pi演算的网构软件组装与演化框架,对网构软件的组装与演化过程进行形式化分析.

关键词：网构软件、软件演化、Pi演算、进程代数、形式化方法

所属期刊栏目：27

分类号：TP311(计算技术、计算机技术)

在线出版日期：2014-07-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：243-245