sac a formal approach to reuse successful trac-v 1 2

8/8/2019 SAC a Formal Approach to Reuse Successful Trac-V 1 2

1/28

25th Symposium On Applied Computing

ACM SAC 2010

A Formal Approach to ReuseA Formal Approach to ReuseSuccessful Traceability Practices inSuccessful Traceability Practices in

SPL ProjectsSPL Projects

Angelina EspinozaAngelina Espinoza11,, GoetzGoetz BotterweckBotterweck22,, Juan GarbajosaJuan Garbajosa11

11 TechnicalTechnical UniversityUniversity of Madrid (UPM)of Madrid (UPM) -- SystemsSystems and Software Technologiesand Software TechnologiesGroupGroup

22 LeroLero,, TheThe IrishIrish SoftwareSoftware EngineeringEngineering ResearchResearch Centre,Centre, UniversityUniversity of Limerickof Limerick

22 - 26 March, Sierre, Switzerland


2/28

22

Index

1. Introduction

2. Modeling Elements

3. Core Items of the SPL Traceability

Metamodel4. Modeling a particular traceability

practice in feature modeling

5. SPL TmM Usage Example

6. Conclusions and on-going/future work


3/28


4/28

44

Presentation Overview

To present modeling principles as the

backbone to formalize traceability practices in

Software Product Lines (SPL) Engineering.

To show how the traceability knowledge canbe recorded and systematicallyreused in

future SPL projects.


5/28

5

Introduction - Traceability: anEvolving Definition

Traceability

It is the ability to describe and follow the life of a

requirement, in both a forward and backward

direction []Gotel and Finkelstein, 1994

Ability to describe and follow the life of a software

artifact throughout the whole software development

process, and a means for modeling the relationsbetween software artifacts in an explicit way

Lago, Muccini, and Van Vliet, 2009


6/28

6

Motivation - Known problems

Traceability started from

scratch in each project.

No documentation and

guidelines tokeep the

succesful experience inprevious projects.

Current approaches

cannot be systematically

adapted to specificproject features.

Each project has different

features [Cockburn, 2000]

Main problems

presented when

traceability is carry

out in SPL

developments


7/28

77

Main Objective

Research Objective: To define a formal traceability

approach which addresses the previous detected

problems.

A metamodel is a widely used

approach to cope the

customization approach for

development methodologies

(Henderson-Sellers et al.,2005)

First step, to select

the right modeling

principles


8/28

88

Index

2. Modeling Elements


9/28

99

Modeling Principles for Defining aTraceabilityMetamodel

1. Three-layer modeling hierarchy for traceability[Espinoza and Garbajosa, 2008, and Espinoza and Garbajosa,2008b]

- Based on [Henderson-Sellers et al., 2005, Gonzalez-Perez et al.,2006]:

- Provides a clear separation of the expertise areas involved in a

methodology: metamodel, methodology, and project.


10/28

1010

Modeling Principles for Definingthe Traceability Metamodel

2. Powertype patterns for traceability [Espinoza andGarbajosa, 2008, and Espinoza and Garbajosa, 2008b]

- Based on [Henderson-Sellers et al., 2005, Gonzalez-Perez et al.,2006]:

- Provide the user-definable specialization mechanisms.


11/28

1111

Index

3. Core Items of the SPL Traceability

Metamodel


12/28

1212

Theory put into practice

Baseline for the systematic and formal definition of

a traceability methodology for SPL projects.

It includes a core set of items expressed as:

o work products, work units, and producers for SPL andtraceability

The core-set instantiation will make up the

customized traceability methodology for SPL.

SPL TmM backed on ISO/IEC - 24744:2007SEMDM1 [ISO, 2007]: traceability integration into

the development process

SPL Traceability metaModel (SPL TmM):


13/28

Usage process of the SPL TmM

1313SPL traceability metamodel instantiation process


14/28

14

SPL TmM Core PowertypePatterns for traceability

Classes for Method

Engineers

Classes for Developers


15/28

15

SPL TmM Core PowertypePatterns for SPL Engineering


16/28

1616

Index

4. Modeling a particular traceability

practice in feature modeling


17/28

1717

Particular Product FeatureConfiguration

Process for Product Feature Configuration (Botterweck et al. 2009)


18/28

18

Case Study 3: SPL PowertypePatterns in FeatureModeling

Work

Products

for SPL

Engineering

SPLWPs interaction

with traceability

patterns during

Feature Modeling

Pawertype Patterns

for SPL Engineering


19/28

1919

Index

5. SPL TmM Usage Example


20/28

Usage process of the SPL TmM

2020SPL traceability metamodel instantiation process

Select the

TraceabilityLink

Powertype pattern


21/28

21

Traceability Link Powertypepattern

TraceabilityLinkpowertype pattern: Naturally, provides a semanticsfor the traceability link concept.

Class to create

the traceability types

Class to create

the links


22/28

2222

TraceabilityMethodology:Item Definition

MandatoryChild

Type


23/28

2323

Index

8. Conclusions and on-going/future work


24/28

24

Conclusions

Relevance ofsystematic and documented processesto define a traceability methodology

Importance of a well-established and formalinstantiation process of the traceability metamodel.

The traceability knowledge for feature configuration

can be systematically reused The separation oflayers guides the use of SPL TmM,

when traceability methodologies were derived

Traceability is totally integrated into the SPL tasks.

The link semantics must be enhanced for a moreefficient SPL tasks


25/28

2525

On-going and Future Work

1. Currently:1. research on architecture configuration in both 1) product

line and 2) product derivation

2. modeling in more detail the traceability process:

traceability tasks integrated into the rest SPL tasks

1. Next:

1. To validate complete traceability methodologies in

industrial projects.

2. Links weights to support architecture evolution.

2. Common Need:1. an international standard template to produce a

traceability specification document.


26/28

2626

References

[Gotel and Finkelstein, 1994] O.C.Z. Gotel and C.W. Finkelstein.An analysis of the requirementstraceability problem. In Requirements Engineering 1994, Proceedings of the First InternationalConference on, pages 94102, Colorado Springs, Co., 18-22 Apr 1994. IEEE-Computer SocietyPress.

[Lago, Muccini, and Van Vliet, 2009] Lago, P., Muccini, H., Van Vliet, H. A scoped approach totraceability management, J. Syst. Softw., pp. 168-182. Elsevier Science Inc., Vol.82, 2009.

[Garbajosa et al., 2005] Juan Garbajosa and Pedro P. Alarcon; Deploying validation tests in systemsdevelopment; ISC 2005;

[Cockburn, 2000] Cockburn, A.: Selecting a projects methodology. IEEE Software 17(4) (2000), 6471

[Espinoza-Limn et al., 2005] The Need for a Unifying Traceability Scheme. Espinoza-Limn, Angelina;

Garbajosa, Juan. ECMDA Traceability Workshop. Nuremberg, Germany. (2005)[Espinoza-Limn et al., 2006] Analyzing and Systematizing Current Traceability Schemas. AngelinaEspinoza; Pedro P. Alarcon; Juan Garbajosa, IEEE SEW, (2006)

[Gonzalez-Perez et al., 2006] Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-basedmetamodelling framework. Software and System Modeling 5(1) (2006), 7290

[Hendernson-Sellers et al., 2005] B. Henderson-Sellers and C. Gonzalez-Perez. The rationale ofpowertype-based metamodelling to underpin software development methodologies. InProceedings: Asia-Pacific Conference on Conceptual Modelling (APCCM05), pages 7 16,Australia, 2005. Australian Computer Society, Inc.

[ISO, 2007] ISO/IEC 24744, 2007. ISO/IEC 24744:2007 Software Engineering - Metamodel forDevelopmentMethodologies. ISO/IEC. (2007)

[Botterweck et al., 2009] G. Botterweck, M. Janota, and D. Schneeweiss. A design of a configurablefeature model configurator. In VaMoS, pages 165-168, 2009.

[Espinoza and Garbajosa, 2008] Espinoza, Angelina; Garbajosa, Juan; Tackling TraceabilityChallenges through Modeling Principles in Methodologies Underpinned by Metamodels;CEE-SETWiP 2008; Brno, Czech Republic, 2008; pp. 41-54, ISBN: 978-83-7493-421-3; OficynaWydawniczaPolitechnikiWroclawskiej Editorial

[Espinoza and Garbajosa, 2008b] Espinoza, Angelina; Garbajosa, Juan; A Proposal for Defining a Set

of Basic Items for Project-specific Traceability Methodologies; SEW 32; Kassandra, Greece, 2008;pp. 175-185, ISBN: 978-0-7695-3617-0; Edited by IEEE Computer Society


27/28

27

Questions and SuggestionsQuestions and Suggestions


28/28

28

Thank you!Thank you!

Angelina EspinozaAngelina Espinoza

aespinozaaespinoza at syst.eui.upm.esat syst.eui.upm.es

sac a formal approach to reuse successful trac-v 1 2

Documents