1 / 14

Constructing FODA Feature Diagrams with a GUI-based Tool

Talk Summary. BackgroundsSome Relationship between Features and AOSD/AORE (?)Feature DiagramsRepresentation of Commonality / Variability in SPLEFODA

avi
Download Presentation

Constructing FODA Feature Diagrams with a GUI-based Tool

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


    1. Constructing FODA Feature Diagrams with a GUI-based Tool Shin NAKAJIMA National Institute of Informatics Tokyo, Japan

    2. Talk Summary Backgrounds Some Relationship between Features and AOSD/AORE (?) Feature Diagrams Representation of Commonality / Variability in SPLE FODA … K. Kang (Postech) in 1990 This Work GUI-based Tool for Constructing Feature Diagrams (a) Supporting Construction (b) Consistency Checking Tool Architecture GUI based on iDot … fancy functions for free!! Automatic Analysis with Alloy

    3. Feature Diagram and Configuration

    4. FD Checker ? Supporting the Construction ? GUI Editor ? Consistency Checking

    5. Tool Architecture

    6. Semantics of Feature Diagram A Feature Diagram A Product Family = Many Configurations Configuration = A Set of Chosen Features (our) Semantics of Feature Diagram A Set of Possible Configurations Approach Chosen Feature ? True Atomic Proposition Feature Diagram ? Collection of Logic Formulae Collections ? Model

    7. Analysis of Feature Diagram Consistency Checking At Least One Configuration exists Validity Checking against Requirements Configuration exists to contain Given Feature Product Line Generation Obtaining all possible Configurations

    8. Six Primitive Types

    9. Two Composition Rules

    10. A Simple Example

    11. Automatic Analysis with Alloy

    12. Alloy Output

    13. Conclusions Feature Diagram of FODA Diagram and Method for Software Product Line Engineering Focus on Formal Analysis for Consistency / Validity Checking FD Checker GUI-based Tool for Constructing Feature Diagrams (a) GUI-based Drawing … iDot (b) Consistency Checking … Alloy Use of Alloy Not Tightly Integrated Issue or Not Future Plan Semi-automatic Debugging of Inconsistent Feature Diagrams

    14. Related Work K.Kang, S.Cohen, J. Hess, W. Nowak, and S. Peterson : Feature-Oriented Domain Analysis Feasibility Study, CMU/SEI-90-TR-21 (1990) K.Lee, K.Kang and J. Lee : Concepts and Guidelines of Feature Modeling for Product Line Software Engineering, Proc. 7th ICSR, pp. 62—77 (2002) J. Sun, H. Zhang, Y.Li, and H.Wang : Formal Semantics and Verification for Feature Modeling, R. Gheyi, T. Massoni, and P. Borba : A Theory of Feature Models in Alloy, Proc. 1st Alloy Workshop at FSE 2006 (2006) K. Kim, H. Kim, M, Ahn, M. Seo, Y. Chang, and K.C. Kang. ASADAL: A Tool System for Co-Development of Software and Test Environment based on Product Line Engineering. In Proc. ICSE’06, pages 783–786 (2006)

More Related