Issue No. 03 - March (1992 vol. 18)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.126767
<p>A method for automating the process of system decomposition is described. The method is based on a formal specification scheme, formal definition of good decomposition, heuristic rules governing the search for good candidate decompositions, and a measure of complexity that allows ranking of the candidate decompositions. The decomposition method has been implemented as a set of experimental computerized systems analysis tools and applied to a standard problem for which other designs already exist. The results are encouraging, in that decompositions generated using other methodologies map easily into those suggested by the computerized tools. Additionally, the use of the method indicates that when more than one 'good' decomposition is suggested by the system, the specifications might have been incomplete. That is, the computerized tools can identify areas where more information should be sought by analysis.</p>
automated approach; information systems decomposition; formal specification scheme; formal definition; heuristic rules; complexity; experimental computerized systems analysis tools; standard problem; computational complexity; formal specification; software tools; systems analysis
Y. Wand and D. Paulson, "An Automated Approach to Information Systems Decomposition," in IEEE Transactions on Software Engineering, vol. 18, no. , pp. 174-189, 1992.