- About EITEE
- Articles Online
- For Authors
- For Reviewers
- Features
- Subscription & Service
- Personal Center
- Logout
FOLLOWUS
- About EITEE
- Introduction
- Editorial Board
- Corresponding Experts
- Events
- Honors
- Contact Us
- Articles Online
- Current Issue
- Archive
- Special Issues
- Virtual Issues
- Highlights
- In Press
- For Authors
- Submit
- Call for papers
- Guide for Authors
- Ethics & Disclosures
- Fee & Funding
- Downloads
- For Reviewers
- Guide for Reviewers
- Ethics & Disclosures
- Thanks card
- Features
- FITEE Forum
- Engineering Front
- Paper Videos
- Editors’ Corner
- Other Resources
- Subscription & Service
- Subscription
- Services
A metamodeling approach for pattern specification and management
- A metamodeling approach for pattern specification and management
- Frontiers of Information Technology & Electronic Engineering Vol. 14, Issue 10, Pages: 743-755(2013)
- Affiliations：
Department of Computer Science and Technology, East China Normal University, Shanghai 200241, China
- Author bio：
[ "Liang DOU, E-mail: ldou@cs.ecnu.edu.cn" ]
- Funds：
DOI：10.1631/jzus.C1300040
CLC： TP311Received：05 February 2013，
Revised：2013-;9-16，
Published：2013-10
- Accepted：
Scan QR Code
Liang DOU, Qiang LIU, Zong-yuan YANG. A metamodeling approach for pattern specification and management[J]. Frontiers of Information Technology & Electronic Engineering, 2013, 14(10): 743-755.
Liang DOU, Qiang LIU, Zong-yuan YANG. A metamodeling approach for pattern specification and management[J]. Frontiers of Information Technology & Electronic Engineering, 2013, 14(10): 743-755. DOI： 10.1631/jzus.C1300040.
摘要
Abstract
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.
关键词
Keywords
references
H. Albin-Amiot , , , Y.G. Guehénéuc . . Meta-Modeling Design Patterns: Application to Pattern Detection and Code Synthesis . . Proc. 1st ECOOP Workshop on Automating Object-Oriented Software Development Methods , , 2001 . . p.1 - - 35 . . . .
C. Atkinson , , , T. Kuhne . . Model-driven development: a metamodeling foundation . . IEEE Softw. , , 2003 . . 20 ( ( 5 ): ): 36 - - 41 . . DOI: 10.1109/MS.2003.1231149 http://doi.org/10.1109/MS.2003.1231149 . .
J. Dong . . Design Component Contracts: Model and Analysis of Pattern-Based Composition . . PhD Thesis, Computer Science Department, University of Waterloo, Ontario, Canada. , , 2002 . . .
J. Dong , , , P.S.C. Alencar , , , D.D. Cowan . . Ensuring Structure and Behavior Correctness in Design Composition . . Proc. 7th IEEE Int. Conf. and Workshop on the Engineering of Computer Based Systems , , 2000 . . p.279 - - 287 . . DOI: 10.1109/ECBS.2000.839887 http://doi.org/10.1109/ECBS.2000.839887 . .
J. Dong , , , P.S.C. Alencar , , , D.D. Cowan , , , Y. Sheng . . Composing pattern-based components and verifying correctness . . J. Syst. Softw. , , 2007a . . 80 ( ( 11 ): ): 1755 - - 1769 . . DOI: 10.1016/j.jss.2007.03.005 http://doi.org/10.1016/j.jss.2007.03.005 . .
J. Dong , , , S. Yang , , , K. Zhang . . Visualizing design patterns in their applications and compositions . . IEEE Trans. Softw. Eng. , , 2007b . . 33 ( ( 7 ): ): 433 - - 453 . . DOI: 10.1109/TSE.2007.1012 http://doi.org/10.1109/TSE.2007.1012 . .
A.H. Eden , , , Y. Hirshfeld . . Principles in Formal Specification of Object Oriented Architectures . . Proc. 11th Conf. of the Centre for Advanced Studies on Collaborative Research , , 2001 . . p.3 . .
A.H. Eden , , , Y. Hirshfeld , , , R. Kazman . . Abstraction classes in software design . . IEE Proc.-Softw. , , 2006 . . 153 ( ( 4 ): ): 163 - - 182 . . DOI: 10.1049/ip-sen:20050075 http://doi.org/10.1049/ip-sen:20050075 . .
E. Gamma , , , R. Helm , , , R. Johnson , , , J. Vlissides . . Design Patterns: Elements of Reusable Object-Oriented Software . . Addison-Wesley, Boston, MA, USA , , 2004 . . .
J. Hannemann , , , G. Kiczales . . Design Pattern Implementation in Java and AspectJ . . Proc. 17th ACM SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages, and Applications , , 2002 . . p.161 - - 173 . . DOI: 10.1145/582419.582436 http://doi.org/10.1145/582419.582436 . .
G.T. Leavens , , , A.L. Baker , , , C. Ruby . . JML: a Java Modeling Language . . Formal Underpinnings of Java Workshop , , 1998 . . .
D. Mapelsden , , , J. Hosking , , , J. Grundy . . Design Pattern Modelling and Instantiation Using DPML . . Proc. 40th Int. Conf. on Tools Pacific: Objects for Internet, Mobile and Embedded Applications , , 2002 . . p.3 - - 11 . . . .
R. Reiter . . Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems . . MIT Press, Cambridge, MA, USA , , 2001 . . .
N. Soundarajan , , , J.O. Hallstrom . . Responsibilities and Rewards: Specifying Design Patterns . . Proc. 26th Int. Conf. on Software Engineering , , 2004 . . p.666 - - 675 . . DOI: 10.1109/ICSE.2004.1317488 http://doi.org/10.1109/ICSE.2004.1317488 . .
T. Taibi , , , D.N.C. Ling . . Formal specification of design pattern combination using BPSL . . Inf. Softw. Technol. , , 2003 . . 45 ( ( 3 ): ): 157 - - 170 . . DOI: 10.1016/S0950-5849(02)000195-7 http://doi.org/10.1016/S0950-5849(02)000195-7 . .
C.Y. Zhao , , , J. Kong , , , K. Zhang . . Design Pattern Evolution and Verification Using Graph Transformation . . Proc. 40th Annual Hawaii Int. Conf. on System Sciences , , 2007 . . p.290 - - 297 . . DOI: 10.1109/HICSS.2007.169 http://doi.org/10.1109/HICSS.2007.169 . .
- L-PDFDownload
- Meta-XMLDownload
- BibTeXDownload
- EndnoteDownload
- RefMan Download
- NoteExpressDownload
- NoteFirstDownload
Publicity Resources
Related Articles
Related Author
Related Institution
Chat- Address：Zhejiang University Press, 148 Tianmushan Road, Hangzhou, China Postal code：310028
- Tel：+86-571-88273162 Email：fitee@zju.edu.cn
- Copyright © 2000 - 2025, Zhejiang University Press 京ICP备09064830号-19
京公网安备11010802024621 - It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
- Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.
