Title :
Static component compatibility visualisation for various component models
Author :
Jezek, Kamil ; Holy, L. ; Brada, P.
Author_Institution :
Eur. Centre of Excellence, Univ. of West Bohemia, Pilsen, Czech Republic
Abstract :
Current software development sees a trend towards modular architectures such as software libraries or components. The main idea is to increase the reusability and decrease the total price and time to ship of a final product. While this trend is slowly meeting its expectation, some issues still need to be solved. One of them is a consistency verification of application components performed before the product is shipped and deployed. Application failures at a target environment caused by the inconsistencies can be more expensive than the overall save of the modular design was. For that reason, we propose a visualisation tool that shows static incompatibilities of components from various component models. We assume this tool helps developers to discover inconsistencies of component applications before they are released.
Keywords :
data visualisation; formal verification; software reusability; consistency verification; modular architecture; software development; software libraries; static component compatibility visualisation; static incompatibility; Computational modeling; Concrete; Data visualization; Educational institutions; Load modeling; Software; Visualization;
Conference_Titel :
Visual Languages and Human-Centric Computing (VL/HCC), 2013 IEEE Symposium on
Conference_Location :
San Jose, CA
DOI :
10.1109/VLHCC.2013.6645263