Using more diagrams UML is the tool which enables different views of system or business process which is modelled. UML activity diagram gives dynamic behaviour and could be used for modelling of ...

3. IDM process. UML activity diagram and SAM The aim of this paragraph is to show how these assertion annotation techniques can be applied to reasoning at the IDM process level. We take the UML ...

Making jointly a semi formal language and a formal language can be seen as the transformation of a semi formal model into a formal model. Thus, this task can be considered as a model transformation ...