Scalable consistency checking between diagrams - the VIEWINTEGRA approach | IEEE Conference Publication | IEEE Xplore

Scalable consistency checking between diagrams - the VIEWINTEGRA approach


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 More

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.
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
Conference Location: San Diego, CA, USA
Citations are not available for this document.

1. Introduction

Models and diagrams are useful in separating concerns and handling complexity by providing different viewpoints. Diagrams have in common that they break up software development into smaller, more comprehensible pieces utilizing a divide and conquer strategy. These pieces are related in the system they describe and, combined, they form a model description of a system [2].

Cites in Papers - |

Cites in Papers - IEEE (15)

Select All
1.
Jan Keim, Sophie Corallo, Dominik Fuchß, Anne Koziolek, "Detecting Inconsistencies in Software Architecture Documentation Using Traceability Link Recovery", 2023 IEEE 20th International Conference on Software Architecture (ICSA), pp.141-152, 2023.
2.
Massila Kamalrudin, John Grundy, John Hosking, "Managing Consistency between Textual Requirements, Abstract Interactions and Essential Use Cases", 2010 IEEE 34th Annual Computer Software and Applications Conference, pp.327-336, 2010.
3.
Massila Kamalrudin, "Automated Software Tool Support for Checking the Inconsistency of Requirements", 2009 IEEE/ACM International Conference on Automated Software Engineering, pp.693-697, 2009.
4.
Mohammad N. Alanazi, "Basic Rules to Build Correct UML Diagrams", 2009 International Conference on New Trends in Information and Service Science, pp.72-76, 2009.
5.
Mohammad N. Alanazi, David A. Gustafson, "Super State Analysis for UML State Diagrams", 2009 WRI World Congress on Computer Science and Information Engineering, vol.7, pp.560-565, 2009.
6.
Ananya Kanjilal, Sabnam Sengupta, Swapan Bhattacharya, "Analysis of object-oriented design: A metrics based approach", TENCON 2009 - 2009 IEEE Region 10 Conference, pp.1-6, 2009.
7.
P. G. Sapna, Hrushikesha Mohanty, "Ensuring Consistency in Relational Repository of UML Models", 10th International Conference on Information Technology (ICIT 2007), pp.217-222, 2007.
8.
Sabnam Sengupta, Swapan Bhattacharya, "Functional Specifications of Object Oriented Systems: A Model Driven Framework", 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), vol.1, pp.667-672, 2007.
9.
Petri Selonen, Markus Kettunen, "Metamodel-Based Inference of Inter-Model Correspondence", 11th European Conference on Software Maintenance and Reengineering (CSMR'07), pp.71-80, 2007.
10.
S.P. Reiss, "Incremental Maintenance of Software Artifacts", IEEE Transactions on Software Engineering, vol.32, no.9, pp.682-697, 2006.
11.
Z. Xing, E. Stroulia, "Analyzing the evolutionary history of the logical design of object-oriented software", IEEE Transactions on Software Engineering, vol.31, no.10, pp.850-868, 2005.
12.
S.P. Reiss, "Incremental maintenance of software artifacts", 21st IEEE International Conference on Software Maintenance (ICSM'05), pp.113-122, 2005.
13.
Zhenchang Xing, E. Stroulia, "Understanding phases and styles of object-oriented systems' evolution", 20th IEEE International Conference on Software Maintenance, 2004. Proceedings., pp.242-251, 2004.
14.
Zhenchang Xing, E. Stroulia, "Understanding class evolution in object-oriented software", Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004., pp.34-43, 2004.
15.
Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li, "Linking UML models of design and requirement", 2004 Australian Software Engineering Conference. Proceedings., pp.329-338, 2004.

Cites in Papers - Other Publishers (13)

1.
P. G. Sapna, Hrushikesha Mohanty, Arunkumar Balakrishnan, Computer Systems and Software Engineering, pp.993, 2018.
2.
Massila Kamalrudin, John Hosking, John Grundy, "MaramaAIC: tool support for consistency management and validation of requirements", Automated Software Engineering, vol.24, no.1, pp.1, 2017.
3.
P. G. Sapna, Hrushikesha Mohanty, Arunkumar Balakrishnan, Advances and Applications in Model-Driven Engineering, pp.300, 2014.
4.
Rimon Mikhaiel, Nikolaos Tsantalis, Natalia Negara, Eleni Stroulia, Zhenchang Xing, Generative and Transformational Techniques in Software Engineering IV, vol.7680, pp.159, 2013.
5.
Zohaib Khai, Aamer Nadeem, Gang-soo Lee, Software Engineering, Business Continuity, and Education, vol.257, pp.85, 2011.
6.
Massila Kamalrudin, John Hosking, John Grundy, "Improving requirements quality using essential use case interaction patterns", 2011 33rd International Conference on Software Engineering (ICSE), pp.531-540, 2011.
7.
Swapan Bhattacharya, Ananya Kanjilal, Sabnam Sengupta, "Tools and Techniques for Model Based Testing", Handbook of Research on Software Engineering and Productivity Technologies, pp.226, 2010.
8.
Zhenchang Xing, Eleni Stroulia, "Differencing logical UML models", Automated Software Engineering, vol.14, no.2, pp.215, 2007.
9.
Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li, Theoretical Aspects of Computing - ICTAC 2004, vol.3407, pp.170, 2005.
10.
Zhiming Liu, Jifeng He, Xiaoshan Li, "Towards a Rigorous Approach to UML-Based Development", Electronic Notes in Theoretical Computer Science, vol.130, pp.57, 2005.
11.
Roshanak Roshandel, Nenad Medvidovic, Architecting Dependable Systems II, vol.3069, pp.286, 2004.
12.
Zhiming Liu, He Jifeng, Xiaoshan Li, Yifeng Chen, Formal Methods and Software Engineering, vol.2885, pp.641, 2003.
13.
Zhiming Liu, Xiaoshan Li, Jifeng He, Formal Methods and Software Engineering, vol.2495, pp.535, 2002.

References

References is not available for this document.