A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf
.
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
[chapter]
2004
Lecture Notes in Computer Science
We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended timed automata -in the IF format -and the use of the existing model-checking and simulation tools for this format. We take into account most of the structural and behavioral characteristics of classes and their interplay and tackle issues like the combination of operations, state machines, inheritance and polymorphism, with a
doi:10.1007/978-3-540-24732-6_9
fatcat:agilzfyk55hcnkl3sg5wpioifm