Skip to main content
SpringerLink
Log in

On the refinement of use case models with variability support

  • SI: MOMPES 2010
  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

Abstract

Modeling software product lines shall imply modeling from different perspectives with different modeling artifacts such as use case diagrams, component diagrams, class diagrams, activity diagrams, sequence diagrams and others. In this paper, we elaborate on use cases for modeling product lines and we explore them from the perspective of variability by working with the unified modeling language (UML) «extend» relationship. We also explore them from the perspective of detail by (functionally) refining use cases with «extend» relationships between them. This paper’s intent is to provide for comprehension about use case modeling with functional refinement when variability is present.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Azevedo S, Machado RJ, Bragança A, Ribeiro H (2010) The UML «extend» relationship as support for software variability. In: 14th international software product line conference (SPLC 2010), Jeju Island, South Korea. Springer, Berlin

  2. Muthig D, John I, Anastasopoulos M, Forster T, Dörr J, Schmid K (2004) GoPhone—a software product line in the mobile phone domain. Fraunhofer IESE, IESE-Report No. 025.04/EMarch 5

  3. OMG (2009) Unified modeling language: superstructure—version 2.2. Object Management Group, p 740

  4. Bragança A, Machado RJ (2006) Extending UML 2.0 metamodel for complementary usages of the «extend» relationship within use case variability specification. In: 10th international software product line conference (SPLC 2006), Baltimore, MD, USA. IEEE Computer Society, California

  5. Bragança A, Machado RJ (2005) Deriving software product line’s architectural requirements from use cases: an experimental approach. In: 2nd international workshop on model-based methodologies for pervasive and embedded software (MOMPES 2005), Rennes, France. TUCS General Publications, Turku

  6. John I, Muthig D (2002) Product line modeling with generic use cases. In: Workshop on techniques for exploiting commonality through variability management, San Diego, CA, USA. Springer, Berlin

  7. John I, Muthig D (2002) Tailoring use cases for product line modeling. In: International workshop on requirements engineering for product lines (REPL 2002), Essen, Germany. Avaya Labs, New Jersey

  8. Bayer J, Gerard S, Haugen Ø, Mansell J, Møller-Pedersen B, Oldevik J, Tessier P, Thibault J-P, Widen T (2006) Consolidated Product Line Variability Modeling. In: Käköla T, Duenas JC (eds) Software product lines—research issues in engineering and management. Springer, Berlin, pp 195–241

  9. Kang K, Cohen S, Hess J, Novak W, Peterson AS (1990) Feature-oriented domain analysis (FODA) feasibility study. Software Engineering Institute, Carnegie Mellon University, Technical Report

  10. Bachmann F, Goedicke M, Leite J, Nord R, Pohl K, Ramesh B, Vilbig A (2004) A Meta-model for representing variability in product family development. In: 5th international workshop on product-family engineering (PFE-5), Siena, Italy. Springer, Berlin

  11. Bühne S, Lauenroth K, Pohl K (2005) Modelling Requirements Variability across Product Lines. In: 13th IEEE international conference on requirements engineering (RE 2005), Paris, France: IEEE Computer Society

  12. Gomaa H, Shin ME (2008) Multiple-view modelling and meta-modelling of software product lines. Inst Eng Technol Softw 2: 94–122

    Google Scholar 

  13. Gomaa H, Shin ME (2004) A multiple-view meta-modeling approach for variability management in software product lines. In: 8th international conference on software reuse (ICSR-8), Madrid, Spain. Springer, Berlin

  14. Gomaa H, Olimpiew EM (2008) Managing variability in reusable requirement models for software product lines. In: 10th international conference on software reuse (ICSR-10), Beijing, China. Springer, Berlin

  15. Gomaa H (2004) Designing software product lines with uml: from use cases to pattern-based software architectures. Addison-Wesley, Upper Saddle River

    Google Scholar 

  16. Webber DL, Gomaa H (2004) Modeling Variability in Software Product Lines with the Variation Point Model. Sci Comput Program 53: 305–331

    Article  MathSciNet  MATH  Google Scholar 

  17. Ziadi T, Hélouët L, Jézéquel J-M (2004) Towards a UML profile for software product lines. In: 5th international workshop on product-family engineering (PFE-5), Siena, Italy. Springer, Berlin

  18. Coplien J, Hoffman D, Weiss D (1998) Commonality and variability in software engineering. IEEE Softw 15: 37–45

    Article  Google Scholar 

  19. Halmans G, Pohl K (2003) Communicating the variability of a software-product family to customers. Softw Syst Model 2: 15–36

    Article  Google Scholar 

  20. Pohl K, Böckle G, Linden Fvd (2005) Software product line engineering: foundations, principles, and techniques. Springer, Heidelberg

    MATH  Google Scholar 

  21. Salicki S, Farcet N (2002) Expression and usage of the variability in the software product lines. In: 4th international workshop on product family engineering (PFE-4), Bilbao, Spain. Springer, Berlin

  22. Maßen Tvd, Lichter H (2002) Modeling variability by UML use case diagrams. In: International workshop on requirements engineering for product lines (REPL 2002), Essen, Germany. Avaya Labs, New Jersey

  23. Machado RJ, Fernandes JM, Monteiro P, Rodrigues H (2005) Transformation of UML models for service-oriented software architectures. In: 12th IEEE international conference and workshops on the engineering of computer-based systems (ECBS 2005), Greenbelt, MD, USA. IEEE Computer Society, California

  24. Atkinson C, Bayer J, Muthig D (2000) Component-based product line development: the KobrA approach. In: 1st software product line conference (SPLC 2000), Denver, CO, USA. Kluwer Academic Publishers, Dordrecht

  25. Jacobson I, Griss M, Jonsson P (1997) Software reuse: architecture, process and organization for business success. Addison-Wesley, Upper Saddle River

    Google Scholar 

  26. Greenfield J, Short K (2004) Software factories: assembling applications with patterns, models, frameworks, and tools. Wiley, Hoboken

    Google Scholar 

  27. Pons C, Kutsche R-D (2004) Traceability across refinement steps in uml modeling. In: 3rd UML workshop in software model engineering (WiSME 2004), Lisbon, Portugal. Springer, Berlin

  28. Eriksson M, Börstler J, Borg K (2006) Software product line modeling made practical. Commun. ACM 49: 49–53

    Article  Google Scholar 

  29. Azevedo S, Machado RJ, Bragança A, Ribeiro H (2010) The UML «include» relationship and the functional refinement of use cases. In: 36th euromicro conference on software engineering and advanced applications (SEAA 2010), Lille, France. IEEE Computer Society, California

  30. Paech B, Rumpe B (1994) A new concept of refinement used for behaviour modelling with automata. In: 2nd international symposium of formal methods Europe (FME 1994), Barcelona, Spain. Springer, Berlin

  31. Quartel DAC, Pires LF, Franken HM, Vissers CA (1995) An engineering approach towards action refinement. In: 5th IEEE workshop on future trends of distributed computing systems (FTDCS 1995), Chenju, Korea. IEEE Computer Society, California

  32. Darimont R, Lamsweerde Av (1996) Formal refinement patterns for goal-driven requirements elaboration. In: 4th symposium on the foundations of software engineering (FSE-4) San Francisco, CA, USA. ACM, New York

  33. Mikolajczak B, Wang Z (2003) Conceptual modeling of concurrent systems through stepwise abstraction and refinement using petri net morphisms. In: 22nd international conference on conceptual modeling (ER 2003), Chicago, IL, USA. Springer, Berlin

  34. Batory D, Sarvela JN, Rauschmayer A (2004) Scaling step-wise refinement. IEEE Trans Softw Eng 30: 355–371

    Article  Google Scholar 

  35. Cherfi SS-s, Akoka J, Comyn-Wattiau I (2006) Use case modeling and refinement: a quality-based approach. In: 25th international conference on conceptual modeling (ER 2006), Tucson, AZ, USA. Springer, Berlin

  36. Simons AJH (1999) Use cases considered harmful. In: 29th conference on technology of object-oriented languages and systems (TOOLS Europe 1999), Nancy, France: IEEE Computer Society, California

  37. Heldal R (2005) Use cases are more than system operations. In: 2nd international workshop on use case modeling (WUsCaM 2005), Montego Bay, Jamaica. Chalmers Publication Library, Sweden

  38. Fowler M (2004) UML distilled: a brief guide to the standard object modeling language. Addison-Wesley, Upper Saddle River

    Google Scholar 

  39. Machado RJ, Fernandes JM, Monteiro P, Rodrigues H (2006) Refinement of software architectures by recursive model transformations. In: 7th international conference on product focused software process improvement (PROFES 2006), Amsterdam, The Netherlands. Springer, Berlin

  40. Bosch J, Florijn G, Greefhorst D, Kuusela J, Obbink JH, Pohl K (2002) Variability issues in software product lines. In: 4th international workshop on product family engineering (PFE-4), Bilbao, Spain. Springer, Berlin

  41. Cockburn A (2000) Writing effective use cases. Addison-Wesley, Upper Saddle River

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universidade do Minho, Guimarães, Portugal

    Sofia Azevedo & Ricardo J. Machado

  2. Instituto Superior de Engenharia do Porto, Porto, Portugal

    Alexandre Bragança

  3. Primavera Business Software Solutions, Braga, Portugal

    Hugo Ribeiro

Authors
  1. Sofia Azevedo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ricardo J. Machado
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alexandre Bragança
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Hugo Ribeiro
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sofia Azevedo.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Azevedo, S., Machado, R.J., Bragança, A. et al. On the refinement of use case models with variability support. Innovations Syst Softw Eng 8, 51–64 (2012). https://doi.org/10.1007/s11334-011-0177-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-011-0177-9

Keywords

Search

Navigation