Hits :

First Author : 王晓虎

Affiliation of Author(s): 数理与信息工程学院

Date of Publication : 2007-01-01

Document Type : 期刊

Journal : 微型机与应用

Issue : 第A1期

Page Number : 169-171

ISSN : 2096-5133

Translation or Not : no

Key Words : π演算；行为交互；需求建模；形式化

Abstract : 借鉴π演算的进程构造能力和类型系统表达能力,以π演算为需求建模语言,提出一种需求建模的形式化方法,给出构造功能行为交互系统的良类型性质。