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 ...

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 ...

This paper presents an approach to describe business process in production systems using workflow concepts. In this sense, we define an extension of the UML activity diagram called workflow activity ...