Concurrency and refinement in the unified modeling language

DOI10.1007/s00165-003-0008-3zbMath1093.68598OpenAlexW2052957797MaRDI QIDQ706511

Jim Davies, Charles Crichton

Publication date: 8 February 2005

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

Full work available at URL: https://doi.org/10.1007/s00165-003-0008-3

zbMATH Keywords

RefinementConcurrencyCommunicating Sequential ProcessesObject modellingObject-oriented designUnified Modeling Language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Integrating a formal method into a software engineering process with UML and Java, Refinement Sensitive Formal Semantics of State Machines With Persistent Choice

Uses Software

• SPIN