Eclipse sequence diagram plugin full#

In USE, they are automatically produced from the execution traces of scripts, allowing modelers to visualize the interactions which occurred between the objects in the system. This feature enables the execution of scripts as a sequence of operations invoked by an external actor. However, USE does not allow to specify sequence diagrams that describe in general the valid execution traces of the system. USE provides a textual OCL-like action language called SOIL for specifying the behaviour of operations, together with an engine able to execute them. It is successfully used in lectures at different universities and also as a supporting tool for research.

Eclipse sequence diagram plugin full#

USE provides full OCL support and enables a full range of analysis capabilities. In our case, we are interested in one modeling tool, namely USE (UML-based Specification Environment), which is one of the most popular textual UML modeling tools. Furthermore, despite their apparent simplicity, SD can hide very complex behaviors and their specifications are in general difficult to understand. However, all this potential of SD is not fully exploited by most modeling tools, which only enable their representation. A few of those tools also provide analysis capabilities such as checking whether the trace of a program or model execution is valid, producing test cases, or even generating code from them.

Most UML tools support the specification of SDs. A valid Sequence Diagram is an SD whose set of traces is allowed by the system specification and does not violate its constraints. Each SD defines a set of possible sequences of interactions between the objects of the system, called traces. The semantics of UML SDs are defined in terms of valid and invalid traces. SDs support modularity mechanisms and combination operators, such as parallel, alternative, optional, or repeated action or event occurrences (par, alt, opt, loop) in the definition of the interactions. In UML, sequence diagrams (SD) describe a type of interaction that focuses on the partial order of message interchanges between objects.