Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
In this communication we discuss, by means of the metal reducing bacterium Geobacter sulfurreducens, a strategy to use cyclic… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Preface. Who This Book Is For. Acknowledgements. Colophon. Introduction. Architecture. Enterprise Applications. Kinds of… Expand
  • figure 3.1
  • figure 3.2
  • figure 3.3
  • figure 3.4
  • figure 3.5
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The Mobius framework is an environment for supporting multiple modeling formalisms and solution techniques. Models expressed in… Expand
  • figure 1
  • figure 2
  • table I
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This paper is the extended technical report that corresponds to a published paper [14]. This paper introduces means to specify… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Practically and conceptually, the ‘state’ is again under siege. Less than two decades after its ‘rediscovery’ by scholars (Evans… Expand
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The issue of confluence is of major importance for the successful application of attributed graph transformation, such as… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
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… Expand
  • 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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
1993
Highly Cited
1993
The theory of the natural numbers with linear order and monadic predicates underlies propositional linear temporal logic. To… Expand
Is this relevant?