A graph rewriting framework for Statecharts semantics

DOI10.1007/3-540-61228-9_82MaRDI QIDQ4645270zbMATH OpenOpenAlexFDO

Authors Andrea Maggiolo-Schettini, Adriano Peron

Publication date 10 January 2019

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61228-9_82

zbMATH Keywords

external worldmaximal stepdynamic semanticstandard steptransition production

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 139805
• Concurrent graph and term graph rewriting
• Semantics of full statecharts based on graph rewriting
• scientific article; zbMATH DE number 2016088
• scientific article; zbMATH DE number 4056977

Cites work

• scientific article; zbMATH DE number 139805 (Why is no real title available?)
• scientific article; zbMATH DE number 1479645 (Why is no real title available?)
• scientific article; zbMATH DE number 4119660 (Why is no real title available?)
• Actor grammars
• Note on standard representation of graphs and graph derivations
• On relating rewriting systems and graph grammars to event structures
• Statecharts: a visual formalism for complex systems

Cited in

(6)

• Part-whole statecharts for precise behavioral semantics
• Using programmed graph rewriting for the formal specification of a configuration management system
• Semantics of full statecharts based on graph rewriting
• scientific article; zbMATH DE number 139805 (Why is no real title available?)
• A comparison of Statecharts step semantics
• Graphical inheritance notation for state-based classes

This page was built for publication: A graph rewriting framework for Statecharts semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4645270)