Multiple-view modelling and meta-modelling of software product lines

IET Software

Volumn 2, Issue 2, 2008, Pages 94-122

  Gomaa, H ^a   Shin, M E ^b  

^a George Mason University   (United States)

^b Texas Tech University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONFORMAL MAPPING; CONSTRAINT THEORY; MATHEMATICAL MODELS; UNIFIED MODELING LANGUAGE;

COLLABORATION MODELS; SOFTWARE PRODUCT LINES (SPL);

SOFTWARE ENGINEERING;

EID: 41649090812     PISSN: 17518806     EISSN: None     Source Type: Journal    
DOI: 10.1049/iet-sen:20060059     Document Type: Article

References (50)

1. Nuseibeh, B., Kramer, J., and Finkelstein, A.: ' A framework for expressing the relationships between multiple views in requirements specification ', IEEE Trans. Softw. Eng., 1994, 20, (10), p. 760-773 0098-5589
2. Atkinson, C., Bayer, J., and Muthig, D.: ' Component-based product line development: the KobrA approach ', The First Software Product Line Conf., Denver, USA, August, 28-31, 2000
3. Atkinson, C., Bayer, J., Laitenberger, O., and Zettel, J.: ' Component-based software engineering: the KobrA approach ', ICSE Workshop, 2000
4. Atkinson, C., Bayer, J., and Bunse, C.: ' Component-based product line engineering with UML ', et al. (Addison-Wesley, 2001)
5. Bosch, J.: ' Design and use of software architectures ', (Addison-Wesley, 2000)
6. Clements, P., and Northrop, L.: ' Software product lines: practices and patterns ', (Addison-Wesley, 2002)
7. Gomaa, H.: ' Designing software product lines with UML: from use cases to pattern-based software architectures ', (Addison-Wesley Object Technology Series, 2005)
8. Jacobson, I., Griss, M., and Jonsson, P.: ' Software reuse: architecture, process and organization for business success ', (Addison-Wesley, 1997)
9. Jazayeri, M., Ran, A., and Linden, P.V.D.: ' Software architecture for product families: putting research into practice ', (Addison-Wesley, 2000)
10. ' Feature-oriented domain analysis ', Software Engineering Institute, November, 1990
11. Keepence, B., and Mannion, M.: ' Using patterns to model variability in product families ', IEEE Soft., 1999, 16, (4), p. 102-108
12. Morisio, M., Travassos, G.H., and Start, M.E.: ' Extending UML to support domain analysis ', Proc. 15th IEEE Int. Conf. Automated Software Engineering (ASE'00), Grenoble, France, September, 11-15, 2000
13. Pohl, K., Böckle, G., and von der Linden, F.J.: ' Software product line engineering: foundations, principles and techniques ', (Springer, 2005)
14. Software Productivity Consortium (SPC): 'Reuse-driven software processes guidebook'. SPC-92019-CMC, Version 02.00.03, November 1993
15. Weiss, D.M., and Lai, C.T.R.: ' Software product-line engineering: a family-based software development process ', (Addison-Wesley, 1999)
16. Gomaa, H., and Shin, M.E.: ' Multiple-view meta-modeling of software product lines ', The 8th IEEE Int. Conf. Engineering of Complex Computer Systems, Maryland, December, 2002
17. Gomaa, H., and Shin, M.E.: ' Modeling complex systems by separating application and security concerns ', Proc. IEEE Int. Conf. Engineering of Complex Computer Systems, Florence, Italy, April, 2004
18. Booch, G., Rumbaugh, J., and Jacobson, I.: ' The unified modeling language user guide ', 2nd edn (Addison-Wesley, Reading, MA, 2005)
19. Gomaa, H.: ' Designing concurrent, distributed, and real-time applications with UML ', (Addison-Wesley Object Technology Series, 2000)
20. Rumbaugh, J., Booch, G., and Jacobson, I.: ' The unified modeling language reference manual ', 2nd edn (Addison-Wesley, Reading, MA, 2004)
21. Easterbrook, S., and Nuseibeh, B.: ' Using viewpoints for inconsistency management ', BCS/IEE Softw. Eng. J., 1996, 11, (1), p. 31-43
22. McUmber, W.E., and Cheng, B.H.C.: ' A general framework for formalizing UML with formal languages ', 23rd, Int. Conf. Software Engineering, 2001, p. 433-442
23. Egyed, A.: ' Automating architectural view integration in UML ', Proc. European Software Engineering Conf. and the ACM SIGSOFT Symp. Foundations of Software Engineering (ESEC/FSE), Toulouse, France, September, 6-10, 1999
24. Egyed, A.: ' Instant consistency checking for the UML ', Int. Conf. Software Engineering, 2006
25. Engels, G., Heckel, R., and Küster, J.M.: ' The consistency workbench: a tool for consistency management in UML-based development ', Proc. Unified Modeling Language Conf, San Francisco, CA, USA, October, 20-24, 2003
26. Li, X., Liu, Z., and He, J.: ' Consistency checking of UML requirements ', 10th, IEEE Int. Conf. Engineering of Complex Computer Systems, Shanghai, China, June, 2005
27. Straeten, R.V.D., Mens, T., Simmonds, J., and Jonchers, V.: ' Using description logic to maintain consistency between UML models ', Proc. Unified Modeling Language Conf, San Francisco, CA, USA, October, 20-24, 2003
28. Sunetnanta, T.T., and Finkelsteing, A.: ' Automated consistency checking for multiperspective software specifications ', Workshop on Advanced Separation of Concerns, The 23rd Int. Conf. Software Engineering, Toronto, Ontario, Canada, May, 12-19, 2001
29. ' Consistency analysis of UML class AND of sequence diagrams using attribute graph grammers ', Technical University of Berlin, April, 2001, www.tu-berlin.de/~aliki
30. Gomaa, H., Kerschberg, L., Sugumaran, V., Bosch, C., and Tavakoli, I.: ' A knowledge-based software engineering environment for reusable software requirements and architectures ', J. Autom. Softw. Eng., 1996, 3, (3/4), p. 285-307
31. Gomaa, H., and Farrukh, G.A.: ' Methods and tools for the automated configuration of distributed applications from reusable software architectures and components ', IEE Proc., Softw., 1999, 146, (6), p. 277-285 1462-5970
32. Padmanabhan, P., and Lutz, R.R.: ' Tool-support verification of product line requirements ', Autom. Softw. Eng., 2005, 12, (4), p. 447-465 0928-8910
33. von der Maben, T., and Lichter, H.: ' RequiLine: a requirements engineering tool for software product lines ', Software Product-Family Engineering, LNCS, 2004, 3014
34. Egyed, A.: ' UML/analyzer: a tool for the instant consistency checking of UML models ', Tool Demonstration, Proc. 29th Int. Conf. Software Engineering, Minneapolis, USA, May, 2007
35. Egyed, A.: ' Fixing inconsistencies in UML models ', Proc. 29th Int. Conf. Software Engineering, Minneapolis, USA, May, 2007
36. Parnas, D.L.: ' Designing software for ease of extension and contraction ', IEEE Trans. Softw. Eng., 1979, 5, (2), p. 128-138 0098-5589
37. Griss, M., Favaro, J., and D'Alessandro, M.: ' Integrating feature modeling with the RSEB ', Proc. Int. Conf. Software Reuse, Victoria, June, 1998
38. Harel, D., and Gary, E.: ' Executable object modeling with statecharts ', Proc. 18th Int. Conf. Software Engineering, Berlin, March, 1996
39. Shin, M.E.: ' Evolution in multiple-view models in software product families ', 2002, PhD, George Mason University, Fairfax, VA
40. Bendraou, R., Gervals, M., and Blanc, X.: ' UML4SPM: a UML2.0-based metamodel for software process modeling ', ACM/IEEE 8th Int. Conf. Model Driven Engineering Languages and Systems, Montego Bay, Jamaica, October, 2-7, 2005
41. Blanc, X., Ramalho, F., and Robin, J.: ' Metamodel reuse with MOF ', ACM/IEEE 8th Int. Conf. Model Driven Engineering Languages and Systems, UML 2005, Montego Bay, Jamaica, October, 2-7, 2005
42. Object Modeling Group (OMG): 'Unified modeling language: superstructure', Version 2.0, August 2005
43. Warmer, J., and Kleppe, A.: ' The object constraint language: precise modeling with UML ', (Addison-Wesley, 1999)
44. LCI, Computer Science Research Laboratory, BABES-BOLYAI University, Romania, 2007, available at: http://lci.cs.ubbcluj.ro/
45. Gomaa, H., and Shin, M.E.: ' A multiple-view meta-modeling approach for variability management in software product lines ', Proc. Int. Conf. Software Reuse, Madrid, Spain, July, 2004
46. Quatrani, T.: ' Visual modeling with rational Rose 2002 and UML ', 3rd edn (Addison-Wesley, 2002)
47. Rose, IBM, 2005, available at: http://www-306.ibm.com/software/awdtools/ developer/rose/
48. Gomaa, H., and Shin, M.E.: ' Automated software product line engineering and product derivation ', Proc. Hawaii Int. Conf. System Sciences, Hawaii, January, 2007
49. Pettit, R., and Gomaa, H.: ' Modeling behavioral design patterns of concurrent objects ', Proc. Int. Conf. Software Engineering, Shanghai, China, May, 2006
50. Olimpiew, E., and Gomaa, H.: ' Customizable requirements-based test models for software product lines ', Int. Workshop on Software Product Line Testing, Baltimore, MD, August, 2006