Verifying Runtime Reconfiguration Requirements on UML Models

S. Ciraci, P.M. van den Broek, Mehmet Aksit

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    186 Downloads (Pure)


    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
    Original languageUndefined
    Title of host publicationViews on Evolvability of Embedded Systems
    EditorsPierre van der Laar, Teade Punter
    Number of pages17
    ISBN (Print)978-90-481-9848-1
    Publication statusPublished - 2010

    Publication series



    • METIS-276152
    • EWI-18849
    • IR-74770

    Cite this