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 cavability assessment of rock mass cavability and indicating the damage profile ahead of a cave-back is of great importance in the evaluation of a caving mine operation, which can influence all aspects of the mine operation. Due to the lack of access to the caved zones, our current knowledge about the damage profile in caved zones is very limited. Among the different approaches available, p...

paris polyphylla smith var. yunnanensis (liliaceae) is an important traditional medicinal plant of the yunnan province in china. however, the genomic information regarding this plant is limited. to further understand its molecular background, we conducted illumina hiseq 2000 second-generation sequencing of this plant species. approximately 30,198,679 reads with an average length of 202 bases we...

bioinformatics, through the sequencing of the full genomes for many species, is increasingly relying on efficient global alignment tools exhibiting both high sensitivity and specificity. many computational algorithms have been applied for solving the sequence alignment problem. dynamic programming, statistical methods, approximation and heuristic algorithms are the most common methods applied t...

The sequence A000975 in OEIS can be defined by A1 = 1, An+1 = 2An if n is odd, and An+1 = 2An + 1 if n is even. This sequence satisfies other recurrence relations, admits some closed formulas, and is known to enumerate several interesting families of objects. We provide a new interpretation of this sequence using a binary operation defined by a⊖ b := −a− b. We show that the number of distinct r...

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...

With the increasing applications of grid-connected voltage source converters, it is important to analyze impedance characteristic system implement stability analysis grid connection operation. Compared with three-phase three-wire system, an additional zero-sequence path exists in four-wire system. Therefore, necessary consider influence zero sequence when analyzing In this paper, model includin...

background: the objectives of an educational system in a society are based on society's requirements. since personnel knowledge and skill are not qualified with the advantages of science and invention of new tools, new needs are arisen. comparing the curriculum of undergraduate course of operating room of our country with international societies, it seems that this curriculum is not a good one ...

Let R be a commutative Noetherian ring and let M be a nitely generated R-module. If I is an ideal of R generated by M-regular sequence, then we study the vanishing of the rst Tor functors. Moreover, for Artinian modules and coregular sequences we examine the vanishing of the rst Ext functors.

This paper proposes a test sequence generation method for testing the coNormance of a protocol implementation to its specification in a remote testing system where both external synchronization and inputloutput operation costs are taken into consideration. The method consists of a set of transformation rules that constructs a duplexu digraph from a given finite state machine (FSM) representatio...