Home arrow Downloads

Document details

Details for Timed Transition Activation Semantics in Statecharts (2005)
NameTimed Transition Activation Semantics in Statecharts (2005)
DescriptionWe propose an intuitive semantics for timed transition activation in hierarchical state machine languages like UML Statecharts or Harel Statecharts. The semantics presented here explain precisely when the timer implicitly associated with a timed transition is activated, and possibly deactivated, during a machine's execution. In addition to the semantics, a decision procedure is given which serves to determine if a timed transition should be activated. These semantics serve as a necessary contribution towards the goal of formalizing Statecharts languages, and towards the ultimate goal of performing quantitative, temporal analysis of unrestricted Statecharts models.
Filesize393.29 KB
Filetypepdf (Mime Type: application/pdf)
Created On: 05.04.2006 15:57
Maintained by
Hits3014 Hits
Last updated on 05.04.2006 15:59
Copyright © 2006-2009 echarts.org