A Bratteli diagram is a type of graph in which the vertices are split into finite subsets occupying an infinite sequence of levels, starting with a bottom level and moving to successively higher levels along edges connecting consecutive levels. An information source on a Bratteli diagram consists of a sequence of PMFs on the vertex sets at each level that are compatible under edge transport. By...

A manufacturing cell must be changed according to the type, variations, and intended rate of production of the product. In order to shorten the period of time required for cellcontrol software development, the system designer must have the descriptions of the configuration of the cell and the sequence of activities that is required in the cell, and a comprehensive design methodology based on th...

Simion has a conjecture concerning the number of lattice paths in a rectangular grid with the Ferrer's diagram of a partition removed. The conjecture concerns the unimodality of this number over a sequence of rectangles with the sum of the length and width being constant and with a constant partition. This paper demonstrates this unimodality if the partition is symmetric or if the Ferrer's diag...

This paper describes an experiment whereby the benefit of using animation to improve the comprehensibility of UML sequence diagrams is assessed. The paper hypothesizes that through animation the control flow of sequence diagram will become more evident. The development a system that seeks to enable stakeholders to better interpret UML modeling behaviour is described. This system aims to provide...

Models are widely used and are one of the advanced tools of software engineering. Therefore, it is very important that the models and diagrams are well built not only considering their content, but also how they visually represent information, how they are layout. Layout is an important factor considering readability and comprehensibility of a diagram. Providing manual diagram layout is time co...

In many real-life problems, we are often faced with manipulating discrete structures. Manipulation of large discrete structures is one of the most important problems in computer science. For this purpose, a family of data structures called decision diagrams is used. The origin of the decision diagrams is binary decision diagram (BDD) proposed by Bryant in 1980s. BDD is a data structure to repre...

As a nonlinear memory device, the memristor is often used as circuit load. In this paper, system based on traditional current-mode Cuk converter with voltage-controlled constructed. By deducing state equation of topology and continuous current mode equation, simulation model The dynamic characteristics are explored by using sequence diagram, phase diagram bifurcation diagram. addition, parametr...

This paper discusses how to generate a class diagram, annotated with operation descriptions, from a set of sequence diagrams in the Unified Modeling Language (UML). The transformation process consists of the following steps. First, we translate the elements in a sequence diagram to elements of class diagrams using basic transformation rules together with more advanced heuristics. We then use an...

ones. For example, a use case exclusively included by another one will be grouped with it to provide a more abstract use case belonging to a higher level use case diagram. As for the UML sequence diagrams abstraction, for each use case (i.e. validated cluster) it is possible to produce a sequence diagram whose objects derive from classes associated with the cluster’s entities, while interaction...

Sequence diagrams are a widely used design notation for describing software behavior. Many reusable software artifacts such as design patterns and design aspects make use of sequence diagrams to describe interaction behavior. When a pattern or an aspect is reused in an application, it is important to ensure that the sequence diagrams for the application correctly refines the corresponding seque...