Tool Support for Design Pattern Recognition at Model Level

Authors:
Hong Zhu;Ian Bayley;Lijun Shan;Richard Amphlett
Affiliations:
-;-;-;-
Venue:
COMPSAC '09 Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 01
Year:
2009

Citing 0
Cited 6

Formal specification of the variants and behavioural features of design patterns

Journal of Systems and Software
Laws of pattern composition

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
An institution theory of formal meta-modelling in graphically extended BNF

Frontiers of Computer Science in China
An algebra of design patterns

ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Automated verification of design patterns: A case study

Science of Computer Programming
An approach to automatically enforce object-oriented constraints

International Journal of Computer Applications in Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This paper presents such a tool, called LAMBDES-DP, with UML diagrams as the software design models. Its theoretical foundation is a descriptive semantics of UML in first order logic, and the design patterns are formally specified in the same language. The tool uses the LAMBDES system to translate the UML diagrams into their descriptive semantics and invokes the theorem prover SPASS to decide whether the design conforms to a pattern. Our experiments show that our tool has significantly lower rates of false positive and false negative errors compared with existing tools.