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

Research of Component Model Based on Pi Calculus

作　　者：刘培培[1] 章勇[1] 邵振[1] 

机构地区：[1]南京航空航天大学,计算机科学与技术江苏南京210016

出　　处：《计算机与网络》2012年第21期48-50,共3页Computer & Network

摘　　要：Pi演算是移动、交互和并发系统的理论基础,在现有的研究成果基础之上,文章对进程代数Pi演算的基本语法和语义进行了简要的介绍。构件和构件行为是研究基于构件的软件系统开发的基础,将构件定义为一个进程,构件接口定义为构件进程的子进程,从进程的角度对构件和构件接口进行描述,定义了构件模型。构件行为强调的是通过构件端口与外界环境进行交互从而可以使系统正常运转,根据构件交互的特点,提出了构件行为交互模型。Pi calculus is the theoretical basis of mobile, interactive and concurrent systems. Based on the existing research, the paper introduces the basic syntax and semantics of process algebra Pi calculus. Component and component behavior are the basis for the research of component-based software system development. Component is defined as a process and component interface is defined as the child process of component, and the component and component interface are described ~om the perspective of process, then component model is defined based on Pi calculus. Component behavior emphasizes the interaction with environment via component port, thus the system can run norma//y. Based on the component interaction characteristics, the component behavior interaction model is proposed.

关 键 词：PI演算 构件 构件行为 构件交互 

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