Changes between Version 54 and Version 55 of WikiStart

Show
Ignore:
Timestamp:
11/03/11 16:14:06 (6 years ago)
Author:
acher
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v54 v55  
    1717Have a look at the [wiki:screencasts screencasts] that demonstrate FAMILIAR in the Eclipse/FeatureIDE environment. 
    1818 
    19 '''NEWS:''' FAMILIAR will be in Belgium for [http://info.fundp.ac.be/~gsa/vamos2011/ VaMoS 2011] (tool demonstration) and in Taiwan for [http://www.acm.org/conferences/sac/sac2011/ SAC 2011] (formal presentation). 
     19'''NEWS:''' FAMILIAR will be at [http://www.continuinged.ku.edu/programs/ase/ ASE'11] conference for a tool demonstration and short paper presentation. New operators and applications will be presented.  
     20 
     21FAMILIAR has been presented in Belgium for [http://info.fundp.ac.be/~gsa/vamos2011/ VaMoS 2011] (tool demonstration) and in Taiwan for [http://www.acm.org/conferences/sac/sac2011/ SAC 2011] (formal presentation). 
    2022 
    2123FAMILIAR is under constant development and the current website is regularly updated. 
     
    5355== Publications == 
    5456 
     57[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]. '''Decomposing Feature Models: Language, Environment, and Applications.'''  
     58 
     59In ''26th Automated Software Engineering (ASE)'', demonstration paper, Kansas (USA), November 2011. [[http://www.i3s.unice.fr/~acher/acher_bib.html#acher-collet-etal:2011h bib]]   
     60 
     61  Variability in software product lines is often expressed through feature models (FMs). To handle the complexity of increasingly larger FMs, we propose semantically meaningful decomposition support through a slicing operator. We describe how the slicing operator is integrated into the FAMILIAR environment and how it can be combined with other operators to support complex tasks over FMs in different case studies.   
     62 
     63[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]. '''Slicing Feature Models.'''  
     64 
     65In ''26th Automated Software Engineering (ASE)'', AR=22%, short paper, Kansas (USA), November 2011. [[http://www.i3s.unice.fr/~acher/acher_bib.html#acher-collet-etal:2011e bib]]   
     66 
     67  Feature models (FMs) are a popular formalism for describing the commonality and variability of software product lines (SPLs) in terms of features. As SPL development increasingly involves numerous large FMs, scalable modular techniques are required to manage their complexity. In this paper, we present a novel slicing technique that produces a projection of an FM, including constraints. The slicing allows SPL practitioners to find semantically meaningful decompositions of FMs and has been integrated into the FAMILIAR language.  
     68 
    5569[http://www.i3s.unice.fr/~acher Mathieu Acher], [http://www.fundp.ac.be/universite/personnes/page_view/01005760/ Anthony Cleve], [http://www.i3s.unice.fr/~collet Philippe Collet], [http://www.lifl.fr/~merle Philippe Merle], [http://www.lifl.fr/~duchien/Laurence/index.html Laurence Duchien] and [http://www.i3s.unice.fr/~lahire Philippe Lahire]. '''Reverse Engineering Architectural Feature Models''' 
    5670 
    57 In ''5th European Conference on Software Architecture (ECSA)'', AR=25%, long paper, page 16, Essen (Germany), September 2011. [[http://www.i3s.unice.fr/~acher/acher_bib.html#acher-cleve-etal:2011 bib]] (to appear)  
     71In ''5th European Conference on Software Architecture (ECSA)'', AR=25%, long paper, page 16, Essen (Germany), September 2011. [[http://www.i3s.unice.fr/~acher/acher_bib.html#acher-cleve-etal:2011 bib]]  
     72 
    5873 
    5974  Reverse engineering the variability of an existing system is a challenging activity. The architect knowledge is essential to identify variation points and explicit constraints between features, for instance in feature models (FMs), but the manual creation of FMs is both time-consuming and error-prone. On a large scale, it is very difficult for an architect to guarantee that the resulting FM ensures a safe composition of the architectural elements when some features are selected. In this paper, we present a comprehensive, tool supported process for reverse engineering architectural FMs. We develop automated techniques to extract and combine different variability descriptions of an architecture. Then, alignment and reasoning techniques are applied to integrate the architect knowledge and reinforce the extracted FM. We illustrate the reverse engineering process when applied to a representative software system, FraSCAti, and we report on our experience in this context.