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

• 作者: 傅凌云 屈喜龙 胡德发
• 来源期刊: 科技与创新
• 关键词: 网构软件 软件演化 Pi演算 进程代数 形式化方法
• 年，卷（期）: 2011,（2）
• 所属期刊栏目: 软件时空
• 页码范围: 243-245
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.2095-6835.2011.02.096

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	傅凌云	湖南湘潭湖南电气职业技术学院信息工程系	1	0	0.0	0.0
2	胡德发	湖南长沙湖南大学计算机与通信学院	1	0	0.0	0.0
3	屈喜龙	湖南湘潭湖南工程学院计算机与通信学院	1	0	0.0	0.0