Formal modeling for product families engineering

Proceedings - 12th International Software Product Line Conference, SPLC 2008

Volumn , Issue , 2008, Pages 193-202

  Fantechi, A ^a   Gnesi, S ^b  

^a UNIVERSITY OF FLORENCE   (Italy)

^b ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIOURAL MODELS; DERIVED PRODUCTS; LABELED TRANSITION SYSTEMS; MODAL TRANSITION SYSTEMS; MODELING; PRODUCT FAMILIES;

TEMPORAL LOGIC;

EID: 55049129170     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SPLC.2008.45     Document Type: Conference Paper

References (27)

1. J. Bayer, S. Gerard, O. Haugen, J. Mansell, B. Moller- Pedersen, J. Oldevik, P. Tessier, J.P. Thibault, T. Widen, Consolidated Product Line Variability Modeling. Chapter 6 of [15].
2. D. S. Batory, Feature Models, Grammars, and Propositional Formulas. SPLC 2005, Rennes, France, September 26-29, 2005. LNCS 3714.
3. M. H. ter Beek, A. Fantechi, S. Gnesi, and F. Mazzanti, An action/state-based model-checking approach for the analysis of communication protocols for Service-Oriented Applications, FMICS 2007, Berlin, July 2007. LNCS 4916.
4. A. Bertolino, A. Fantechi, S. Gnesi, G. Lami, A. Maccari, Use Case Description of Requirements for Product Lines, REPL'02, Essen, Germany, Sept. 2002.
5. A. Bertolino, A. Fantechi, S. Gnesi, G. Lami, Product Line Use Cases, Chapter 11 of [15].
6. E. Clarke, O. Grumberg, and D. Peled, Model Checking. MIT PRESS, 1999.
7. P. C. Clements and L. Northrop, Software Product Lines: Practices and Patterns. SEI Series in Software Engineering. Addison-Wesley, August 2001.
8. K. Czarnecki, K., U.W. Eisenecker. Generative Programming: Methods, Tools, and Applications, Addison- Wesley, Boston, MA, 2000.
9. R. De Nicola, F. W. Vaandrager, Action versus State based Logics for Transition Systems. Proceedings Ecole de Printemps on Semantics of Concurrency. LNCS 469, pp. 407-419, 1990.
10. E. A. Emerson, J. Halpern, "Sometime" and "Not never" revisited: On branching versus linear time temporal logic. JACM 33:151-178, 1986.
11. A. Fantechi, S. Gnesi, A behavioural model for product families. In Proceedings ESEC/FSE 2007, pp. 525-528, ACM, 2007.
12. D. Fischbein, S. Uchitel, Sebastian, V. Braberman, A Foundation for Behavioural Conformance in Software Product Line Architectures, 2nd ROSATEA Workshop, Portland, Maine, 2006
13. G. Halmans, K. Pohl, Communicating the Variability of a Software-Product Family to Customers, Journal of Software and Systems Modeling, Springer, 2003
14. M. Jazayeri, A. Ran, F. van der Linden, Software Architecture for Product Families: Principles and Practice, Addison-Wesley, London, 1998.
15. T. Kakola, J.C., Duenas (Ed.), Software Product Lines: Research Issues in Engineering and Management, Springer-Verlag, ISBN: 3540332529, Oct. 2006.
16. K. Kang, S. Choen, J. Hess, W Novak, S. Peterson. Feature Oriented Domain Analysis (FODA) Feasibility Study. Technical report CMU/SEI-90-TR-21, Carnegie Mellon University, Nov. 1990.
17. K.G. Larsen, U. Nyman, A. Wasowski. Modal I/O Automata for Interface and Product Line Theories. ESOP'07, LNCS 4421, Springer, 2007.
18. K. Larsen and B. Thomsen, A Modal Process Logic. In LICS88, IEEE CS, pp. 203-210.
19. K.G. Larsen, L. Xinxin, Equation solving using modal transition systems, LICS 1990, IEEE CS, pp. 108-117.
20. K. G. Larsen, U. Nyman, A. Wasowski, Modeling software product lines using color-blind transition systems. STTT 9(5-6): 471-487 (2007).
21. M. S. Lund, K. Stølen, A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice. FM'2006, LNCS 4085, 380-395.
22. M. Mannion, J. Camara, Theorem Proving for Product Line Model Verification, Fifth International Workshop on Product Family Engineering, PFE-5, Siena 4-6 November, 2003, LNCS 3014.
23. R. Milner. An Algebraic Definition of Simulation Between Programs. IJCAI 1971, London, UK, William Kaufmann, 1971.
24. H. Muccini, A. Bucchiarone, Formal Behavioral Specification of a Product Line Architecture, Dipartimento di Informatica, University of L'Aquila, TR 014/2004.
25. K. Pohl, G. Böckle, F. van der Linden, Software Product Line Engineering - Foundations, Principles, and Techniques, Springer, Heidelberg, July 2005.
26. H. Schmidt, H. Fecher, Comparing Disjunctive Modal Transition Systems with an One-Selecting Variant, NWPT'06, Reykjavik, Iceland, October 2006
27. T. Ziadi, J.M. Jezequel, Product Line Engineering with the UML: Deriving Products, Chapter 15 of [15].