creators_name: Jastram, Michael creators_name: Hallerstede, Stefan creators_name: Leuschel, Michael creators_name: Russo Jr, Aryldo G creators_id: michael@jastram.de creators_id: sth@ecs.soton.ac.uk creators_id: leuschel@cs.uni-duesseldorf.de creators_id: agrj@aes.com.br type: conference_item datestamp: 2010-07-08 09:48:34 lastmod: 2010-07-18 22:51:59 metadata_visibility: show title: An Approach of Requirements Tracing in Formal Refinement ispublished: inpress subjects: deploy_method_reqevo subjects: deploy_training_rodinplugins full_text_status: public pres_type: paper keywords: Requirements Traceability, WRSPM, Formal Modeling, Refinement, Event-B abstract: 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 method. date: 2010 date_type: published event_title: VSTTE’10 Verified Software: Theories, Tools and Experiments event_location: Edinburgh, UK event_dates: 16th-19th August 2010 event_type: conference refereed: TRUE citation: Jastram, Michael and Hallerstede, Stefan and Leuschel, Michael and Russo Jr, Aryldo G (2010) An Approach of Requirements Tracing in Formal Refinement. In: VSTTE’10 Verified Software: Theories, Tools and Experiments, 16th-19th August 2010, Edinburgh, UK. (In Press) document_url: http://deploy-eprints.ecs.soton.ac.uk/236/2/2010-03_Formal_Modelling_of_Requirements.pdf