Refinement inference for sequence diagrams

DOI10.1007/978-3-642-35843-2_37MaRDI QIDQ2927663zbMATH OpenOpenAlexFDO

Authors Lunjin Lu, Dae-Kyoo Kim

Publication date 4 November 2014

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

Full work available at URL https://doi.org/10.1007/978-3-642-35843-2_37

zbMATH Keywords

pattern conformancerefinement inferencerefinement of sequence diagramsrefinement verificationsemantics of sequence diagramssequence diagram transformationsequence diagrams

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Refinement of UML collaborations
• Refinement
• Refinement of structured interactive systems
• Diagram refinements for the design of reactive systems
• scientific article; zbMATH DE number 1104396

Cited in

(6)

• Refinement of UML collaborations
• Refinement of structured interactive systems
• scientific article; zbMATH DE number 1104403 (Why is no real title available?)
• Computer Science Logic
• Refining privacy-aware data flow diagrams
• Refinement patterns for ASTDs

This page was built for publication: Refinement inference for sequence diagrams

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