Towards Reuse with "Feature-Oriented Event-B"
Towards Reuse with "Feature-Oriented Event-B"
Event-B [MAV:05] is a language for the formal specification and verification of reactive systems. The language and its RODIN toolkit represent a leading model-based technology for formal software construction. However, scalability is a major current concern, especially the dimension of reusability. We outline a proposed infrastructure for scalable development with reuse for Event-B. We focus specifically on our agenda for reuse in Software Product Lines, and explain how a form of feature modelling will be central to this programme.
feature, formal, modelling, product-line, refinement
1-6
Poppleton, M.
4c60e63f-188c-4636-98b9-de8a42789b1b
Fischer, B.
c273ad2b-a571-43ad-93fa-9d6d0c2b4947
Franklin, C.
297cc2c4-4b1e-4b92-8146-72f9a3a00eb8
Gondal, A.
eee9e58b-b091-4c84-a179-3ca5b98daddd
Snook, C.
b2055316-9f7a-4b31-8aa1-be0710046af2
Sorge, J.
af306246-519c-4d8f-8365-6965ee4d6f96
October 2008
Poppleton, M.
4c60e63f-188c-4636-98b9-de8a42789b1b
Fischer, B.
c273ad2b-a571-43ad-93fa-9d6d0c2b4947
Franklin, C.
297cc2c4-4b1e-4b92-8146-72f9a3a00eb8
Gondal, A.
eee9e58b-b091-4c84-a179-3ca5b98daddd
Snook, C.
b2055316-9f7a-4b31-8aa1-be0710046af2
Sorge, J.
af306246-519c-4d8f-8365-6965ee4d6f96
Poppleton, M., Fischer, B., Franklin, C., Gondal, A., Snook, C. and Sorge, J.
(2008)
Towards Reuse with "Feature-Oriented Event-B".
McGPLE: Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering, Nashville, TN.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
Event-B [MAV:05] is a language for the formal specification and verification of reactive systems. The language and its RODIN toolkit represent a leading model-based technology for formal software construction. However, scalability is a major current concern, especially the dimension of reusability. We outline a proposed infrastructure for scalable development with reuse for Event-B. We focus specifically on our agenda for reuse in Software Product Lines, and explain how a form of feature modelling will be central to this programme.
Text
poppletonMcGPLE.pdf
- Version of Record
More information
Published date: October 2008
Additional Information:
Event Dates: October 23, 2008
Venue - Dates:
McGPLE: Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering, Nashville, TN, 2008-10-23
Keywords:
feature, formal, modelling, product-line, refinement
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 266827
URI: http://eprints.soton.ac.uk/id/eprint/266827
PURE UUID: a4023674-d9f4-467a-985c-b08b37f43f51
Catalogue record
Date deposited: 24 Oct 2008 00:23
Last modified: 15 Mar 2024 03:12
Export record
Contributors
Author:
M. Poppleton
Author:
B. Fischer
Author:
C. Franklin
Author:
A. Gondal
Author:
C. Snook
Author:
J. Sorge
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics