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 - Published Version
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
Date Deposited: 24 Oct 2008 00:23
Last Modified: 27 Mar 2014 20:12
Publisher: Department of Informatics and Mathematics University of Passau, Germany
Contact Email Address:
Further Information:Google Scholar

Actions (login required)

View Item View Item