181 search results - page 4 / 37 » Modeling the Dynamics of UML State Machines |
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Separation of Concerns (SoC) is an important issue to reduce the complexity of software. Recent advances in programming language research show that Aspect-Oriented Progra...
WSC
2000
13 years 8 months ago
2000
One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discre...
JUCS
2008
13 years 7 months ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
SAFECOMP
2007
Springer
14 years 1 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
ASM
2003
ASM
14 years 20 days ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...