An Approach of Requirements Tracing in Formal Refinement

12 years 1 months ago
An Approach of Requirements Tracing in Formal Refinement
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing systems can be addressed by formal refinement introducing all the necessary details piecemeal. We report on preliminary results that we have obtained for tracing informal natural-language requirements into formal models across refinement levels. The approach uses the WRSPM reference model for requirements modeling, and Event-B for formal modeling and formal refinement. The combined use of WRSPM and Event-B is facilitated by the rudimentary refinement notion of WRSPM, which provides the foundation for tracing requirements to formal refinements. We assume that requirements are evolving, meaning that we have to cope with frequent changes of the requirements model and the formal model. Our approach is capable of dealing with frequent changes, making use of corresponding techniques already built into the Event-B me...
Michael Jastram, Stefan Hallerstede, Michael Leusc
Added 15 Feb 2011
Updated 15 Feb 2011
Type Journal
Year 2010
Authors Michael Jastram, Stefan Hallerstede, Michael Leuschel, Aryldo G. Russo
Comments (0)