文章基本信息
- 标题：Verification of Structural Pattern Conformance Using Logic Programming
- 本地全文：下载
- 作者：Lunjin Lu (Oakland University ; USA) Dae-Kyoo Kim (Oakland University ; USA) Yuanlin Zhu (Oakland University 等
- 期刊名称：Journal of Universal Computer Science
- 印刷版ISSN：0948-6968
- 出版年度：2010
- 卷号：16
- 期号：17
- 出版社：Graz University of Technology and Know-Center
- 摘要：
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.
- 关键词：
Prolog, UML, design pattern, logic programming, pattern conformance
Categories: D.2.10 , D.2.13
