This paper introduces the new state-based collaboration diagrams. This new diagram type will solve two problems: First it will lead to a consistent description of the reactive behavior of a system – second it will allow the simultaneous modeling of reactive and transformational system behavior. This new diagram type is an advantageous combination of two wellknown UML diagrams, namely of the int...

Penelitian ini bertujuan untuk merancang sebuah sistem pendukung keputusan penerimaan beasiswa PEMDA Kabupaten Nunukan melalui organisasi daerah dan mengimplementasikan metode TOPSIS AHP pada daerah. Rancangan didesain secara terstruktur menggunakan UML, meliputi model use case diagram, activity sequence diagram class diagram. Text Editor yang digunakan dalam membangun adalah Visual Studio, bah...

Live sequence charts LSCs have been de ned recently as an extension of message sequence charts MSCs or their UML variant sequence diagrams for rich inter object speci cation One of the main additions is the notion of universal charts and hot mandatory behavior which among other things enables one to specify forbidden scenarios LSCs are thus essentially as expressive as statecharts This paper de...

Most model transformation approaches expressed to transform the static model structures of a system, but not involved with the behavioral model. Our previous model transformation [10] also focused on the structural model, especially class diagram, which was restricted to generate a detailed code. To solve this problem, we propose model transformation with both structural and behavioral models, ...

Received (received date) Revised (revised date) Communicated by Editor's name ABSTRACT Live sequence charts (LSCs) have been deened recently as an extension of message sequence charts (MSCs; or their UML variant, sequence diagrams) for rich inter-object speciication. One of the main additions is the notion of universal charts and hot, mandatory behavior, which, among other things, enables one t...

1 Preliminaries A virtual knot diagram is presented by a knot diagram having virtual crossings as well as real crossings in Fig. 1. Two virtual knot diagrams are equivalent if one can be obtained from the other by a finite sequence of generalized Reidemeister moves in Fig. 2. The equivalence class of virtual knot diagrams modulo the generalized Reidemeister moves is called a virtual knot. Virtu...

We consider the two permutation statistics which count the distinct pairs obtained from the final 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 a special case we derive a one-to-one correspondence between...

As we know there is an increasing demand from the software industry to develop software model which can communicate and exchange information concurrently in multiprogramming environment. This is very difficult to find and eliminate concurrency problem like deadlock in a large and complex system. There is a need of model to identify and recognize concurrency problem such as deadlocks in the earl...

--------------------------------------------------------------------ABSTRACT-----------------------------------------------------------------Unified Modeling language (UML) is one of the important modeling languages used for the visual representation of the research problem. In the present paper, UML model has been designed for the compression of any image using transform method because compres...