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.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
- Published Version
Download (179Kb) |
Description/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.
| 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 and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 266827 |
| Date Deposited: | 24 Oct 2008 00:23 |
| Last Modified: | 02 Mar 2012 13:21 |
| Contributors: | Poppleton, M. (Author) Fischer, B. (Author) Franklin, C. (Author) Gondal, A. (Author) Snook, C. (Author) Sorge, J. (Author) |
| Date: | October 2008 |
| Additional Information: | Event Dates: October 23, 2008 |
| Status: | Published |
| Publisher: | Department of Informatics and Mathematics University of Passau, Germany |
| Contact Email Address: | mrp@ecs.soton.ac.uk |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/266827 |
Actions (login required)
 |
View Item |
