Comparison of Software Specification Methods Using a Case Study

Author

Yusufu, Munina ; Yusufu, Gulina

Author_Institution

Dept. of Comput. & Software, McMaster Univ., Hamilton, ON

Volume

2

fYear

2008

fDate

12-14 Dec. 2008

Firstpage

784

Lastpage

787

Abstract

Numerous formal specification methods have been proposed in the literature, such as the Z language, the Unified Modeling Language (UML), the B method, Petri nets, and action systems. Comparing the different specification methods is not an easy task but it is meaningful in many aspects. In this paper, we discuss the properties of five formal specification methods theoretically and address their differences by designing a particular part of the ABM system using each method, and further compare these methods by analyzing their strengths and weaknesses.

Keywords

Petri nets; Unified Modeling Language; automatic teller machines; formal specification; ABM system; B method; Petri net; UML; Unified Modeling Language; Z language; action system; formal specification; software specification; Computer science; Computer science education; Formal specifications; Object oriented modeling; Petri nets; Software engineering; Software tools; Switches; Systems engineering education; Unified modeling language; ABM System; Comparative Study; Formal Specification; Software Requirement;

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.1493

Filename

4722166