Contributions for modelling UML state-charts in B

DOI10.1007/3-540-47884-1_7MaRDI QIDQ4737556zbMATH OpenFDO

Authors Hung Ledang, Jeanine Souquieres

Publication date 11 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2335/23350109.htm

zbMATH Keywords

activityB abstract machineB methodB operationclass operationeventstate-chartUML

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• From a B specification to UML statechart diagrams
• Formalization of UML-statecharts
• A formal semantics of UML statecharts by model transition systems
• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
• An outline of PVS semantics for UML statecharts

Cited in

(8)

• Modelling the embedded control system using iUML-B pattern state machine
• From a B specification to UML statechart diagrams
• Behavioral conformance verification in an integrated approach using UML and B
• Coming and going from UML to B: A proposal to support traceability in rigorous IS development
• Translating statecharts to B
• scientific article; zbMATH DE number 2090158 (Why is no real title available?)
• ZB 2005: Formal Specification and Development in Z and B
• Object oriented concepts identification from formal \(B\) specifications

This page was built for publication: Contributions for modelling UML state-charts in B

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