creators_name: Ponsard, Christophe
creators_name: Devroey, Xavier
creators_id: christophe.ponsard@cetic.be
type: conference_item
datestamp: 2011-08-16 09:03:54
lastmod: 2011-08-16 09:03:54
metadata_visibility: show
title: Generating High-Level Event-B System Models from KAOS Requirements Models
ispublished: pub
subjects: deploy_method_reqevo
subjects: deploy_tooldev_modelc
full_text_status: public
pres_type: paper
abstract: Model-driven engineering (MDE) generally starts from system design model. In this
paper, we show how MDE can be extended to the requirements level expressed in requirements
models (in KAOS) and be linked with a formal design language (in Event-B). The central idea
is to map Goal-Oriented agents to a hierarchy of Event-B machines. A design process is proposed
to decompose a system level agent/machine into finer grained agent/machines based on
their ability to control specific piece of information. The approach is semi-automated and tool
supported by an Eclipse plug-in connecting the KAOS/Objectiver tool and the Event-B/Rodin
tools. The benefits and limits of the approach on the resulting model quality are highlighted on
a non-trivial example. Alternative approaches developed by others are also discussed.
date: 2011-05-26
date_type: published
event_title: InforSID 2011
event_location: Lille (France)
event_dates: 24-26 May 2011
event_type: conference
refereed: TRUE
official_url: http://www-lisic.univ-littoral.fr/inforsid2011/
citation:   Ponsard, Christophe and Devroey, Xavier  (2011) Generating High-Level Event-B System Models from KAOS Requirements Models.  In: InforSID 2011, 24-26 May 2011, Lille (France).     
document_url: http://deploy-eprints.ecs.soton.ac.uk/321/1/cetic-inforsid-v6.pdf