Verifying Runtime Reconfiguration Requirements on UML Models


Share/Save/Bookmark

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

[img]
Preview
PDF
1087Kb
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/74770
Official URL:http://dx.doi.org/10.1007/978-90-481-9849-8_13
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page