Concurrency and Refinement in the Unified Modeling Language

This paper shows how a formal notion of refinement may be defined for models, and model components, expressed in the Unified Modeling Language (UML). A formal, behavioural semantics is given to combinations of class, object, and state diagrams, using the notation of Communicating Sequential Processe...

詳細記述

書誌詳細
主要な著者: Davies, J, Crichton, C
フォーマット: Journal article
出版事項: 2002

類似資料