Abstract
A proposal is made for the development of a feature-oriented reuse capability for safety-critical software construction using rigorous methods. We précis the Event-B language - the evolution of the B-Method of J.-R. Abrial [1] - a leading formal method for safety-critical software development. Current and new infrastructure for scalable development with Event-B is outlined, and contrasted with support required for feature-oriented development. The proposal is illustrated by a small example of feature-oriented construction and refinement with Event-B.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
Abrial, J.-R., Clear, Sy.: Atelier-B (1998), http://www.atelierb.societe.com/index_uk.htm
Abrial, J.-R., Hallerstede, S.: Refinement, decomposition and instantiation of discrete models: Application to Event-B. Fundamenta Informaticae, pp. 1001–1026 (2006) (in press)
Amyot, D., Logrippo, L. (eds.): Proceedings FIW ’03, Seventh International Workshop on Feature Interactions in Telecommunication and Software Systems, Ottawa, Canada. IOS Press, Amsterdam (2003)
Antkiewicz, M., Czarnecki, K.: FeaturePlugin: feature modeling plug-in for Eclipse. In: Eclipse ’04: Proceedings of the 2004 OOPSLA workshop on Eclipse technology eXchange, pp. 67–72. ACM Press, New York, NY, USA (2004)
Back, R.J.R.: A calculus of refinements for program derivations. Acta Informatica 25, 593–624 (1988)
Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, Springer, Heidelberg (2005)
Butler, M., Leuschel, M.: Combining csp and b for specification and property verification. In: Fitzgerald, J.A., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 221–236. Springer, Heidelberg (2005)
Cansell, D., Abrial, J.-R., et al.: B4free. A set of tools for B development (2004), from http://www.b4free.com
Coplien, J., Hoffman, D., Weiss, D.: Commonality and variability in software engineering. IEEE Software, pp. 37–45 (November/December 1998)
Czarnecki, K., Antkiewicz, A.: Mapping features to models: A template approach based on superimposed variants. In: Glück, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676, pp. 422–437. Springer, Heidelberg (2005)
Gilmore, S., Ryan, M.: Language Constructs for Describing Features: Proceedings of the FIREworks Workshop. Proceedings of the FIREworks Workshop. Springer, Heidelberg (2001)
He, J., Hoare, C.A.R., Sanders, J.W.: Data refinement refined. In: Robinet, B., Wilhelm, R. (eds.) ESOP86: European Symposium on Programming. LNCS, vol. 213, Springer, Heidelberg (1986)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International (1985)
Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-021, Software Engineering Institute, Carnegie-Mellon University (November 1990)
Lee, K., Kang, K.: Feature dependency analysis for product line component design. In: ICSR, pp. 69–85 (2004)
Leuschel, M., Butler, M.: ProB: An automated analysis toolset for the B method. Technical report, Electronics and Computer Science, University of Southampton (2006)
Lutz, R., Gannod, G.: Analysis of a software product line architecture: an experience report. Journal of Systems and Software 66, 253–267 (2003)
Macala, R., Stuckey, Jr. L., Gross, D.: Managing domain-specific, product-line development. IEEE Software, pp. 57–67 (May 1996)
Métayer, C., Abrial, J.-R., Voisin, L.: Event-B Language. Technical Report Deliverable 3.2, EU Project IST-511599 - RODIN (May 2005), http://rodin.cs.ncl.ac.uk
Reiff-Marganiec, S., Ryan, M.D. (eds.): Proceedings ICFI 2005: Feature Interactions in Telecommunications and Software Systems VIII, Leicester. IOS Press, Amsterdam (2005)
Snook, C., Poppleton, M., Johnson, I.: The engineering of generic requirements for failure management. In: Kamsties, E., Gervasi, V., Sawyer, P.(eds.) Proc. Eleventh International Workshop on Requirements Engineering: Foundation for Software Quality, pp. 145–160, Oporto, March 2005, Essener Informatik Beitraege (2005)
van Lamsweerde, A.: Goal-oriented requirements engineering: A guided tour. In: Proc. RE’01 - International Joint Conference on Requirements Engineering, pp. 249–263, Toronto, August 2001, IEEE (2001)
Zhang, W., Zhao, H., Mei, H.: A propositional logic-based method for verification of feature models. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 115–130. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Poppleton, M.R. (2007). Towards Feature-Oriented Specification and Development with Event-B. In: Sawyer, P., Paech, B., Heymans, P. (eds) Requirements Engineering: Foundation for Software Quality. REFSQ 2007. Lecture Notes in Computer Science, vol 4542. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73031-6_28
Download citation
DOI: https://doi.org/10.1007/978-3-540-73031-6_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73030-9
Online ISBN: 978-3-540-73031-6
eBook Packages: Computer ScienceComputer Science (R0)