Towards the compositional verification of real-time UML designs

A survey of UML applications in mechatronic systems

“…Some authors like [11] use this approach combined with UML to build software design. The authors specify collaboration between components in a mechatronic system using the UML collaboration concept.…”

“…The work of [11] is interesting in the sense that verifiable intelligent components can be obtained using the proposal of the authors but they do not ensure safety properties when a reconfiguration occurs. The work of [30] proposes an approach where safety properties are ensured when reconfigurations are made in the system.…”

“…Some of the previous works model collaborations (e.g. [11]) but they do not model the fact that entities can get into and get out of collaborations; in other words, they model only static collaborations. In [12], the authors present an architecture where an entity can play one role in one case and another role in another case or it can play no role at all.…”

“…As can be observed in Table 2, the region of the world where almost all the papers were found is in Europe. G e r m a n y [3,4] I t a l y( 2 ) [6] G e r m a n y [7] Finland, Estonia [8] The Netherlands [10] G e r m a n y [11] G e r m a n y [12] G e r m a n y [13] G e r m a n y [17] T a i w a n U S A [18] D e n m a r k [21][22][23][24][25] Poland (5) [27] G e r m a n y [28] G e r m a n y [29] G e r m a n y [30] G e r m a n y [32] I t a l y [33,36] Greece (4) [37] New Zealand and Germany Table 3 shows the UML diagrams reported in the papers reviewed. In this table, only UML diagrams that were reported in three papers or more are included.…”

“…References [10][11][12] use the UML concept of collaborations, which model organizational behavior. Reference [10] uses a derivation of activity diagrams (story diagrams).…”