Inference of Design Pattern Instances in UML models via Logic Programming

Authors:
Dae-Kyoo Kim;Lunjin Lu
Affiliations:
Oakland University Rochester, MI;Oakland University Rochester, MI
Venue:
ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
Year:
2006

Citing 0
Cited 3

An approach to precisely specifying the problem domain of design patterns

Journal of Visual Languages and Computing
Formal specification of the variants and behavioural features of design patterns

Journal of Systems and Software
An algebra of design patterns

ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conformance of a model to a design pattern is equivalent to the satisfaction of the query by the logic program. Harnessing logic inference capability of logic programming languages, we obtain an automated method that infers all the instances of a design pattern in a UML class diagram. We use the Visitor pattern and a price calculation application to demonstrate the technique.