Refinement patterns for ASTDs

DOI10.1007/S00165-013-0286-3zbMATH Open1342.68182OpenAlexW1990781920MaRDI QIDQ736838FDOQ736838

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

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

zbMATH Keywords

refinementinformation systemspatternsASTD

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

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

Cited In (2)

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

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)