In the early 20th century, J.H. Wigmore described a new method for analysing and laying out arguments in legal cases. His proposal was the first system of argument diagramming, and...
In this paper, the two types of UML interaction diagrams are considered. A translation of sequence diagrams into collaboration diagrams is constructed by means of graph transformat...
Abstract. Diagrams that serve as a visual input facility for programming environments have to be translated into some kind of semantic description. This paper describes such a meth...
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
DiaGen is a specification method, which is primarily based on a hypergraph grammar, and a tool that allows to automatically generate diagram editors from such a specification. Ge...