Abstract:
The Unified Modeling Language (UML) supports a wide range of diagrams for modeling software development concerns. UML diagrams are independent but connected; their meta-m...Show MoreMetadata
Abstract:
The Unified Modeling Language (UML) supports a wide range of diagrams for modeling software development concerns. UML diagrams are independent but connected; their meta-model describes them under a common roof. Despite the advances of UML, we found that the problem of ensuring consistency between UML diagrams has not been solved. We have developed an approach for automated consistency checking, called VIEWINTEGRA.. Our approach provides excellent support for active (preventive) and passive (detective) consistency checking. We make use of consistent transformation to translate diagrams into interpretations and we use consistency comparison to compare those interpretations to other diagrams. Our approach was applied to a number of applications where we found the separation of transformation and comparison to be highly beneficial in addressing consistency-checking scalability and usability issues. The paper introduces our UML-based transformation framework, discusses how it aids comparison, and demonstrates how it improves consistency checking.
Published in: Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)
Date of Conference: 26-29 November 2001
Date Added to IEEE Xplore: 07 August 2002
Print ISBN:0-7695-1426-X
Print ISSN: 1938-4300
References is not available for this document.
Select All
1.
M. Abi-Antoun and N. Medvidovic, "Enabling the Refinement of a Software Architecture into a Design", Proceedings of the 2nd International Conference on the Unified Modeling Language (UML), Oct. 1999.
2.
R. Balzer, "Tolerating Inconsistency", Proceedings of 13th International Conference on Software Engineering (ICSE-13), pp. 158-165, May 1991.
3.
M. Moriconi, X. Qian and R. A. Riemenschneider, "Correct Architecture Refinement", IEEE Transactions on Software Engineering, vol. 21, pp. 356-372, Apr 1995.
4.
B. Nuseibeh, "A Multi-Perspective Framework for Method Integration", Imperial College of Science Technology and Medicine., 1994.
5.
R. N. Taylor, N. Medvidovic, K. N. Anderson, E. J. Whitehead, J. E. Robbins, K. A. Nies, et al., "A Component- and Message-Based Architectural Style for GUI Software", IEEE Transactions on Software Engineering, vol. 22, pp. 390-406, 1996.