Title :
A New Formal Modeling Approach for Requirement
Author :
Chen, Zhongyu ; Miao, Huaikou ; Song, Bo
Author_Institution :
Sch. of Comput. Eng. & Sci., Shanghai Univ., Shanghai
Abstract :
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.
Keywords :
formal specification; formal modeling approach; process composition capability; requirement modeling language; Calculus; Computer science; Mathematical model; Mathematics; Object oriented modeling; Software design; Software development management; Software engineering; Software performance; Systems engineering and theory; Formalizing; Modeling Requirement; Process Interaction; p-Calculus;
Conference_Titel :
Computer Science and Software Engineering, 2008 International Conference on
Conference_Location :
Wuhan, Hubei
Print_ISBN :
978-0-7695-3336-0
DOI :
10.1109/CSSE.2008.989
