Title :
Aligning the Map Requirements Modelling with the B-method for Formal Software Development
Author :
Babar, Abdul ; Tosic, Vladimir ; Potter, John
Author_Institution :
Univ. of New South Wales, Kensington
Abstract :
We present a software development approach that aligns a requirements elicitation technique with a formal method of software specification abstraction. The goal/strategy modeling technique Map augmented with Jackson´s context diagrams (representing environment) is used to elicit requirements and the B-method is used to translate Map requirements into formal specifications. Comprehensive tool support allows the B-method to refine and implement the specification correctly. Our approach brings improvement to an approach that uses generic requirements for rigorous software development. The resulting specification model bridges the gap between software requirements and formal specifications and supports automatic refinement of strategic requirements into software code. To illustrate how our approach bridges this gap, we discuss the Point of Sale (PoS) requirements model of Seven Eleven Japan (SEJ).
Keywords :
formal specification; B-method; formal software development; map requirements modelling; requirements elicitation; software specification abstraction; Animation; Bridges; Computer science; Context modeling; Formal specifications; Marketing and sales; Mathematical model; Programming; Software engineering; Software systems;
Conference_Titel :
Software Engineering Conference, 2007. APSEC 2007. 14th Asia-Pacific
Conference_Location :
Aichi
Print_ISBN :
0-7695-3057-5
DOI :
10.1109/ASPEC.2007.54