---
abstract: "Model-driven engineering (MDE) generally starts from system design model. In this\r\npaper, we show how MDE can be extended to the requirements level expressed in requirements\r\nmodels (in KAOS) and be linked with a formal design language (in Event-B). The central idea\r\nis to map Goal-Oriented agents to a hierarchy of Event-B machines. A design process is proposed\r\nto decompose a system level agent/machine into finer grained agent/machines based on\r\ntheir ability to control specific piece of information. The approach is semi-automated and tool\r\nsupported by an Eclipse plug-in connecting the KAOS/Objectiver tool and the Event-B/Rodin\r\ntools. The benefits and limits of the approach on the resulting model quality are highlighted on\r\na non-trivial example. Alternative approaches developed by others are also discussed."
accompaniment: []
book_title: ~
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators: []
creators_id:
  - christophe.ponsard@cetic.be
  - ~
creators_name:
  - family: Ponsard
    given: Christophe
    honourific: ''
    lineage: ''
  - family: Devroey
    given: Xavier
    honourific: ''
    lineage: ''
data_type: ~
date: 2011-05-26
date_type: published
datestamp: 2011-08-16 09:03:54
department: ~
dir: disk0/00/00/03/21
divisions: []
edit_lock_since: ~
edit_lock_until: 0
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 321
event_dates: 24-26 May 2011
event_location: Lille (France)
event_title: InforSID 2011
event_type: conference
exhibitors_id: []
exhibitors_name: []
fileinfo: /style/images/fileicons/application_pdf.png;/321/1/cetic%2Dinforsid%2Dv6.pdf
full_text_status: public
funders: []
id_number: ~
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: ~
lastmod: 2011-08-16 09:03:54
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: ~
note: ~
num_pieces: ~
number: ~
official_url: http://www-lisic.univ-littoral.fr/inforsid2011/
output_media: ~
pagerange: ~
pages: ~
patent_applicant: ~
pedagogic_type: ~
place_of_pub: ~
pres_type: paper
producers_id: []
producers_name: []
projects: []
publication: ~
publisher: ~
refereed: TRUE
referencetext: ~
related_url_type: []
related_url_url: []
relation_type: []
relation_uri: []
rev_number: 21
series: ~
skill_areas: []
source: ~
status_changed: 2011-08-16 09:03:54
subjects:
  - deploy_method_reqevo
  - deploy_tooldev_modelc
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: Generating High-Level Event-B System Models from KAOS Requirements Models
type: conference_item
userid: 34
volume: ~
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>