DocumentCode :
2277736
Title :
Enhancing soft systems analysis with formal modelling
Author :
Bustard, D.W. ; Lundy, P.J.
Author_Institution :
Sch. of Inf. & Software Eng., Ulster Univ., Coleraine, UK
fYear :
1995
fDate :
27-29 Mar 1995
Firstpage :
164
Lastpage :
171
Abstract :
Broadly, the paper argues for a soft systems approach to initial requirements definition and for the use of formal techniques as a means of strengthening that approach. In detail, the paper looks specifically at the means and implications of combining Checkland and Wilson´s Soft Systems Methodology (SSM) with formal specification in LOTOS (P.B. Checkland, 1981; B. Wilson, 1990). Formal descriptions give precise meaning to the largely informal SSM models and help establish a bridge to traditional computing oriented analysis techniques. The use of tools to support the development, linking and maintenance of SSM and LOTOS models is also examined. The discussion is illustrated with a simple book ordering data processing example. Overall, this work is part of a larger research effort into the development of RACE, a new requirements engineering method for software.
Keywords :
formal specification; software tools; specification languages; systems analysis; LOTOS; RACE; Soft Systems Methodology; book ordering data processing; computing oriented analysis techniques; formal descriptions; formal modelling; formal specification; formal techniques; informal SSM models; initial requirements definition; soft systems analysis; software requirements engineering method; software tools; Bridges; Construction industry; Control systems; Data processing; Formal specifications; Guidelines; Instruction sets; Joining processes; Problem-solving; Refining; Software engineering;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Requirements Engineering, 1995., Proceedings of the Second IEEE International Symposium on
Print_ISBN :
0-8186-7017-7
Type :
conf
DOI :
10.1109/ISRE.1995.512558
Filename :
512558
Link To Document :
بازگشت