Using integrated metamodeling to define OO design patterns with object-Z and UML

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2004, Pages 257-264

  Kim, Soon Kyeong ^a   Carrington, David ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

METAMODELING; MODEL-DRIVE APPROACHES; OBJECT-ORIENTED (OO) DESIGN; PATTERN-BASE MODEL;

AUTOMATION; CLIENT SERVER COMPUTER SYSTEMS; CONSTRAINT THEORY; SEMANTICS;

SOFTWARE ENGINEERING;

EID: 18944400741     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2004.108     Document Type: Conference Paper

References (20)

1. Atkinson C. and T. Kühne. The Essence of Multilevel Metamodeling, in Proc. of UML 2001, LNCS 2185, Springer-Verlag, pp. 19-33.
2. Dong J. UML Extensions for Design Pattern Compositions. Journal of Object Technology, Vol. 1(5), 2002, pp. 149-161.
3. Duke R. and G. Rose. Formal Object-Oriented Specification Using Object-Z. 2000, Macmillan.
4. Eden A. H, J. Gil and A. Yehudai. A Formal Language for Design Patterns. The 3rd Annual Conference on the Pattern Languages of Programs - PloP (Washington University technical report WUCS-97-07), 1996. http://www.cs. concordia.ca/~faculty/eden/orecise_and formal/
5. Eden A., Y. Hirshfeld and A. Yehudai. LePUS - A Declarative Pattern Specification Language. Technical report 326/98, Department of Computer Science, Tel Aviv University http://www.math.tau.ac.il/~eden/bibliography.html#lepus
6. Flores A., L. Reynoso and R. Moore. A Formal Model of Object-Oriented Design and GoF Patterns, in Proc. of FME 2001, LNCS 2021, Springer-Verlag, pp. 223-241.
7. Fontoura M. and C. Lucena. Extending UML to Improve the Representation of Design Patterns, Journal of Object-Oriented Programming, Vol. 13(11), 2001, pp. 12-19.
8. France, R., D.-K. Kim, G. Sudipto and E. Song. A UML-Based Pattern Specification Technique. IEEE Transactions on Software Engineering, Vol. 30(3), 2004, pp. 193-206.
9. Gamma E., R. Helm, R. Johnson and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software, 1995, Addison Wesley.
10. Guennec A., G. Sunye and J. Jezequel. Precise Modeling of Design Patterns, in Proc. of UML 2000, LNCS 1939, 2000, Springer-Verlag, pp. 482-496.
11. Kim S. K. and D. Carrington. Formalizing the UML class diagram using Object-Z, in Proc of UML'99, LNCS 1723, 1999, Springer-Verlag, pp. 83-98.
12. Kim S. K. and D. Carrington. A Formal Metamodeling Approach to Defining OO Design Patterns Based on Roles, Internal Report, ITEE, The University of Queensland, 2004.
13. Lano K., S. Goldsack and J. Bicarregui. Formalizing Design Patterns, in Proc of the BCS-FACS, 1996. http://wwwl.bcs.org.uk/DocsRepository/02700/2790/ lano.pdf
14. Lauder A. and S. Kent. Precise Visual Specification of Design Patterns, in Proc. of ECOOP' 98, LNCS 1445, 1998, Springer-Verlag, pp. 114-134.
15. Miller J. and J. Mukerji (Eds). MDA Guide Version 1.0.1 OMG Document number omg/03-06-01, OMG, June 12, 2003.
16. OMG. UML 2.0 superstructure specification, http://www.omg.org/uml/
17. Riehle D. Describing and Composing Patterns Using Role Diagrams, in Proc. of the Ubilab Conference' 96, 1996, pp. 137-152.
18. Sanada Y. and R. Adams. Representing Design Patterns and Frameworks in UML - Towards a Comprehensive Approach, Journal of Object Technology, Vol. 1(2), 2002, pp. 143-154.
19. Smith G. The Object-Z Specification Language. Advances in Formal Methods. 2000, Kluwer Academic Publishers.
20. Taibi T. and D. Ngo. Formal Specification of Design Patterns - A Balanced Approach, Journal of Object-Oriented Programming, Vol. 2(4), 2003, pp. 128-140.