News

Scientific Research Publishing15y
H. Störrle, “Semantics and Verification of Data Flow in UML 2.0 Activities,” Electronic Notes in Theoretical Computer Science, Vol. 127, No. 4, 2005, pp. 35-52. www. pst ...
ABSTRACT: UML 2.0 activity diagrams (ADs) are largely used as a modeling language for flow-oriented behaviors in software and business processes. Unfortunately, their place/transition operational ...
Scientific Research Publishing15y
H. Störrle, “Semantics and Verification of Data-Flow in UML 2.0 Activities,” Proceedings International Work- shop on Visual Languages and Formal Methods, IEEE Press, 2004 ...
ABSTRACT: UML 2.0 activity diagrams (ADs) are largely used as a modeling language for flow-oriented behaviors in software and business processes. Unfortunately, their place/transition operational ...