A compositional semantics for Statecharts

J.J.M. Hooman; S. Ramesh; W.P. Roever, de

A compositional semantics for Statecharts

J.J.M. Hooman
, S. Ramesh
, W.P. Roever, de

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

Abstract

Statecharts is a behavioral specification language proposed for specifying large realtime, event driven, reactive systems. It is a graphical language based on finite state machines extended with many features like hierarchy, concurrency and broadcast communication. We give a compositional syntax and a denotational semantics for Statecharts.

Original language	English
Title of host publication	Liber Amicorum: J.W. de Bakker, 25 jaar semantiek
Editors	J.W. Klop, J.-J.Ch. Meyer, J.J.M.M. Rutten
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Pages	275-287
Publication status	Published - 1989

Cite this

@inbook{63f1b10fbd444fee98acb4ae19c52485,

title = "A compositional semantics for Statecharts",

abstract = "Statecharts is a behavioral specification language proposed for specifying large realtime, event driven, reactive systems. It is a graphical language based on finite state machines extended with many features like hierarchy, concurrency and broadcast communication. We give a compositional syntax and a denotational semantics for Statecharts.",

author = "J.J.M. Hooman and S. Ramesh and \{Roever, de\}, W.P.",

year = "1989",

language = "English",

pages = "275--287",

editor = "J.W. Klop and J.-J.Ch. Meyer and J.J.M.M. Rutten",

booktitle = "Liber Amicorum: J.W. de Bakker, 25 jaar semantiek",

publisher = "Centrum voor Wiskunde en Informatica",

}

TY - CHAP

T1 - A compositional semantics for Statecharts

AU - Hooman, J.J.M.

AU - Ramesh, S.

AU - Roever, de, W.P.

PY - 1989

Y1 - 1989

N2 - Statecharts is a behavioral specification language proposed for specifying large realtime, event driven, reactive systems. It is a graphical language based on finite state machines extended with many features like hierarchy, concurrency and broadcast communication. We give a compositional syntax and a denotational semantics for Statecharts.

AB - Statecharts is a behavioral specification language proposed for specifying large realtime, event driven, reactive systems. It is a graphical language based on finite state machines extended with many features like hierarchy, concurrency and broadcast communication. We give a compositional syntax and a denotational semantics for Statecharts.

M3 - Chapter

SP - 275

EP - 287

BT - Liber Amicorum: J.W. de Bakker, 25 jaar semantiek

A2 - Klop, J.W.

A2 - Meyer, J.-J.Ch.

A2 - Rutten, J.J.M.M.

PB - Centrum voor Wiskunde en Informatica

CY - Amsterdam

ER -

A compositional semantics for Statecharts

Abstract

Fingerprint

Cite this