Full Text:   <1308>

Summary:  <772>

CLC number: TP311

On-line Access: 2013-10-08

Received: 2013-02-05

Revision Accepted: 2013-07-09

Crosschecked: 2013-09-16

Cited: 2

Clicked: 2881

Citations:  Bibtex RefMan EndNote GB/T7714

-   Go to

Article info.
1. Reference List
Open peer comments

Journal of Zhejiang University SCIENCE C 2013 Vol.14 No.10 P.743-755


A metamodeling approach for pattern specification and management

Author(s):  Liang Dou, Qiang Liu, Zong-yuan Yang

Affiliation(s):  Department of Computer Science and Technology, East China Normal University, Shanghai 200241, China

Corresponding email(s):   ldou@cs.ecnu.edu.cn

Key Words:  Design patterns, Metamodeling, Pattern management system, Kermeta, Java modeling languages

Share this article to: More |Next Article >>>

Liang Dou, Qiang Liu, Zong-yuan Yang. A metamodeling approach for pattern specification and management[J]. Journal of Zhejiang University Science C, 2013, 14(10): 743-755.

@article{title="A metamodeling approach for pattern specification and management",
author="Liang Dou, Qiang Liu, Zong-yuan Yang",
journal="Journal of Zhejiang University Science C",
publisher="Zhejiang University Press & Springer",

%0 Journal Article
%T A metamodeling approach for pattern specification and management
%A Liang Dou
%A Qiang Liu
%A Zong-yuan Yang
%J Journal of Zhejiang University SCIENCE C
%V 14
%N 10
%P 743-755
%@ 1869-1951
%D 2013
%I Zhejiang University Press & Springer
%DOI 10.1631/jzus.C1300040

T1 - A metamodeling approach for pattern specification and management
A1 - Liang Dou
A1 - Qiang Liu
A1 - Zong-yuan Yang
J0 - Journal of Zhejiang University Science C
VL - 14
IS - 10
SP - 743
EP - 755
%@ 1869-1951
Y1 - 2013
PB - Zhejiang University Press & Springer
ER -
DOI - 10.1631/jzus.C1300040

The formal specification of design patterns is central to pattern research and is the foundation of solving various pattern-related problems. In this paper, we propose a metamodeling approach for pattern specification, in which a pattern is modeled as a meta-level class and its participants are meta-level references. Instead of defining a new metamodel, we reuse the Unified Modeling Language (UML) metamodel and incorporate the concepts of Variable and Set into our approach, which are unavailable in the UML but essential for pattern specification. Our approach provides straightforward solutions for pattern-related problems, such as pattern instantiation, evolution, and implementation. By integrating the solutions into a single framework, we can construct a pattern management system, in which patterns can be instantiated, evolved, and implemented in a correct and manageable way.

Darkslateblue:Affiliate; Royal Blue:Author; Turquoise:Article


[1]Albin-Amiot, H., Guehénéuc, Y.G., 2001. Meta-Modeling Design Patterns: Application to Pattern Detection and Code Synthesis. Proc. 1st ECOOP Workshop on Automating Object-Oriented Software Development Methods, p.1-35.

[2]Atkinson, C., Kuhne, T., 2003. Model-driven development: a metamodeling foundation. IEEE Softw., 20(5):36-41.

[3]Dong, J., 2002. Design Component Contracts: Model and Analysis of Pattern-Based Composition. PhD Thesis, Computer Science Department, University of Waterloo, Ontario, Canada.

[4]Dong, J., Alencar, P.S.C., Cowan, D.D., 2000. Ensuring Structure and Behavior Correctness in Design Composition. Proc. 7th IEEE Int. Conf. and Workshop on the Engineering of Computer Based Systems, p.279-287.

[5]Dong, J., Alencar, P.S.C., Cowan, D.D., Sheng, Y., 2007a. Composing pattern-based components and verifying correctness. J. Syst. Softw., 80(11):1755-1769.

[6]Dong, J., Yang, S., Zhang, K., 2007b. Visualizing design patterns in their applications and compositions. IEEE Trans. Softw. Eng., 33(7):433-453.

[7]Eden, A.H., Hirshfeld, Y., 2001. Principles in Formal Specification of Object Oriented Architectures. Proc. 11th Conf. of the Centre for Advanced Studies on Collaborative Research, p.3.

[8]Eden, A.H., Hirshfeld, Y., Kazman, R., 2006. Abstraction classes in software design. IEE Proc.-Softw., 153(4):163-182.

[9]Gamma, E., Helm, R., Johnson, R., Vlissides, J., 2004. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Boston, MA, USA.

[10]Hannemann, J., Kiczales, G., 2002. Design Pattern Implementation in Java and AspectJ. Proc. 17th ACM SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages, and Applications, p.161-173.

[11]Leavens, G.T., Baker, A.L., Ruby, C., 1998. JML: a Java Modeling Language. Formal Underpinnings of Java Workshop.

[12]Mapelsden, D., Hosking, J., Grundy, J., 2002. Design Pattern Modelling and Instantiation Using DPML. Proc. 40th Int. Conf. on Tools Pacific: Objects for Internet, Mobile and Embedded Applications, p.3-11.

[13]Reiter, R., 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge, MA, USA.

[14]Soundarajan, N., Hallstrom, J.O., 2004. Responsibilities and Rewards: Specifying Design Patterns. Proc. 26th Int. Conf. on Software Engineering, p.666-675.

[15]Taibi, T., Ling, D.N.C., 2003. Formal specification of design pattern combination using BPSL. Inf. Softw. Technol., 45(3):157-170.

[16]Zhao, C.Y., Kong, J., Zhang, K., 2007. Design Pattern Evolution and Verification Using Graph Transformation. Proc. 40th Annual Hawaii Int. Conf. on System Sciences, p.290-297.

Open peer comments: Debate/Discuss/Question/Opinion


Please provide your name, email address and a comment

Journal of Zhejiang University-SCIENCE, 38 Zheda Road, Hangzhou 310027, China
Tel: +86-571-87952783; E-mail: cjzhang@zju.edu.cn
Copyright © 2000 - Journal of Zhejiang University-SCIENCE