Formal semantics and verification for feature modeling

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2005, Pages 303-312

  Sun, Jing ^a   Zhang, Hongyu ^b   Li, Yuan Fang ^c   Wang, Hai ^d  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

^b RMIT UNIVERSITY   (Australia)

^c NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^d UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Alloy; Domain Engineering; Feature Modeling; Feature Oriented Domain Analysis; Formal Verification; Z EVES

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; FEATURE EXTRACTION; FORMAL LOGIC; MATHEMATICAL MODELS; SEMANTICS;

ALLOY; COMPLEX SOFTWARE SYSTEMS; DOMAIN ENGINEERING; FEATURE MODELING; FEATURE ORIENTED DOMAIN ANALYSIS; FORMAL SEMANTICS; FORMAL VERIFICATION; Z/EVES;

FORMAL LANGUAGES;

EID: 27144471863     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. K. Czarnecki and U. Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, MA., 2000.
2. M. Griss, J. Favaro, and M. d'Alessandro. Integrating feature modeling with the RSEB. In The Fifth International Conference on Software Reuse, pages 76-85, Vancouver, BC, Canada, 1998.
3. D. Jackson. Micromodels of software: Lightweight modelling and analysis with Alloy. Website, 2002. http://alloy.mit.edu/reference-manual.pdf.
4. D. Jackson, I. Schechter, and I. Shlyakhter. Alcoa: the Alloy Constraint Analyzer. In 22nd International Conference on Software Engineering, pages 730-733, Limerick, Ireland, 2000. ACM Press.
5. K. C. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson. Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90TR-21, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, November 1990.
6. K. C. Kang, S. Kim, J. Lee, K. Kim, E. Shin, and M. Huh. FORM: A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures. Annals of Software Engineering, 5:143-168, 1998.
7. K. C. Kang, J. Lee, and P. Donohoe. Feature-Oriented Product Line Engineering. IEEE Software, 9:58-65, 2002.
8. D. L. Parnas. On the Criteria to be Used in Decomposing Systems into Modules. Communications of the ACM, 15:1053-1058, December 1972.
9. M. Saaltink. The Z/EVES system. In J. P. Bowen, M. G. Hinchey, and D. Till, editors, ZUM'97: Z Formal Specification Notation, volume 1212 of Lecture Notes in Computer Science, pages 72-85. Springer-Verlag, 1997.
10. M. Saaltink. The Z/EVES 2.0 User's Guide. Technical Report TR-99-5493-06a, ORA Canada, One Nicholas Street, Suite 1208 - Ottawa, Ontario K1N 7B7 - CANADA, Oct. 1999.
11. M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.
12. M. Simos and et al. Software technology for adaptable reliable system (STARS) organization domain modeling (ODM) guidebook version 2.0. Technical Report STARS-VC-A025/001/00, Lockheed Martin Tactical Defense Systems, Manassas, VA, 1996.
13. C. Turner, A. Fuggetta, L. Lavazza, and A. Wolf. A Conceptual Basis for Feature Engineering. Journal of Systems and Software, 49:3-15, 1999.
14. D. Weiss and C. T. R. Lai. Software Product-Line Engineering: A Family-Based Software Development Process. Addison-Wesley, 1999.
15. J. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. International Series in Computer Science. Prentice-Hall, 1996.