Changes between Version 50 and Version 51 of WikiStart

Show
Ignore:
Timestamp:
02/26/11 11:43:40 (7 years ago)
Author:
acher
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v50 v51  
    6767[http://www.i3s.unice.fr/%7Eacher Mathieu Acher], [http://www.i3s.unice.fr/%7Ecollet Philippe Collet], [http://www.i3s.unice.fr/%7Elahire Philippe Lahire], and [http://www.cs.colostate.edu/%7Efrance Robert France]. '''A Domain-Specific Language for Managing Feature Models'''  
    6868 
    69 In ''26th Symposium on Applied Computing (SAC), Programming Languages Track'', AR=33%, ACM, Taiwan, 21-25 march 2011 [[http://www.i3s.unice.fr/%7Eacher/acher_bib.html#acher-collet-etal:2011 bib]] 
     69In ''26th Symposium on Applied Computing (SAC), Programming Languages Track'', AR=33%, ACM, Taiwan, 21-25 march 2011 [[http://www.i3s.unice.fr/%7Eacher/acher_bib.html#acher-collet-etal:2011 bib]] [[https://nyx.unice.fr/publis/acher-collet-etal:2011.pdf pdf]] 
    7070 
    7171    Feature models are a popular formalism for managing variability in software product lines (SPLs). In practice, developing an SPL can involve modeling a large number of features representing different viewpoints, sub-systems or concerns of the software system. To manage complexity, there is a need to separate, relate and compose several feature models while automating the reasoning on their compositions in order to enable rigorous SPL validation and configuration. In this paper, we propose a Domain-Specific Language (DSL) that is dedicated to the management of feature models and that complements existing tool support. Rationale for this language is discussed and its main constructs are presented through examples. We show how the DSL can be used to realize a non trivial scenario in which multiple SPLs are managed.  
     
    7979[http://www.i3s.unice.fr/%7Eacher Mathieu Acher], [http://www.i3s.unice.fr/%7Ecollet Philippe Collet], [http://www.i3s.unice.fr/%7Elahire Philippe Lahire], and [http://www.cs.colostate.edu/%7Efrance Robert France]. '''Managing Variability in Workflow with Feature Model Composition Operators'''  
    8080 
    81 In ''9th International Conference on Software Composition'' AR=28%, volume LNCS, page 16. Springer, June 2010. [[http://www.i3s.unice.fr/%7Eacher/acher_bib.html#acher-collet-etal:2010a bib]] 
     81In ''9th International Conference on Software Composition'' AR=28%, volume LNCS, page 16. Springer, June 2010. [[http://www.i3s.unice.fr/%7Eacher/acher_bib.html#acher-collet-etal:2010a bib]] [[http://hal.archives-ouvertes.fr/hal-00484152/en/ pdf]] 
    8282 
    8383  In grid-based scientific applications, building a workflow essentially involves composing parameterized services describing families of services and then configuring the resulting workflow product line. In domains (e.g., medical imaging) in which many different kinds of highly parameterized services exist, there is a strong need to manage variabilities so that scientists can more easily configure and compose services with consistency guarantees. In this paper, we propose an approach in which variable points in services are described with several separate feature models, so that families of workflow can be defined as compositions of feature models. A compositional technique then allows reasoning about the compatibility between connected services to ensure consistency of an entire workflow, while supporting automatic propagation of variability choices when configuring services. 
     
    8585[http://www.i3s.unice.fr/%7Eacher Mathieu Acher], [http://www.i3s.unice.fr/%7Ecollet Philippe Collet], [http://www.i3s.unice.fr/%7Elahire Philippe Lahire], and [http://www.cs.colostate.edu/%7Efrance Robert France]. '''Comparing Approaches to Implement Feature Model Composition'''  
    8686 
    87 In ''6th European Conference on Modelling Foundations and Applications (ECMFA)'' AR=31%, volume LNCS, page 16. Springer, June 2010. [[http://www.i3s.unice.fr/%7Eacher/acher_bib.html#acher-collet-etal:2010 bib]] 
     87In ''6th European Conference on Modelling Foundations and Applications (ECMFA)'' AR=31%, volume LNCS, page 16. Springer, June 2010. [[http://www.i3s.unice.fr/%7Eacher/acher_bib.html#acher-collet-etal:2010 bib]] [[http://hal.archives-ouvertes.fr/hal-00484232/en/ pdf]] 
    8888 
    8989  The use of Feature Models (FMs) to define the valid combinations of features in Software Product Lines (SPL) is becoming commonplace. To enhance the scalability of FMs, support for composing FMs describing different SPL aspects is needed. Some composition operators, with interesting property preservation capabilities, have already been defined but a comprehensive and efficient implementation is still to be proposed. In this paper, we systematically compare strengths and weaknesses of different implementation approaches. The study provides some evidence that using generic model composition frameworks are not helping much in the realization, whereas a specific solution is finally necessary and clearly stands out by its qualities.