Basic behavioral models for software product lines: Revisited

In Beohar et al. (2016) [9], we established an expressiveness hierarchy and studied the notions of refinement and testing for three fundamental behavioral models for software product lines. These m ...

[1]  Kim G. Larsen,et al.  A modal process logic , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[2]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[3]  Harald Fecher,et al.  Comparing disjunctive modal transition systems with an one-selecting variant , 2008, J. Log. Algebraic Methods Program..

[4]  Malte Lochau,et al.  Incremental model checking of delta-oriented software product lines , 2016, J. Log. Algebraic Methods Program..

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

[6]  Kim G. Larsen,et al.  Parametric Modal Transition Systems , 2011, ATVA.

[7]  Maurice H. ter Beek,et al.  Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints , 2016, J. Log. Algebraic Methods Program..

[8]  Pierre-Yves Schobbens,et al.  Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking , 2013, IEEE Transactions on Software Engineering.

[9]  Martin Leucker,et al.  Modeling and Model Checking Software Product Lines , 2008, FMOODS.

[10]  Sergio Segura,et al.  Automated analysis of feature models 20 years later: A literature review , 2010, Inf. Syst..

[11]  Kim G. Larsen,et al.  Equation solving using modal transition systems , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[12]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

[13]  Mirco Tribastone,et al.  Behavioral relations in a process algebra for variants , 2014, SPLC.

[14]  Mahsa Varshosaz,et al.  Basic behavioral models for software product lines: Expressiveness and testing pre-orders , 2016, Sci. Comput. Program..