This paper describes a procedure and a prototype implementation for automatic recognition of Software Design Patterns from documentation of Software artifacts design and implementation, provided in machine readable form, namely UML diagrams. The procedure is based on a semantic representation of the patterns to be recognized, provided by the ODOL language developed at the Massey University (New Zealand), which we have augmented with an OWL-S based representation of the dynamic behavior of the pattern. The UML set of diagrams which are included in the design and implementation documentation of the Software artifact are automatically analyzed and translated into a first-order logic representation. The ODOL+OWL-S Design patterns representation is likewise translated in a Prolog based representation. A set of first order logic rules have been defined for describing the heuristics and features which trigger the recognition, based on the Prolog description of the patterns to be recognized, and applied to the base of prolog facts which represent the UML documentation. Such set of rules is independent from the specific pattern to be recognized.
Riconoscimento Automatico di Design Pattern da documentazione UML di Software Artifact
DI MARTINO, Beniamino;Esposito A.
2013
Abstract
This paper describes a procedure and a prototype implementation for automatic recognition of Software Design Patterns from documentation of Software artifacts design and implementation, provided in machine readable form, namely UML diagrams. The procedure is based on a semantic representation of the patterns to be recognized, provided by the ODOL language developed at the Massey University (New Zealand), which we have augmented with an OWL-S based representation of the dynamic behavior of the pattern. The UML set of diagrams which are included in the design and implementation documentation of the Software artifact are automatically analyzed and translated into a first-order logic representation. The ODOL+OWL-S Design patterns representation is likewise translated in a Prolog based representation. A set of first order logic rules have been defined for describing the heuristics and features which trigger the recognition, based on the Prolog description of the patterns to be recognized, and applied to the base of prolog facts which represent the UML documentation. Such set of rules is independent from the specific pattern to be recognized.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
