基于π演算的时序图的建模  

Sequence Diagram Modeling with the π Calculus

作　　者：姜梦稚[1,2] 赵风景[1] 

机构地区：[1]上海电机学院电子信息学院,上海200240 [2]上海交通大学计算机科学与工程系,上海200240

出　　处：《计算机工程与科学》2012年第6期174-177,共4页Computer Engineering & Science

摘　　要：UML建模方式广为开发人员使用,但其非形式化的描述方法缺少对所描述内容的形式建模过程,本文通过运用πI演算描述UML中的时序图,能够对UML图形所涉及的数据和操作行为进行建模,为UML的动态描述图形提供一种建模的途径,本文提出用树形结构来组织对象的属性和操作,使得在πI演算能对类和对象的表示和处理。UML is a widely used technique among software developers, and it is famous for its ease of use. The weakness is its lack of a formal description. In this article, we propose using π calculus to describe the sequence diagrams, and we provide a method to model the diagrams. In this article we pro- pose the concept of tree to construct objects, which shows us some advantages.

关 键 词：πI演算 树形结构 时序图 形式化建模 

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