A compositional semantics for Statecharts

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

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

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 languageEnglish
Title of host publicationLiber Amicorum: J.W. de Bakker, 25 jaar semantiek
EditorsJ.W. Klop, J.-J.Ch. Meyer, J.J.M.M. Rutten
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Pages275-287
Publication statusPublished - 1989

Fingerprint Dive into the research topics of 'A compositional semantics for Statecharts'. Together they form a unique fingerprint.

Cite this