Home arrow Downloads

Document details

Details for Timed Transition Activation Semantics in Statecharts (2005)
PropertyValue
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.
Filenameecharts-timed-transitions.pdf
Filesize393.29 KB
Filetypepdf (Mime Type: application/pdf)
Creatoradmin
Created On: 05.04.2006 15:57
ViewersEverybody
Maintained by
Hits3014 Hits
Last updated on 05.04.2006 15:59
Homepage
Copyright © 2006-2009 echarts.org