SFM
2004
Springer
14 years 6 months ago
2004
Springer
This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One o...
SFM
2004
Springer
14 years 6 months ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
SFM
2004
Springer
14 years 6 months ago
2004
Springer
This is a tutorial paper on the tool Uppaal. Its goal is to
SFM
2004
Springer
14 years 6 months ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...