Extensible Real Time Software Design Inconsistency Checker A Model Driven Approach
Unidentified inconsistencies in software design models can obstruct the desired time to market attribute of software. The consequences of them are far reaching besides being reflected in the implementation. Detecting and tracking inconsistencies in model driven software development has been challenging. However, there is an encouraging fact that the emergence of Unified Modelling Language (UML) brought uniform notations to be used across the globe. Many UML based design consistency checkers came into existence. However an effective automated approach for consistency checking is still desired as it can lead to early detection of inconsistencies. Thus frequently occurring cost and budget overruns in software industry can be eliminated. Towards this end this paper implemented a framework named Extensible Real Time Software Design Inconsistency Checker (XRTSDIC) The framework enables software engineers to have real time feedback on model inconsistencies throw light into the issues early as it is wise to use a stitch in time and avoid eight. The consistency checker not only exploits consistency rules but also viewpoints besides supporting a degree of formal tolerance for inconsistencies. This makes the proposed system flexible with user description while resolving inconsistencies. Our empirical evaluation shows that implemented approach is comparable with previous approaches with significant improvement in speed, scalability and accuracy in detecting inconsistencies in software design models. The prototype demonstrates the proof of concept. Index Terms tracking inconsistencies, unified modelling language, software design models.