Searching for "UML and Concurrency." – sorted by Relevance.
-
On the Concurrent Object Model of UML
- On the Concurrent Object Model of UML * Iulian Ober, Ileana Stan INPT-ENSEEIHT, 2, rue Camichel
- Cited by 8 (5 self) – Add To MetaCart
-
Patterns in Model-Based Development
- underlying a generic notation for task patterns. Different views of patterns are suggested using UML
- Cited by 2 (1 self) – Add To MetaCart
-
The Complicity of Model-Based Approaches and Patterns for UI Engineering
- using UML and Concurrent Task Tree notations. A first classification of patterns according to models
- Cited by 6 (2 self) – Add To MetaCart
-
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
- for communication and concurrency. The UML dialect considered here, also includes a set of extensions for expressing
- Cited by 3 (2 self) – Add To MetaCart
-
Validating timed uml models by simulation and verification
- -tocompletion and concurrency semantics. This is an important point, as many previous approaches applying model checking to UML
- Cited by 22 (11 self) – Add To MetaCart
-
Automatic Code Generation based on Formally Analyzed UML Statechart Models
- of a state are running concurrently, this way UML concurrent composite states can be modeled by EHA
- Cited by 1 (1 self) – Add To MetaCart
-
D2.2.2 Tool set for system verification
- for communication and concurrency. The UML dialect considered here, also includes a set of extensions for expressing
- Add To MetaCart
-
Model checking of UML models via a mapping to communicating extended timed automata
- for communication and concurrency. The UML dialect considered here, also includes a set of extensions for expressing
- Cited by 11 (3 self) – Add To MetaCart
-
An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions
- ), etc. The concurrency model that we describe subsequently is inspired by the UML concurrency model we
- Cited by 5 (1 self) – Add To MetaCart
-
Testing the Consistency of Dynamic UML Diagrams
- and extension of UML for concurrent object-oriented systems. UML-RT statechart diagrams are translated
- Cited by 4 (0 self) – Add To MetaCart

