G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language User Guide, 1998.

J. Bosch, Language support for design patterns, TOOLS Europe'96, pp.197-210, 1996.

D. Distefano, J. Katoen, and A. Rensink, On a temporal logic for objectbased systems, 2000.

H. Amnom and . Eden, Precise Specification of Design Patterns and Tool Support in Their Application, 1999.

H. Amnon, A. Eden, J. Yehudai, and . Gil, Patterns of the agenda, LSDF97: Workshop in conjunction with ECOOP'97, 1997.

G. Florijn, M. Meijers, and P. Van-winsen, Tool support for objectoriented patterns, ECOOP'97, pp.472-495, 1997.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software. Professional Computing Series, 1995.

G. Hedin, Language Support for Design Patterns Using Attribute Extension, Workshop on Language Support for Design Patterns and Object Oriented Frameworks (LSDF), ECOOP'97, pp.209-231, 1997.
DOI : 10.1007/3-540-69687-3_29

T. Mikkonen, Formalizing design patterns, Proceedings of the 20th International Conference on Software Engineering, pp.115-124, 1998.
DOI : 10.1109/ICSE.1998.671108
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.6248

C. Pons, G. Baum, and M. Felder, Integrating object-oriented model with object-oriented metamodel into a single formalism, Proceedings Second ECOOP Workshop on Precise Behavioral Semantics, pp.155-167, 1998.

S. Ramakrishnan and J. Mcgregor, Extending OCL to support temporal operators, Proceedings of the 21st International Conference on Software Engineering (ICSE99) Workshop on Testing Distributed Component-Based Systems, 1999.

T. Reenskaug, UML collaboration and OOram semantics, 1999.

U. Rtf and . Omg, Unified Modeling Language Specification, Version 1.3, UML RTF proposed final revision. OMG, 1999.

J. Soukup, Implementing patterns, Pattern Languages of Program Design, pp.395-412, 1995.

G. Sunyé, A. L. Guennec, and J. Jézéquel, Design Patterns Application in UML, Lecture Notes in Computer Science, pp.44-62, 1850.
DOI : 10.1007/3-540-45102-1_3