UML state machine

Known as: Hierarchical state machine, HSM, UML statechart 
UML state machine, also known as UML statechart, is a significantly enhanced realization of the mathematical concept of a finite automaton in… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
An event-driven architecture is a useful way to design and implement complex systems. The UML State Machine and its… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 6
Is this relevant?
2010
2010
Unified Modeling Language (UML) provided effective means for aspect-oriented modeling, among which UML state machine was designed… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2008
2008
X3D-UML utilises X3D (eXtensible 3D) to enable standards-based advanced 3D UML visualisations. Using X3D-UML, 3D UML State… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
2006
2006
We present a formal operational semantics for UML state machines. This semantics is implemented in Teager, a tool suite… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2004
2004
We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We describe a prototype tool, hugo/RT, that is designed to automatically verify whether the timed state machines in a UML model… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The “Unified Modeling Language” (UML [1]) is generally accepted as the de facto standard notation for the analysis and design of… (More)
  • figure 1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs… (More)
  • figure 1
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The paper discusses a complete formalisation of UML state machine semantics. This formalisation is given in terms of an… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Although most industry testing of complex software is conducted at the system level, most formal research has focused on the unit… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?