基于Pi演算的构件模型研究

• 作者: 刘培培 章勇 邵振
• 来源期刊: 计算机与网络
• 学科: 工学
• 关键词: Pi演算 构件 构件行为 构件交互
• 年，卷（期）: 2012,（21）
• 所属期刊栏目: 技术论坛
• 页码范围: 48-50
• 页数: 3页
• 分类号: TP391.4
• 字数: 2456字
• 语种: 中文

摘要

Pi演算是移动、交互和并发系统的理论基础,在现有的研究成果基础之上,文章对进程代数Pi演算的基本语法和语义进行了简要的介绍.构件和构件行为是研究基于构件的软件系统开发的基础,将构件定义为一个进程,构件接口定义为构件进程的子进程,从进程的角度对构件和构件接口进行描述,定义了构件模型.构件行为强调的是通过构件端口与外界环境进行交互从而可以使系统正常运转,根据构件交互的特点,提出了构件行为交互模型.