DocumentCode
479879
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
Volume
2
fYear
2008
fDate
12-14 Dec. 2008
Firstpage
267
Lastpage
270
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Science and Software Engineering, 2008 International Conference on
Conference_Location
Wuhan, Hubei
Print_ISBN
978-0-7695-3336-0
Type
conf
DOI
10.1109/CSSE.2008.989
Filename
4722050
Link To Document