Verifying Runtime Reconfiguration Requirements on UML Models


Ciraci, Selim and Broek, Pim van den and Aksit, Mehmet (2010) Verifying Runtime Reconfiguration Requirements on UML Models. In: Pierre van der Laar & Teade Punter (Eds.), Views on Evolvability of Embedded Systems. Springer, pp. 209-225. ISBN 9789048198481

open access
Abstract:Runtime reconfiguration is a method used for changing the structure and the call pattern such that the software can adapt itself to the client’s computing environment. The current practice of verifying software models with respect to the reconfiguration requirements is rather subjective: based on the stakeholders’ needs, architects define a set of reconfiguration scenarios and manually trace the models. This chapter presents a novel process and a tool for automating the verification of the UML class and sequence diagrams with respect to runtime reconfiguration requirements. In this process, the models are simulated, which generates the execution tree. In the execution tree, each path from root to a leaf node is an execution sequence. The branching in this tree is caused by the reconfiguration of the structure and the call pattern. The runtime reconfiguration requirements are expressed with a visual state-based language which is verified against the execution tree. If the verification fails, feedback about the possible location of the problem is presented to the designers. The process has been tested with case studies and experiments conducted on the UML class and sequence diagrams of a software system from Philips Healthcare MRI
Item Type:Book Section
Copyright:© Springer 2010
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page