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
|
類似資料
-
Concurrency and Refinement in the Unified Modeling Language
著者:: Davies, J, 等
出版事項: (2003) -
Using State Diagrams to Describe Concurrent Behaviour
著者:: Davies, J, 等
出版事項: (2003) -
Semantics and refinement for a concurrent object oriented language
著者:: Monteiro Borba, P
出版事項: (1995) -
Unifying Semantics for Concurrent Programming
著者:: Hoare, T
出版事項: (2013) -
Data refinement for true concurrency
著者:: Brijesh Dongol, 等
出版事項: (2013-05-01)