A tool for a formal pattern modeling language

Kim, Soon-Kyeong and Carrington, David (2006). A tool for a formal pattern modeling language. In: Z. Liu and J. He, Proceedings of 8th International Conference on Formal Engineering Methods (ICFEM 2006). 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, China, (568-587). 1-3 November 2006.


Author Kim, Soon-Kyeong
Carrington, David
Title of paper A tool for a formal pattern modeling language
Conference Paper Type Fully Published Paper
Conference name 8th International Conference on Formal Engineering Methods (ICFEM 2006)    (ERA 2010 Rank B)
DOI 10.1007/11901433_31
Conference location Macao, China
Conference dates 1-3 November 2006
Proceedings title Proceedings of 8th International Conference on Formal Engineering Methods (ICFEM 2006)  (ERA 2012 Listed)   Check publisher's open access policy
Journal name Lecture Notes in Computer Science  (ERA 2012 Listed)   Check publisher's open access policy
Editor Z. Liu
J. He
Place published Berlin, Germany
Publisher Springer
Publication date 2006
Volume number 4260
ISBN 9783540474609
ISSN 0302-9743; 1611-3349
Start page 568
End page 587
Total pages 20
Collection year 2006
Language eng
Abstract/Summary This paper presents a formal but practical approach for defining and using design patterns. Initially we formalize the concepts commonly used in defining design patterns using Object-Z. We also formalize consistency constraints that must be satisfied when a pattern is deployed in a design model. Then we implement the pattern modeling language and its consistency constraints using an existing modeling framework, EMF, and incorporate the implementation as plug-ins to the Eclipse modeling environment. While the language is defined formally in terms of Object-Z definitions, the language is implemented in a practical environment. Using the plug-ins, users can develop precise pattern descriptions without knowing the underlying formalism, and can use the tool to check the validity of the pattern descriptions and pattern usage in design models. In this work, formalism brings precision to the pattern language definition and its implementation brings practicability to our pattern-based modeling approach.
Subjects 280302 Software Engineering
700100 Computer Software and Services
Keyword Design pattern
Object-Z
Formal pattern modeling language
Model evolution
Model transformation
Pattern tool
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in Thomson Reuters Web of Science Article
Scopus Citation Count Cited 1 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Access Statistics: 57 Abstract Views  -  Detailed Statistics
Created: Thu, 23 Aug 2007, 22:28:44 EST