Comparison of Software Specification Methods Using a Case Study

Yusufu, Munina; Yusufu, Gulina

doi:10.1109/csse.2008.1493

Cited by 7 publications

(12 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Yusuf and Yusuf [2] compare the properties of five formal specification methods (Z language, UML, The B method, Petri nets, and action system) theoretically and address their difference by designing a particular part of the ABM (Automated Banking Machine) system using each method, and further compare these methods by analyzing their strength and weakness. Kumar and Goel [8] model some aspect of ATM system in Z notation but due to intractable nature it is harder to understand.…”

Section: Related Workmentioning

confidence: 99%

“…Specification language plays an important role for software developers in the analysis and design phase of software life cycle. The main aim of formal specification is to describe the system requirements precisely and thoroughly using a collection of techniques, specification languages, and tools that capture the abstract features of a system [2]. Formal specification use mathematical notation to describe the software requirements in a precise way, such that the properties of the system are achieved [3].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Model to specify real time system using Z and alloy languages: A comparative approach

Dwivedi¹,

Rath²

2012

International Conference on Software Engineering and Mobile Application Modelling and Development (ICSEMA 2012)

View full text Add to dashboard Cite

Choice of a particular specification language depends on the type of product. Z and Alloy both are formal specification languages used for specifying the software requirements in a succinct manner. Alloy language is designed specifically for automatic analysis of any real time system. This paper proposes comparison between the effectiveness of Z and Alloy languages. An Automated Teller Machine (ATM) example has been considered as a case study for real time analysis and is used to demonstrate the comparative differences between the functionalities of Z and Alloy languages. To make the explanation more precise, we present formal specification of some states (wait or busy) and operations (withdrawal or balance enquiry) of ATM system using Z and Alloy languages. By using Z/EVES tool, the syntax of Z language is verified and instances of these states and operations are generated by using a tool Alloy Analyzer.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Model to specify real time system using Z and alloy languages: A comparative approach

Dwivedi¹,

Rath²

2012

International Conference on Software Engineering and Mobile Application Modelling and Development (ICSEMA 2012)

View full text Add to dashboard Cite

show abstract

“…In [1], we discussed and compared the properties of five formal specification methods by designing a particular part of the ABM system for each methods.…”

Section: Related Workmentioning

confidence: 99%

“…In this paper, continuing our work in [1], we discuss another two formal specification methods, SDL and LOTOS, and address their properties by formalizing a particular part of the ABM system for different techniques. All together we briefly discuss seven different formal specification methods by classifying them into three different approaches, since the method in same approach will have some similarities, and we further analyze and compare these methods by considering their strengths and weaknesses.…”

Section: Introductionmentioning

confidence: 99%

“…Formal specification aims at describing the software requirements precisely and thoroughly using a collection of techniques, languages and tools that capture the abstract features of a system and allow us to verify and reason about the properties of the software before proceeding with the design and implementation. This will save a large amount of time and energy in producing the proper system [1].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Comparative study of formal specifications through a case study

Yusufu

2012

2012 IEEE International Conference on Information Science and Technology

Self Cite

View full text Add to dashboard Cite

Numerous formal specification methods have been proposed in the literature, i.e., the Z language, the unified modeling language (UML), the B method, Petri nets, action systems, the language of temporal ordering specification (LOTOS), and the specification and description language (SDL). Comparing the different specification methods is not an easy task but it is meaningful in many aspects. In [1], we discussed and compared the properties of five formal specification methods by designing a particular part of the ABM system for each method. Continuing our work, in this paper, we discuss another two formal specification methods, SDL and LOTOS, by emphasizing some similarities among them and address their differences based on a particular part of the ABM system, and further compare these methods by analyzing their strengths and weaknesses.

show abstract