| Abstract |
|
The use of the Unified Modelling Language (UML)
during systems development has been growing in scale
and complexity, often resulting in inconsistent
specifications. In this paper we present a knowledge base
goal-driven approach for consistency management of
UML specifications represented as axioms, which define
goals. We propose an inference procedure as a flexible
pattern-based abduction used to build and morph paths
based on the specifications. The approach involves a two-step
interaction process between the specifications:
observation and comparison. Prototypes of the knowledge
base engine and of a tool to map UML specifications in
XMI format to the knowledge base have been developed to
demonstrate and evaluate the approach.
|
 Additional Information
|
Citation:
Andrea Zisman, Alexander Kozlenkov,
"Knowledge Base Approach to Consistency Management of UML Specifications,"
ase,
p. 359,
16th IEEE International Conference on Automated Software Engineering (ASE'01),
2001
|
