F. Maraninchi. Languages for reactive systems: a common framework for comparing statecharts and argos. Technical report, LGI-IMAG Grenoble, 1991.  Home/Search   Document Not in Database   Summary   Related Articles

.... : 27 1 Introduction The visual formalism of Statecharts has been proposed by Harel in [Har87] Since then it has been used for the specification of complex reactive systems ( HLN 90] HP85] and extensively studied from semantic ( HPSS86] HGdR88] PS89] HK89] Mar91] Hui91] and expressive complexity ( DH89] Har89] HH90] points of view. Two interesting recent developments in the formal specification and analysis of reactive systems are extensions of the methodology to deal with real time and continuously varying elements. The extension to real time ....

....been influenced by the development of the timed calculus ATP [NRS90] As a second step, we consider timed Statecharts, which are Statecharts extended by the addition of time bounds on edges. In building compositional semantics for this language, we have adopted some of the ideas recommended in [Mar91] for the abstract syntax underlying the graphical representation of Statecharts. Similar ideas were proposed in [HGdR88] However, a major departure from the semantics of either [Mar91] or [HPSS86] and [PS89] is that the notions of macro and micro steps no longer play such an important role in ....

[Article contains additional citation context not shown here]

F. Maraninchi. Languages for reactive systems: a common framework for comparing statecharts and argos. Technical report, LGI-IMAG Grenoble, 1991.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC