An approach to precisely specifying the problem domain of design patterns

Journal of Visual Languages and Computing

Volumn 18, Issue 6, 2007, Pages 560-591

  Kim, Dae Kyoo ^a   El Khawand, Charbel ^a  

^a Oakland University   (United States)

Author keywords

Design pattern; Formalization; Pattern applicability; Problem domain; Reuse; UML

Indexed keywords

EID: 36348967073     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jvlc.2007.02.009     Document Type: Article

References (34)

1. The Hillside Group Home Page 〈http://hillside.net〉.
2. Buschmann F., Meunier R., Rohnert H., Sommerlad P., and Stal M. A System of Patterns: Pattern-Oriented Software Architecture (1996), Wiley, New York
3. Gamma E., Helm R., Johnson R., and Vlissides J. Design Patterns: Elements of Reusable Object-Oriented Software (1995), Addison-Wesley, Reading, MA
4. Grand M. Patterns in Java-A Catalog of Reusable Design Patterns Illustrated with UML (1999), Wiley, New York
5. Pree W. Design Patterns for Object-Oriented Software Development (1995), Addison-Wesley, Reading, MA
6. Schmidt D., Stal M., Rohnert H., and Buschmann F. Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects (2000), Wiley, New York
7. Jackson M. Problem Frames: Analyzing and Structuring Software Development Problems (2001), Addison-Wesley, Reading, MA
8. K. Lano, J. Bicarregui, S. Goldsack, Formalising design patterns, in: Proceedings of the First BCS-FACS Northern Formal Methods Workshop, Electronic Workshops in Computer Science, Springer, Berlin, 1996.
9. H. Albin-Amiot, Y.G. Gueheneuc, Meta-modeling design patterns: application to pattern detection and code synthesis, in: Proceedings of the First ECOOP Workshop on Automating Object-Oriented Software Development Methods, 2001.
10. A. Eden, Precise specification of design patterns and tool support in their application, Ph.D. Thesis, University of Tel Aviv, Israel, 1999.
11. A.L. Guennec, G. Sunye, J. Jezequel, Precise modeling of design patterns, in: Proceedings of the Third International Conference on the Unified Modeling Language (UML), York, UK, Lecture Notes in Computer Science, vol. 1939, Springer, Berlin, 2000, pp. 482-496.
12. A. Lauder, S. Kent, Precise visual specification of design patterns, in: Proceedings of the 12th European Conference on Object-Oriented Programming, Lecture Notes in Computer Science, vol. 1445, Springer, Berlin, 1998, pp. 114-136.
13. D. Mapelsden, J. Hosking, J. Grundy, Design pattern modelling and instantiation using DPML, in: Proceedings of the 40th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS), ACS, 2002, pp. 3-11.
14. T. Mikkonen, Formalizing design patterns, in: Proceedings of the 20th International Conference on Software Engineering (ICSE), Kyoto, Japan, IEEE Computer Society Press, Silver Spring, MD, 1998, pp. 115-124.
15. D. Kim, A meta-modeling approach to specifying patterns, Ph.D. Thesis, Colorado State University, Fort Collins, CO, 2004.
16. The Object Management Group (OMG), Unified modeling language: superstructure, Version 2.0 Formal/05-07-04, OMG, 〈http://www.omg.org〉, August 2005.
17. DeLano D.E., and Rising L. Patterns for system testing. In: Martin D.R.R., and Buschmann F. (Eds). Pattern Languages of Program Design vol. 3 (1998), Addison-Wesley, Reading, MA 503-527
18. Warmer J., and Kleppe A. The Object Constraint Language Second Edition: Getting Your Models Ready for MDA (2003), Addison-Wesley, Reading, MA
19. France R., Kim D., Ghosh S., and Song E. A UML-based pattern specification technique. IEEE Transactions on Software Engineering 30 3 (2004) 193-206
20. D. Kim, R. France, S. Ghosh, E. Song, A role-based metamodeling approach to specifying design patterns, in: Proceedings of the 27th IEEE Annual International Computer Software and Applications Conference (COMPSAC), Dallas, Texas, IEEE Computer Society Press, Silver Spring, MD, 2003, pp. 452-457.
21. D. Kim, The role-based metamodeling language for specifying design patterns, in: T. Taibi (Ed.), Design Pattern Formalization Technique, Idea Group Inc., 2007.
22. F. Buttner, O. Radfelder, A. Lindow, M. Gogolla, Digging into the Visitor pattern, in: Proceedings of the 16th International Conference on Software Engineering and Knowledge Engineering (SEKE), 2004, pp. 135-141.
23. Knudsen J. Java 2D Graphics (1999), Oreilly
24. Eckel B. Thinking in Java. second ed. (2000), Prentice-Hall, Englewood Cliffs, NJ
25. D. Kim, W. Shen, An approach to evaluating structural pattern conformance of UML models, in: Proceedings of the 22nd Annual ACM Symposium on Applied Computing (ACMSAC), Software Engineering Track, Seoul, Korea, March 2007.
26. W. Shen, W.L. Low, Using abstract state machines to support UML model instantiation checking, in: Proceedings of the IASTED International Conference on Software Engineering, Innsbruck, Austria, ACTA Press, 2005, pp. 100-105.
27. France R., Kim D., Song E., and Ghosh S. Using roles to characterize model families. In: Kilov H. (Ed). Practical Foundations of Business and System Specifications (2003), Kluwer Academic Publishers, Dordrecht 179-195
28. D. Kim, R. France, S. Ghosh, E. Song, Using role-based modeling language (RBML) as precise characterizations of model families, in: Proceedings of the Eighth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Greenbelt, MD, IEEE Computer Society Press, Silver Spring, MD, 2002, pp. 107-116.
29. D. Kim, J. Whittle, Generating UML models from pattern specifications, in: Proceedings of the Third ACIS International Conference on Software Engineering Research, Management and Applications (SERA2005), Michigan, USA, IEEE Computer Society Press, Silver Spring, MD, 2005, pp. 166-173.
30. D. Kim, P. Gokhale, A pattern-based technique for developing UML models of access control systems, in: Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC), Chicago, IL, IEEE Computer Society Press, Silver Spring, MD, 2006, pp. 317-324.
31. Kim D., France R., and Ghosh S. A UML-based language for specifying domain-specific patterns. Journal of Visual Languages and Computing, Special Issue on Domain Modeling with Visual Languages 15 3-4 (2004) 265-289
32. D. Kim, Evaluating conformance of UML modes to design patterns, in: Proceedings of 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Shanghai, China, IEEE Computer Society Press, Silver Spring, MD, 2005, pp. 30-31.
33. D. Kim, L. Lu, Influence of design pattern instances in UML models via logic programming, in: Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Stanford, CA, IEEE Computer Society Press, Silver Spring, MD, 2006, pp. 47-56.
34. France R., Ghosh S., Song E., and Kim D. A metamodeling approach to pattern-based model refactoring. IEEE Software, Special Issue on Model Driven Development 20 5 (2003) 52-58