On the semantics of unified modeling language diagrams using Z notation

DOI10.1002/INT.10152MaRDI QIDQ3156866zbMATH OpenOpenAlexFDO

Authors Ekawit Nantajeewarawat, Ratanachai Sombatsrisomboon

Publication date 12 January 2005

Published in International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/int.10152

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Concurrency and refinement in the unified modeling language
• scientific article; zbMATH DE number 1949631
• Concurrency and refinement in the unified modeling language
• Formalising the UML in structured temporal theories
• scientific article; zbMATH DE number 1693554

Cited in

(22)

• A formal semantics of data flow diagrams
• A semantics of sequence diagrams.
• A note on semantics (with an emphasis on UML)
• scientific article; zbMATH DE number 1693435 (Why is no real title available?)
• Concurrency and refinement in the unified modeling language
• A diagrammatic logic for object-oriented visual modeling
• The unified modeling language
• scientific article; zbMATH DE number 2084310 (Why is no real title available?)
• scientific article; zbMATH DE number 2089475 (Why is no real title available?)
• Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory
• A composition-nominative approach for Z-notation language semantics construction
• scientific article; zbMATH DE number 1303990 (Why is no real title available?)
• scientific article; zbMATH DE number 1104381 (Why is no real title available?)
• scientific article; zbMATH DE number 1946722 (Why is no real title available?)
• scientific article; zbMATH DE number 1949629 (Why is no real title available?)
• scientific article; zbMATH DE number 2013572 (Why is no real title available?)
• scientific article; zbMATH DE number 2080619 (Why is no real title available?)
• scientific article; zbMATH DE number 2080620 (Why is no real title available?)
• scientific article; zbMATH DE number 2086744 (Why is no real title available?)
• scientific article; zbMATH DE number 1569125 (Why is no real title available?)
• scientific article; zbMATH DE number 1860665 (Why is no real title available?)
• Concurrency and refinement in the unified modeling language

Describes a project that uses

Uses Software

• Z

This page was built for publication: On the semantics of unified modeling language diagrams using Z notation

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