Refinement patterns for ASTDs

DOI10.1007/S00165-013-0286-3MaRDI QIDQ736838zbMATH OpenOpenAlexFDO

Authors Marc Frappier, Frédéric Gervais, Régine Laleau, Jérémy Milhau

Publication date 5 August 2016

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-013-0286-3

zbMATH Keywords

refinementinformation systemspatternsASTD

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Refinement Patterns for Hierarchical UML State Machines
• Diagram refinements for the design of reactive systems
• The ASM refinement method
• Patterns for refinement automation
• Refinement inference for sequence diagrams

Cites work

• scientific article; zbMATH DE number 1006119 (Why is no real title available?)
• scientific article; zbMATH DE number 2080001 (Why is no real title available?)
• Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
• Distributed cooperation with action systems
• Experimenting Formal Proofs of Petri Nets Refinements
• Modeling in Event B. System and software engineering.
• Refinement Patterns for Hierarchical UML State Machines
• Statecharts: a visual formalism for complex systems
• The B-Book
• Universal coalgebra: A theory of systems

Cited in

(2)

• Refining privacy-aware data flow diagrams
• Patterns for refinement automation

Describes a project that uses

Uses Software

• Circus

This page was built for publication: Refinement patterns for ASTDs

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