论文信息 - FireWorks: A Formal Transformation-Based Model-Driven Approach to Features in Product Lines

FireWorks: A Formal Transformation-Based Model-Driven Approach to Features in Product Lines

We summarise here the FireWorks approach to features. This approach is wellsuited to a product line evolving unpredictably due to intense market pressure. Since it is formal, it can propose automated tools based on model-checking that help the product line manager to detect and correct or avoid feature interference.

Pierre-Yves Schobbens | Mark Ryan

[1] Joseph A. Goguen,et al. Introducing Institutions , 1983, Logic of Programs.

[2] Mark Ryan,et al. Feature integration using a feature construct , 2001, Sci. Comput. Program..

[3] Joseph A. Goguen,et al. Institutions: abstract model theory for specification and programming , 1992, JACM.

[4] Pierre-Yves Schobbens,et al. Automated Verification of Features with Situation Calculus , 2004 .

[5] Pierre-Yves Schobbens,et al. Proving feature non-interaction with Alternating-Time Temporal Logic , 2000, FIREworks.

[6] Pierre-Yves Schobbens,et al. Synthesis of open reactive systems from scenario-based specifications , 2003, Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..

[7] Kyo Chul Kang,et al. Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[8] Pierre-Yves Schobbens,et al. Feature Integration as Substitution , 2003, FIW.

[9] Frank Budinsky,et al. Eclipse Modeling Framework , 2003 .

[10] Pierre-Yves Schobbens,et al. Agents and Roles: Refinement in Alternating-Time Temporal Logic , 2001, ATAL.