"We present a fully automated approach to verifying safety properties of Executable UML models (xUML). Our tool chain consists of a model transformation program which translates xUML models to the process algebra mCRL2, followed by symbolic model checking using LTSmin. If a safety violation is found, an error trace is visualised as a UML sequence diagram. As a novel feature, our approach allows safety properties to be specified as UML state machines."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: English
Available Languages (1)
Sources
Helle Hvid Hansen et al. (2012) "Automated verification of executable UML models." Formal Methods for Components and Objects. Springer Berlin Heidelberg, 2012. Abstract
https://en.wikiquote.org/wiki/Executable_UML
Revision History
No revisions have been submitted for this quote.
Categories
Executable UML
24 quotes on TrueQuotesView all quotes by Executable UML →
Related Quotes
"Originally UML was intended to serve as a . But a specification is primarily intended to describe properties of syste…"
"The (UML) is a general-purpose visual that is used to specify, visualize, construct, and document the artifacts of a …"
"I assume that a precisely defined, verifiable, executable, and translatable UML is a Good Thing and leave it to other…"
"In its current form UML is designed to support a wide variety of different modelling techniques and formalisms. This …"
"The use of UML collaboration diagrams for specifying complex real-time architectures has been the focus of some recen…"
"The use of UML techniques in TRADE has implications for the semantics of these techniques when they are used this way…"
"Ever wish you could draw a few diagrams, press a button, and have a working software system that meets your needs? So…"
"In my opinion this sounds great in theory, but unfortunately there are several problems to making this work in practice:"
":I have no doubt that we will begin to see some interesting tools emerge over the next few years based on the Executa…"
"Today some evidence arises that UML will more and more be used not as a but as a high level programming language. Thi…"