The Combined Fragments of UML Sequence Diagram permit various types of control flow among messages (e.g., interleaving and branching) to express an aggregation of multiple traces encompassing complex and concurrent behaviors. However, Combined Fragments increase the difficulty of Sequence Diagram comprehension and analysis. To alleviate this problem, we introduce an approach to formally describ...

In this paper, we proposed a method for detecting consistency violation between state machine diagrams and a sequence diagram defined in UML 2.0 using SMV. We extended a method expressing these diagrams defined in UML 1.0 with boolean formulas so that it can express a sequence diagram with combined fragments introduced in UML 2.0. This extension made it possible to represent three types of comb...

A sequence diagram in UML is used to model interactions among objects that participate in a use case. Developing a sequence diagram is complex; our experience shows that novice developers have significant difficulty. In earlier work, we presented a ten-step heuristic method for developing sequence diagrams. This paper presents a tabular analysis method (TAM) which improves on the ten-step heuri...

The UML (Unified Modeling Language) has been widely accepted as a standard language for object-oriented analysis and design. Among the UML diagrams, one of the most difficult and time-consuming diagrams to develop is the object interaction diagram (OID), which is rendered as either a sequence diagram or a collaboration diagram. Our experience shows that developers have significant trouble in un...

With the advent of web 2.0, web application architecture has changed a lot with increasing complexity. Modeling of the web applications has a key role in development; if modeling is inappropriate then the developed application will be poor. Testing is an important activity to improve the quality of web applications. So a technique for Model based Test case generation for Web applications have b...

Unified Modelling Language (UML) has been conferred as the de facto standard in modeling by majority in the software system development community. Among the various types of diagrams that exist under the umbrella of UML is Sequence Diagram. Sequence Diagrams are capable of modeling interactional behaviours as well as dynamic happenings in a system, and as such are generally used in the modeling...

Penelitian ini bertujuan untuk membuat sistem informasi koperasi pada KSP. BAKTI HURIA. bersifat analisis deskriptif kualitatif yaitu penelitian yang meliputi dan dilanjutkan dengan perancangan informasi. Perancangan dibuat menggunakan UML Use Case Diagram, Activity Class Diagram Sequence Diagram. Prosedur simpan pinjam HURIA ditemukan beberapa kelemahan diantaranya adalah dokumen pencatatan tr...

The paper deals with some generalizations of Fibonacci and Lucas sequences, arising from powers of paths and cycles, respectively. In the first part of the work we provide a formula for the number of edges of the Hasse diagram of the independent sets of the h power of a path ordered by inclusion. For h = 1 such a diagram is called a Fibonacci cube, and for h > 1 we obtain a generalization of th...

We use UML timed Sequence Diagrams to specify the realtime behaviour of a communication protocol of audio/video components. The Sequence Diagrams build the requirements specification against which an implementation of the protocol developed by the Bang & Olufsen company is proven correct. To obtain a complete requirements specification, we have to mark the UML Sequence Diagrams as optional or m...