Compact Flow Diagrams for State Sequences

Generating Test Sequences from UML Sequence Diagrams and State Diagrams

UML models offer a lot of information that should not be ignored in testing. By combining different UML components, different views of the program under test are used. The paper concentrates on a technique for generating test cases from a combination of UML sequence and state diagrams. The main information is extracted from sequence diagrams, which is complemented by initialization sequences fo...

Signal Flow Graph Techniques for Sequential Circuit State Diagrams

Data Flow Sequences: A Revision of Data Flow Diagrams for Modelling Applications using XML

Data Flow Diagrams were developed in the 1970’s as a method of modelling data flow when developing information systems. While DFDs are still being used, the modern web-based which is client-server based means that DFDs are not as useful. This paper proposes a modified form of DFD that incorporates, amongst other features sequences. The proposed system, called Data Flow Sequences (DFS) is better...

Modelling Discrete Event Sequences as State Transition Diagrams

Discrete event sequences have been modeled with two types of representation: snapshots and overviews. Snapshot models describe the process as a collection of relatively short sequences. Overview models collect key relationships into a single structure, providing an integrated but abstract view. This paper describes a new algorithm for constructing one type of overview model: state transition di...

Compact Voronoi Diagrams for Moving Convex Polygons

We describe a kinetic data structure for maintaining a compact Voronoi-like diagram of convex polygons moving around in the plane. We use a compact diagram for the polygons, dual to the Voronoi, first presented in [MKS96]. A key feature of this diagram is that its size is only a function of the number of polygons and not of their complexity. We demonstrate a local certifying property of that di...