Changes between Version 49 and Version 50 of WikiStart

Show
Ignore:
Timestamp:
02/01/11 20:09:50 (7 years ago)
Author:
acher
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v49 v50  
    5555[http://www.i3s.unice.fr/%7Eacher Mathieu Acher], [http://www.i3s.unice.fr/%7Ecollet Philippe Collet], [http://www.i3s.unice.fr/%7Elahire Philippe Lahire], [http://www-sop.inria.fr/pulsar/personnel/Sabine.Moisan/ Sabine Moisan], and [http://users.polytech.unice.fr/~jpr Jean-Paul Rigault]. '''Modeling Variability from Requirements to Runtime'''  
    5656 
    57 In ''Proceedings of 16th International Conference on Engineering of Complex Computer Systems (ICECCS) AR=31%'', IEEE Computer Society, April 2011. [[http://www.i3s.unice.fr/~acher/acher_bib.html#acher-collet-etal:2011b bib]] 
     57In ''Proceedings of 16th International Conference on Engineering of Complex Computer Systems (ICECCS)'' AR=31%, IEEE Computer Society, April 2011. [[http://www.i3s.unice.fr/~acher/acher_bib.html#acher-collet-etal:2011b bib]] 
    5858 
    5959  In software product line (SPL) engineering, a software configuration can be obtained through a valid selection of features represented in a feature model (FM). With a strong separation between requirements and reusable components and a deep impact of high level choices on technical parts, determining and configuring an well-adapted software configuration is a long, cumbersome and error-prone activity. This paper presents a modeling process in which variability sources are separated in different FMs and inter-related by propositional constraints while consistency checking and propagation of variability choices are automated. We show how the variability requirements can be expressed and then refined at design time so that the set of valid software configurations to be considered at runtime may be highly reduced. Software tools support the approach and some experimentations on a video surveillance SPL are also reported. 
     
    6161[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 Feature Models with FAMILIAR: a Demonstration of the Language and its Tool Support.'''  
    6262 
    63 In ''Fifth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS) AR=55%'', ACM, Belgium, 27-29 january 2011 [[http://www.i3s.unice.fr/%7Eacher/acher_bib.html#acher-collet-etal:2011a bib]] 
     63In ''Fifth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS)'' AR=55%, ACM, Belgium, 27-29 january 2011 [[http://www.i3s.unice.fr/%7Eacher/acher_bib.html#acher-collet-etal:2011a bib]] 
    6464 
    6565    Developing software product lines involves modeling a large number of features, usually using feature models, that represent different viewpoints, sub-systems or concerns of the software system. To manage complexity on a large scale, there is a need to separate, relate and compose several feature models while automating the reasoning on their compositions. This demonstration gives an overview of a Domain-Specific Language, FAMILIAR, that is dedicated to the management of feature models. Its comprehensive programming environment, based on Eclipse, is also described. It complements existing tool support (i.e., FeatureIDE).  
     
    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]] 
    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.