{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:35:21Z","timestamp":1775054121250,"version":"3.50.1"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,12,11]],"date-time":"2011-12-11T00:00:00Z","timestamp":1323561600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s11334-011-0177-9","type":"journal-article","created":{"date-parts":[[2011,12,10]],"date-time":"2011-12-10T10:07:52Z","timestamp":1323511672000},"page":"51-64","source":"Crossref","is-referenced-by-count":11,"title":["On the refinement of use case models with variability support"],"prefix":"10.1007","volume":"8","author":[{"given":"Sofia","family":"Azevedo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo J.","family":"Machado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Bragan\u00e7a","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hugo","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,12,11]]},"reference":[{"key":"177_CR1","doi-asserted-by":"crossref","unstructured":"Azevedo S, Machado RJ, Bragan\u00e7a A, Ribeiro H (2010) The UML \u00abextend\u00bb relationship as support for software variability. In: 14th international software product line conference (SPLC 2010), Jeju Island, South Korea. Springer, Berlin","DOI":"10.1007\/978-3-642-15579-6_39"},{"key":"177_CR2","unstructured":"Muthig D, John I, Anastasopoulos M, Forster T, D\u00f6rr J, Schmid K (2004) GoPhone\u2014a software product line in the mobile phone domain. Fraunhofer IESE, IESE-Report No. 025.04\/EMarch 5"},{"key":"177_CR3","unstructured":"OMG (2009) Unified modeling language: superstructure\u2014version 2.2. Object Management Group, p 740"},{"key":"177_CR4","unstructured":"Bragan\u00e7a A, Machado RJ (2006) Extending UML 2.0 metamodel for complementary usages of the \u00abextend\u00bb relationship within use case variability specification. In: 10th international software product line conference (SPLC 2006), Baltimore, MD, USA. IEEE Computer Society, California"},{"key":"177_CR5","unstructured":"Bragan\u00e7a A, Machado RJ (2005) Deriving software product line\u2019s 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"},{"key":"177_CR6","unstructured":"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"},{"key":"177_CR7","unstructured":"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"},{"key":"177_CR8","doi-asserted-by":"crossref","unstructured":"Bayer J, Gerard S, Haugen \u00d8, Mansell J, M\u00f8ller-Pedersen B, Oldevik J, Tessier P, Thibault J-P, Widen T (2006) Consolidated Product Line Variability Modeling. In: K\u00e4k\u00f6la T, Duenas JC (eds) Software product lines\u2014research issues in engineering and management. Springer, Berlin, pp 195\u2013241","DOI":"10.1007\/978-3-540-33253-4_6"},{"key":"177_CR9","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.21236\/ADA235785"},{"key":"177_CR10","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/978-3-540-24667-1_6"},{"key":"177_CR11","doi-asserted-by":"crossref","unstructured":"B\u00fchne 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","DOI":"10.1109\/RE.2005.45"},{"key":"177_CR12","first-page":"94","volume":"2","author":"H Gomaa","year":"2008","unstructured":"Gomaa H, Shin ME (2008) Multiple-view modelling and meta-modelling of software product lines. Inst Eng Technol Softw 2: 94\u2013122","journal-title":"Inst Eng Technol Softw"},{"key":"177_CR13","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/978-3-540-27799-6_23"},{"key":"177_CR14","unstructured":"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"},{"key":"177_CR15","volume-title":"Designing software product lines with uml: from use cases to pattern-based software architectures","author":"H Gomaa","year":"2004","unstructured":"Gomaa H (2004) Designing software product lines with uml: from use cases to pattern-based software architectures. Addison-Wesley, Upper Saddle River"},{"key":"177_CR16","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/j.scico.2003.04.004","volume":"53","author":"DL Webber","year":"2004","unstructured":"Webber DL, Gomaa H (2004) Modeling Variability in Software Product Lines with the Variation Point Model. Sci Comput Program 53: 305\u2013331","journal-title":"Sci Comput Program"},{"key":"177_CR17","doi-asserted-by":"crossref","unstructured":"Ziadi T, H\u00e9lou\u00ebt L, J\u00e9z\u00e9quel 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","DOI":"10.1007\/978-3-540-24667-1_10"},{"key":"177_CR18","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/52.730836","volume":"15","author":"J Coplien","year":"1998","unstructured":"Coplien J, Hoffman D, Weiss D (1998) Commonality and variability in software engineering. IEEE Softw 15: 37\u201345","journal-title":"IEEE Softw"},{"key":"177_CR19","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s10270-003-0019-9","volume":"2","author":"G Halmans","year":"2003","unstructured":"Halmans G, Pohl K (2003) Communicating the variability of a software-product family to customers. Softw Syst Model 2: 15\u201336","journal-title":"Softw Syst Model"},{"key":"177_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software product line engineering: foundations, principles, and techniques","author":"K Pohl","year":"2005","unstructured":"Pohl K, B\u00f6ckle G, Linden Fvd (2005) Software product line engineering: foundations, principles, and techniques. Springer, Heidelberg"},{"key":"177_CR21","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/3-540-47833-7_27"},{"key":"177_CR22","unstructured":"Ma\u00dfen 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"},{"key":"177_CR23","unstructured":"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"},{"key":"177_CR24","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/978-1-4615-4339-8_16"},{"key":"177_CR25","volume-title":"Software reuse: architecture, process and organization for business success","author":"I Jacobson","year":"1997","unstructured":"Jacobson I, Griss M, Jonsson P (1997) Software reuse: architecture, process and organization for business success. Addison-Wesley, Upper Saddle River"},{"key":"177_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-28630-1_19","volume-title":"Software factories: assembling applications with patterns, models, frameworks, and tools","author":"J Greenfield","year":"2004","unstructured":"Greenfield J, Short K (2004) Software factories: assembling applications with patterns, models, frameworks, and tools. Wiley, Hoboken"},{"key":"177_CR27","unstructured":"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"},{"key":"177_CR28","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1145\/1183236.1183265","volume":"49","author":"M Eriksson","year":"2006","unstructured":"Eriksson M, B\u00f6rstler J, Borg K (2006) Software product line modeling made practical. Commun. ACM 49: 49\u201353","journal-title":"Commun. ACM"},{"key":"177_CR29","doi-asserted-by":"crossref","unstructured":"Azevedo S, Machado RJ, Bragan\u00e7a A, Ribeiro H (2010) The UML \u00abinclude\u00bb 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","DOI":"10.1109\/SEAA.2010.65"},{"key":"177_CR30","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/3-540-58555-9_94"},{"key":"177_CR31","unstructured":"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"},{"key":"177_CR32","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1145\/239098.239131"},{"key":"177_CR33","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/978-3-540-39648-2_34"},{"key":"177_CR34","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1109\/TSE.2004.23","volume":"30","author":"D Batory","year":"2004","unstructured":"Batory D, Sarvela JN, Rauschmayer A (2004) Scaling step-wise refinement. IEEE Trans Softw Eng 30: 355\u2013371","journal-title":"IEEE Trans Softw Eng"},{"key":"177_CR35","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/11901181_8"},{"key":"177_CR36","unstructured":"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"},{"key":"177_CR37","unstructured":"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"},{"key":"177_CR38","volume-title":"UML distilled: a brief guide to the standard object modeling language","author":"M Fowler","year":"2004","unstructured":"Fowler M (2004) UML distilled: a brief guide to the standard object modeling language. Addison-Wesley, Upper Saddle River"},{"key":"177_CR39","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/11767718_38"},{"key":"177_CR40","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/3-540-47833-7_3"},{"key":"177_CR41","volume-title":"Writing effective use cases","author":"A Cockburn","year":"2000","unstructured":"Cockburn A (2000) Writing effective use cases. Addison-Wesley, Upper Saddle River"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0177-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-011-0177-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0177-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T18:42:46Z","timestamp":1561056166000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-011-0177-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12,11]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["177"],"URL":"https:\/\/doi.org\/10.1007\/s11334-011-0177-9","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,12,11]]}}}