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 activity diagram as an example, followed by the SAM ...

Abstract: UML is actually a standard that is used in the production of software models. Its function is to facilitate the working of visuals of software artifacts. In order to produce a UML diagram, ...

An Activity Diagram is a visual representation of workflows or processes in a system, commonly used in software design to illustrate the flow of control and activities. It is part of the Unified ...

Abstract: The correctness of the UML activity diagram itself is an important research content in the field of model-based testing. This article focuses on model-based testing of the model itself, ...