Communicating sequential processes
Communicating sequential processes
Soft systems methodology in action
Soft systems methodology in action
Systems: concepts, methodologies, and applications (2nd ed.)
Systems: concepts, methodologies, and applications (2nd ed.)
EXPOSE: an animation tool for process-oriented specifications
Software Engineering Journal
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Tool Demonstration: The Lotosphere Integrated Tool Environment Lite
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
Progress Towards RACE: A 'Soft-Centered' Requirements Definition Method
Software Quality and Productivity: Theory, practice and training
Enhancing soft systems analysis with formal modelling
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Integrating Soft Systems and Object-Oriented Analysis
ICRE '96 Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)
| Hi-index | 0.00 |
This paper describes and reflects on the experience of attempting to integrate process-oriented formal modelling with activity modelling in soft systems analysis. The work is part of a larger project at the University of Ulster to develop RACE, a new general purpose requirements engineering method for computing systems. Two distinctive characteristics of the integration approach used are that (i) formal modelling is offered as an optional facility, and so must be attractive; and (ii) the RACE method has been tailored to aid integration, in support of (i). The paper explains the relevant parts of the RACE method and the progress made so far to link its activity models with formal process models in LOTOS. The benefits and limitations of this work are discussed and proposals for an improved, tighter integration outlined.