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

J4 ›› 2012, Vol. 34 ›› Issue (6): 174-177.

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

姜梦稚1,2，赵风景1

(1.上海电机学院电子信息学院,上海 200240;2.上海交通大学计算机科学与工程系,上海 200240)

收稿日期:2011-03-07 修回日期:2011-06-21 出版日期:2012-06-25 发布日期:2012-06-25

Sequence Diagram Modeling with the π Calculus

JIANG Mengzhi1,2,ZHAO Fengjing1

(1.School of Electronics and Information,Shanghai Dianji University,Shanghai 200240;2.Department of Computer Science and Engineering,Shanghai Jiaotong University,Shanghai 200240,China)

Received:2011-03-07 Revised:2011-06-21 Online:2012-06-25 Published:2012-06-25

摘要/Abstract

摘要：

UML建模方式广为开发人员使用，但其非形式化的描述方法缺少对所描述内容的形式建模过程，本文通过运用πI演算描述UML中的时序图，能够对UML图形所涉及的数据和操作行为进行建模，为UML的动态描述图形提供一种建模的途径，本文提出用树形结构来组织对象的属性和操作，使得在πI演算能对类和对象的表示和处理。

关键词: &pi, I演算, 树形结构, 时序图, 形式化建模

Abstract:

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 πI  calculus to describe the sequence diagrams, and we provide a method to model the diagrams. In this article we propose the concept of tree to construct objects, which shows us some advantages.

Key words: πI calculus;tree structure;sequence diagram;formalization

姜梦稚1,2，赵风景1. 基于π演算的时序图的建模[J]. J4, 2012, 34(6): 174-177.

JIANG Mengzhi1,2,ZHAO Fengjing1. Sequence Diagram Modeling with the π Calculus[J]. J4, 2012, 34(6): 174-177.

[1]	胡志坤，孙岩，丁家峰，刘灿. 石英晶片参数测量的物理实验教学系统[J]. J4, 2012, 34(4): 177-181.
[2]	袁文杰，应时，吴可嘉，姚俊峰. 基于π演算的反射式需求规约描述方法[J]. J4, 2010, 32(6): 146-149.
[3]	肖振宇1，2,彭宇行1,刘锋1,王世锋3,张红雷4. 基于树结构的分布式数据流水分发方法[J]. J4, 2010, 32(10): 90-92.
[4]	颜锋，田作威，严榴香. 多态π演算的互模拟等价关系及其公理化[J]. J4, 2010, 32(10): 131-134.