We consider the two permutation statistics which count the distinct pairs obtained from the last two terms of occurrences of patterns τ1 · · · τm−2m(m − 1) and τ1 · · · τm−2(m − 1)m in a permutation, respectively. By a simple involution in terms of permutation diagrams we will prove their equidistribution over the symmetric group. As special case we derive a one-to-one correspondence between pe...

Centrosymmetric involutions in the symmetric group S2n are permutations π such that π = π−1 and π(i) + π(2n+1− i) = 2n+1 for all i, and they are in bijection with involutions of the hyperoctahedral group. We describe the distribution of some natural descent statistics on 321-avoiding centrosymmetric involutions, including the number of descents in the first half of the involution, and the sum o...

In model based testing, the test cases are generated from the abstract representation of the model. The Abstract test suites are not executed against system under test because it is needed to be described from the corresponding abstract test suite. The effect of model based testing is it offers automation of testing. If a model is readable one then it should have a well defined behavioral inter...

Abstract. We solve the dynamics of Hopfield-type neural networks which store sequences of patterns, close to saturation. The asymmetry of the interaction matrix in such models leads to violation of detailed balance, ruling out an equilibrium statistical mechanical analysis. Using generating functional methods we derive exact closed equations for dynamical order parameters, viz. the sequence ove...

The design of large systems often involves the creation of models that describe partial specifications. Model composition is the process of combining partial models to create a single coherent model. This paper presents an automatic composition technique for creating a sequence diagram from partial specifications captured in multiple sequence diagrams with the help of Alloy. Our contribution is...

We develop a formal semantics of sequence diagrams. The semantics is given in terms of our new temporal logic, named HDTL, which is designed to specify dynamically evolving systems. This approach allows to facilitate the generic feature of sequence diagrams as well as an automatic analysis, the identification of the instances of a sequence diagram over a trace.  2002 Elsevier Science B.V. All ...

In this paper we present a variant of message sequence diagrams called EETs Extended Event Traces We provide the graphical notation discuss the methodological use of EETs to describe behavior of object oriented busi ness information systems and sketch their semantics Special emphasis is put on the di erent implications of using EETs for exemplary and complete interaction descriptions The possib...

To understand the behavior of an object-oriented system, visualizing its execution trace as sequence diagrams is effective because the system involves dynamically determined elements. However, sequence diagrams generated from execution traces are too large to understand because the traces include many method calls. This paper proposes a method to vizualize objects and method calls among groups ...

In a UML model, different aspects of a system are covered by different types of diagrams. Nevertheless, it is important to provide means to check the consistency and completeness of the UML model. This problem is addressed in this paper by integrating the information specified in class and statechart diagrams into sequence diagrams. The representation as constraints attached to certain location...