The Community for Technology Leaders
Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) (1995)
York, England
Mar. 27, 1995 to Mar. 29, 1995
ISBN: 0-8186-7017-7
pp: 164
D.W. Bustard , Sch. of Inf. & Software Eng., Ulster Univ., Coleraine, UK
P.J. Lundy , Sch. of Inf. & Software Eng., Ulster Univ., Coleraine, UK
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.
INDEX TERMS
formal specification; specification languages; systems analysis; software tools; soft systems analysis; formal modelling; initial requirements definition; formal techniques; Soft Systems Methodology; formal specification; LOTOS; formal descriptions; informal SSM models; computing oriented analysis techniques; software tools; book ordering data processing; RACE; software requirements engineering method
CITATION

P. Lundy and D. Bustard, "Enhancing soft systems analysis with formal modelling," Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95)(RE), York, England, 1995, pp. 164.
doi:10.1109/ISRE.1995.512558
98 ms
(Ver 3.3 (11022016))