A New Formal Modeling Approach for Requirement
Zhongyu Chen, Huaikou Miao, Bo Song · 2008
Using process composition capability and type system expressiveness of pi-calculus for reference, and pi-calculus as the requirement modeling language, this paper presents a formal approach to modeling requirement. And the consistent process interaction system is defined based on the notion of well-typedness in pi-calculus.