JUCS - Journal of Universal Computer Science 16(17): 2455-2474, doi: 10.3217/jucs-016-17-2455
Verification of Structural Pattern Conformance Using Logic Programming
expand article infoLunjin Lu‡, Dae-Kyoo Kim‡, Yuanlin Zhu‡, Sangsig Kim‡
‡ Oakland University, Rochester, United States of America

Corresponding author: Lunjin Lu ( l2lu@oakland.edu )

© Lunjin Lu, Dae-Kyoo Kim, Yuanlin Zhu, Sangsig Kim.
This article is freely available under the J.UCS Open Content License.
Citation: Lu L, Kim D-K, Zhu Y, Kim S (2010) Verification of Structural Pattern Conformance Using Logic Programming. JUCS - Journal of Universal Computer Science 16(17): 2455-2474. https://doi.org/10.3217/jucs-016-17-2455
Open Access
Abstract
This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class diagram to a structural pattern. We also present a conformance verification method which represents a class diagram as a logic program and a structural pattern as a query. The conformance of the class diagram to the structural pattern is verified by computing all the answers to the query by the logic program and checking the satisfaction of realization multiplicity constraints imposed by the pattern.
Keywords
design pattern, logic programming, pattern conformance, Prolog, UML