The theory of inter-diagrammatic reasoning is extended to include the use of color values in diagrams. The syntax of this more general theory, its subsumphon of the original theory, and the ramifications of this extension are presented. An example application of this extension in the domain of DNA sequence assembly is described.

We consider operation coverage of OCL operation specifications and invariants in class diagrams with respect to sequence diagrams. The coverage criteria are based on the operations that are executed from the sequence diagrams and their asserted OCL subexpressions. We propose an algorithm that automatically generates a set of sequence diagrams in order to maximise these coverage criteria. A mode...

The phase equilibria and thermodynamic properties of the Ni–Mo system were analyzed by combining a first-principles approach and calculation of phase diagram (CALPHAD) technique. The first-principles calculation results indicate that Ni2Mo and Ni8Mo are stable in addition to Ni3Mo and Ni4Mo, and -NiMo is not stable at 0 K, both in contradiction to the existing phase relationships in the Ni–Mo s...

To deal with the complexity of large information systems, the divide-and-conquer policy is usually adopted to capture requirements from a large number of stakeholders: obtain requirements from different stakeholders, respectively, and then put them together to form a full requirement specification. One of the problems induced by the policy is overlapping requirements. A use case driven approach...

Nondeterminism in specifications may be used for at least two different purposes. One is to express underspecification, which means that the specifier for the same environment behavior allows several alternative behaviors of the specified component and leaves the choice between these to those responsible for implementing the specification. In this case a valid implementation will need to implem...

We investigate the classical notion of object composition in the framework of scenario-based specification and programming. We concentrate on live sequence charts (LSC), which extend the classical partial order semantics of sequence diagrams with universal/existential and must/may modalities. In order to tackle object composition, we extend the language with appropriate syntax and semantics tha...

For the Lego discrepancy with M bins, which is equivalent with a χ2-statistic with M bins, we present a procedure to calculate the moment generating function of the probability distribution perturbatively if M and N , the number of uniformly and randomly distributed data points, become large. Furthermore, we present a phase diagram for various limits of the probability distribution in terms of ...

Euclidean Voronoi diagram of spheres in 3-dimensional space has not been explored as much as it deserves even though it has significant potential impacts on diverse applications in both science and engineering. In addition, studies on the data structure for its topology have not been reported yet. Presented in this paper is the topological representation for Euclidean Voronoi diagram of spheres...

We present an interactive visualization tool for exploring RR interval data (the time between consecutive heart beats) to support diagnostics. An RR interval sequence diagram allows us to reduce hours of data into a general overview opposed to using short term ECG strips. A simple moving average is applied to the sequence diagram to smooth out short-term variance and highlight long-term trends....

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 transformation and shown correct.