@inbook{24fa9283dbbb45a0b3ccead636405d9d,
title = "Verifying Runtime Reconfiguration Requirements on UML Models",
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{\textquoteright}s computing environment. The current practice of verifying software models with respect to the reconfiguration requirements is rather subjective: based on the stakeholders{\textquoteright} 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",
keywords = "METIS-276152, EWI-18849, IR-74770",
author = "S. Ciraci and \{van den Broek\}, P.M. and Mehmet Aksit",
note = "10.1007/978-90-481-9849-8\_13 ",
year = "2010",
doi = "10.1007/978-90-481-9849-8\_13",
language = "Undefined",
isbn = "978-90-481-9848-1",
publisher = "Springer",
pages = "209--225",
editor = "\{van der Laar\}, Pierre and Teade Punter",
booktitle = "Views on Evolvability of Embedded Systems",
address = "Germany",
}