Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML

摘要: We define a subset krtUML of UML which is rich enough to express all behavioural modelling entities used for real-time applications, covering such aspects as active objects, dynamic object creation and destruction, dynamically changing communication topologies in inter-object communication, asynchronous signal based synchronous using operation calls, shared memory through global attributes. formal interleaving semantics this kernel language by associating with each model M ∈ symbolic transition system STS(M). outline how compile industrial models making use generalisation hierarchies, weak- strong aggregation, hierarchical state-machines into krtUML, propose guidelines applications UML. This work provides the semantical foundation verification described companion paper [11].