Towards Reuse with ``Feature-Oriented Event-B''

Poppleton, M., Fischer, B., Franklin, C., Gondal, A., Snook, C. and Sorge, J. (2008) Towards Reuse with ``Feature-Oriented Event-B''. In, McGPLE: Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering, Nashville, TN, Department of Informatics and Mathematics University of Passau, Germany, 1-6.


[img] PDF - Version of Record
Download (179Kb)


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.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: October 23, 2008
Keywords: feature, formal, modelling, product-line, refinement
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 266827
Accepted Date and Publication Date:
October 2008Published
Date Deposited: 24 Oct 2008 00:23
Last Modified: 31 Mar 2016 14:13
Further Information:Google Scholar

Actions (login required)

View Item View Item

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