ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Suggest an Enhancement
Contact ePubs
Full Record Details
Persistent URL
http://purl.org/net/epubs/work/49757
Record Status
Checked
Record Id
49757
Title
From Goal-Oriented Requirements to Event-B Specifications
Contributors
B Aziz (STFC)
,
AE Arenas (STFC)
,
J Bicarregui (STFC)
,
C Ponsard (CETIC)
,
P Massonet (CETIC)
Abstract
In goal-oriented requirements engineering methodologies, goals are structured into refinement trees from high-level system-wide goals down to fine-grained requirements assigned to specific software/hardware/human agents that can realise them. Functional goals assigned to software agents need to be operationalised into specification of services that the agent should provide to realise those requirements. In this paper, we propose an approach for operationalising requirements into specifications expressed in the Event-B formalism. Our approach has the benefit of aiding software designers by bridging the gap between declarative requirements and operational system specifications in a rigorous manner, enabling powerful correctness proofs and allowing further refinements down to the implementation level. Our solution is based on verifying that a consistent Event-B machine exhibits properties corresponding to requirements.
Organisation
ESC
,
ESC-IM
,
STFC
Keywords
Requirements Engineering
,
Engineering
,
Event-B
,
Formal Specifications
Funding Information
Related Research Object(s):
Licence Information:
Language
English (EN)
Type
Details
URI(s)
Local file(s)
Year
Paper In Conference Proceedings
In NASA Formal Methods Symposium 2009 (NFM 2009), California, USA, 6-8 Apr 2009, (2009).
GR2B-NFM2009.pdf
2009
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Journal Checker Tool
Google Scholar