Utilizing domain models for application design and validation

Information and Software Technology

Volumn 51, Issue 8, 2009, Pages 1275-1289

  Reinhartz Berger, Iris ^a   Sturm, Arnon ^b  

^a UNIVERSITY OF HAIFA   (Israel)

^b BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

Author keywords

Domain analysis; Domain engineering; Feature oriented; Metamodeling; Software product line engineering; Variability management

Indexed keywords

DOMAIN ANALYSIS; DOMAIN ENGINEERING; FEATURE ORIENTED; METAMODELING; SOFTWARE PRODUCT LINE ENGINEERING; VARIABILITY MANAGEMENT;

PRODUCTION ENGINEERING; TERMINOLOGY;

COMPUTER SOFTWARE REUSABILITY;

EID: 67349109419     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2009.03.005     Document Type: Article

References (53)

1. Addy E.A. A framework for performing verification and validation in reuse-based software engineering. Annals of Software Engineering 5 1 (1998) 279-292
2. Atkinson C., and Kühne T. Rearchitecting the UML infrastructure. ACM Transactions on Modeling and Computer Simulation (TOMACS) 12 4 (2002) 290-321
3. Batory D., Benavides D., and Ruiz-Cortes A. Automated analysis of feature models: challenges ahead. Communications of the ACM 49 12 (2006) 45-47
4. J. Becker, P. Delfmann, T. Rieke, C. Seel, Supporting enterprise systems introduction through controlling-enabled, configurative reference modeling, in: Proceedings of the Referenzmodellierung 2006 im Rahmen der MKWI 2006, Passau, 2006.
5. Benavides D., Ruiz-Cortes A., Trinidad P., and Segura S. A survey on the automated analyses of feature models. Jornadas de Ingenieria del Software y Bases de Datos (JISBD) (2006)
6. Champeaux D.d., Lea D., and Faure P. Object-Oriented System Development (1993), Addison Wesley
7. M. Clauss, Generic modeling using UML extensions for variability, in: Workshop on Domain Specific Visual Languages, Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'01), 2001.
8. Czarnecki K., and Eisenecker U.W. Generative Programming - Methods, Tools, and Applications (2000), Addison-Wesley
9. K. Czarnecki, S. Helsen, U. Eisenecker, Formalizing cardinality-based feature models and their specialization, in: Software Process: Improvement and Practice, 2005.
10. J. Davis, Model Integrated Computing: A Framework for Creating Domain Specific Design Environments, in: The Sixth World Multiconference on Systems, Cybernetics, and Informatics (SCI), 2002.
11. van Deursen A., and Klint P. Domain-specific language design requires feature descriptions. Journal of Computing and Information Technology 10 1 (2002) 1-17
12. Dori D. Object-Process Methodology - A Holistic Systems Paradigm (2002), Springer Verlag, Heidelberg
13. D.J. Duffy, Domain Architectures: Models and Architectures for UML Applications, John Wiley and Sons, 2004.
14. Eclipse Foundation, Eclipse modeling frameworks, 2008. .
15. P. Fettke, P. Loos, Classification of reference models - a methodology and its application, Information Systems and e-Business Management 1 (1) (2003) 35-53.
16. Frakes W., Prieto-Díaz R., and Fox C. DARE: Domain Analysis and Reuse Environment. Annals of Software Engineering 5 (1998) 125-141
17. France R.B., Kim D.-K., and Ghosh S. E. Song A UML-based pattern specification technique. IEEE Transactions on Software Engineering 30 3 (2004) 193-206
18. H. Gomaa, M. Eonsuk-Shin, Multiple-view meta-modeling of software product lines, in: Proceedings of the Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002.
19. H. Gomaa, L. Kerschberg, Domain modeling for software reuse and evolution, in: Proceedings of Computer Assisted Software Engineering Workshop (CASE 95), 1995.
20. H. Gomaa, Designing Software Product Lines with UML, 2004.
21. Jacobson I., Griss M., and Jonsson P. Software Reuse - Architecture, Process, and Organization for Business Success (1997), Addison-Wesley
22. Kang K.C., Kim S., Lee J., Kim K., Shin E., and Huh M. FORM: A Feature-Oriented Reuse Method with domain-specific reference architectures. Annals of Software Engineering 5 1 (1998) 143-168
23. K. Kang, S. Cohen, J. Hess, W. Novak, A. Peterson, Feature-Oriented Domain Analysis (FODA) Feasibility Study, CMU/SEI-90-TR-021 ADA235785, 1990.
24. Kim D.K. The role-based metamodeling language for specifying design patterns. In: Taibi T. (Ed). Design Pattern Formalization Techniques (2007), Idea Group Inc. 183-205
25. D.K. Kim, W. Shen, Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies, Software Quality Journal (2008).
26. Kim D.K., France R.B., and Ghosh S. A UML-based language for specifying domain-specific patterns. Journal of Visual Languages and Computing 15 3-4 (2004) 265-289
27. Mannion M. Using first-order logic for product line model validation. In: Chastek G.J. (Ed). Proceedings of the Second international Conference on Software Product Lines. Lecture Notes in Computer Science vol. 2379 (2002), Springer-Verlag 176-187
28. M. Mannion, J. Camara, Theorem proving for product line model verification, in: Software Product-Family Engineering, Lecture Notes in Computer Science, vol. 3014, Springer-Verlag, 2004, pp. 211-224.
29. J. Meekel, T.B. Horton, R.B. France, C. Mellone, S. Dalvi, From domain models to architecture frameworks, in: Proceedings of the 1997 symposium on Software reusability, 1997, pp. 75-80.
30. Mernik M., Heering J., and Sloane A.M. When and how to develop domain-specific languages. ACM Computer Surveys 37 4 (2005) 316-344
31. MetaEdit, 2006, .
32. M. Morisio, G.H. Travassos, M. Stark, Extending UML to support domain analysis, in: Proceedings of the Fifth IEEE International Conference on Automated Software Engineering, 2000, pp. 321-324.
33. L.H. Nakatani, M.A. Ardis, R.G. Olsen, P.M. Pontrelli, Jargons for domain engineering, in: Proceedings of the 2nd Conference on Domain-Specific Languages, 1999, pp.15-24.
34. S. Neal, P. Linington, Tool support for development using patterns, in: International Enterprise Distributed Object Computing, 2001, 237-248.
35. J. Neighbors, Draco: A Method for Engineering Reusable Software Systems, in: T. Biggerstaff, A. Perlis (Eds.), Software Reusability, Concepts and Models, vol. 1, ACM Press, Frontier Series, Addison-Wesley, Reading, 1989, pp. 295-319.
36. G. Nordstrom, J. Sztipanovits, G. Karsai, A. Ledeczi, Metamodeling - rapid design and evolution of domain-specific modeling environments, in: Proceedings of the IEEE Sixth Symposium on Engineering Computer-Based Systems (ECBS), 1999, pp. 68-74.
37. OMG, Meta-Object Facility (MOF™), Version 1.4, 2003. .
38. OMG, Unified Modeling Language: Superstructure, Version 2.0, 2005. .
39. Padmanabhan P., and Lutz R.R. Tool-supported verification of product line requirements. Automated Software Engineering 12 4 (2005) 447-465
40. Pohl K., Gunter B., and van der Linden F. Software Product Line Engineering - Foundations, Principles, and Techniques (2005), Springer
41. Reinhartz-Berger I., and Sturm A. Enhancing UML models: a domain analysis approach. Journal on Database Management (JDM) 19 1 (2007) 74-94 (special issue on UML Topics)
42. I. Reinhartz-Berger, P. Soffer, A. Sturm, a domain engineering approach to specifying and applying reference models, in: Proceedings of Enterprise Modeling Information Systems Architecture (EMISA'05), Klagenfurt, Austria, 2005.
43. A. Schleicher, B. Westfechtel, Beyond stereotyping: metamodeling approaches for the UML, in: Proceedings of the 34th Annual Hawaii International Conference on System Sciences, 2001, pp. 1243-1252.
44. Schmid K., and John I. A customizable approach to full lifecycle variability management. Science of Computer Programming 53 (2004) 259-284
45. R. Schuette, T. Rotthowe, The guidelines of modeling - an approach to enhance the quality in information models, in: Proceedings of the 17th International Conference on Conceptual Modeling (ER'98), Lecture Notes in Computer Science, vol. 1507, Springer-Verlag, Berlin, 1998, pp. 240-254.
46. P. Selonen, J. Xu, Validating UML models against architectural profiles, in: Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2003, pp. 58-67.
47. P. Soffer, I. Reinhartz-Berger, A. Sturm, Facilitating reuse by specialization of reference models for business process design, in: CAiSE'07 Workshop Proceedings, Tapir Academic Press, 2007, pp. 339-347.
48. A. Sturm, D. Dori, O. Shehory, Domain modeling with object-process methodology, in: Accepted for the Eighth International Conference on Enterprise Information Systems, 2006.
49. Tersus, 2006. .
50. O. Thomas, Understanding the term reference model in information systems research: history, literature analysis and explanation, in: Proceedings of First International Workshop on Business Process Reference Models, Nancy, France, 2005, pp. 16-28.
51. TOPCASED, 2008. .
52. Valerio A., Succi G., and Fenaroli M. Domain analysis and framework-based software development. ACM SIGAPP Applied Computing Review 5 2 (1997)
53. T. Ziadi, L. Helouet, J.M. Jezequel, Towards a UML profile for software product lines, in: Proceedings of the 5th International Workshop on Software Product-Family Engineering (PFE 2003), Lecture Notes in Computer Science, vol. 3014, 2004, pp. 129-139.