Issue No. 02 - March/April (2010 vol. 36)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSE.2009.56
Doug Kimelman , IBM Thomas J. Watson Research Center, Yorktown Heights
Marsha Kimelman , Independent Consultant
David Mandelin , Mozilla Corporation, Mountain View
Daniel M. Yellin , IBM Israel Software Lab, Jerusalem
IT system architectures and many other kinds of structured artifacts are often described by formal models or informal diagrams. In practice, there are often a number of versions of a model or diagram, such as a series of revisions, divergent variants, or multiple views of a system. Understanding how versions correspond or differ is crucial, and thus, automated assistance for matching models and diagrams is essential. We have designed a framework for finding these correspondences automatically based on Bayesian methods. We represent models and diagrams as graphs whose nodes have attributes such as name, type, connections to other nodes, and containment relations, and we have developed probabilistic models for rating the quality of candidate correspondences based on various features of the nodes in the graphs. Given the probabilistic models, we can find high-quality correspondences using search algorithms. Preliminary experiments focusing on architectural models suggest that the technique is promising.
Bayesian techniques, IT system architecture, modeling tools, change control.
D. Mandelin, D. M. Yellin, M. Kimelman and D. Kimelman, "Bayesian Approaches to Matching Architectural Diagrams," in IEEE Transactions on Software Engineering, vol. 36, no. , pp. 248-274, 2009.