Various techniques have been proposed to model attacks on systems. In order to understand such attacks and thereby propose efficient mitigations, the sequence of steps in the attack should be analysed thoroughly. However, there is a lack of techniques to represent intrusion scenarios across a system architecture. This paper proposes a new technique called misuse sequence diagrams (MUSD). MUSD r...

In this paper we introduce an aspect language that can define crosscutting e ects on a set of UML 2.0 sequence diagrams. The aspects and sequence diagrams are woven at the model level. By basing the weaving upon a formal trace model for sequence diagrams, we ensure that the weaving is semantics-based. We propose the arbitrary events symbol as a wildcard mechanism to express zero or more events ...

There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, we have introduced the so-called Sequence Diagrams for Mobility (SDM), a graphical notations based on UML Sequence Diagram. This notation has been used in several case studies and proved very useful. In this paper we ...

In many areas, such as automotive, healthcare, or production, we find softwareintensive systems with complex real-time requirements. To efficiently ensure the quality of these systems, engineers require automated tools for the validation of the requirements throughout the development. This, however, requires that the requirements are specified in an analyzable way. We propose modeling the speci...

This paper discusses how MSC-2000 could influence the Sequence Diagrams within UML 2.0, and why the UML 1.x semantics is partly inadequate for what is needed in the area of sequence charts. Extracts of a possible UML meta-model is shown and this can be understood as a conceptual model for MSC-2000 as well and an indication of an approach to the future MSC-2000 semantics. UML Collaboration Diagr...

A chord diagram is a set of chords of a circle such that no pair of chords has a common endvertex. A chord diagram E with n chords is called an n-crossing if all chords of E are mutually crossing. A chord diagram E is called nonintersecting if E contains no 2-crossing. For a chord diagram E having a 2-crossing S = {x1x3, x2x4}, the expansion of E with respect to S is to replace E with E1 = (E\S...

Elicitation and validation of user requirements depend, to a large extent, on the effectiveness of the tools and techniques used as a vehicle for discussion between developers and users during the requirements process. This effectiveness may, in turn, be influenced by user preference for a particular approach or requirements technique. This paper describes a study that was carried out to invest...

In order to answer the question “what is the asymptotic theory of representations of Sn” we will present two concrete problems. In both cases the solution requires a good understanding of the product (convolution) of conjugacy classes in the symmetric group and we will present a combinatorial setup for explicit calculation of such products. The asymptotic behavior of each summand in our expansi...

UML design tools are intended to make OO analysis and design easier. All too often, though, the tools present obstacles to getting the work done, tempting a user to return to the casual flexibility of a whiteboard. During three months of frequent use, MagicDraw UML has proven to be an exception. It is a tool that cooperates in modeling without imposing unnecessary constraints. In using MagicDra...

This paper firstly introduces the main content of the Unified Modeling Language (UML) and proves that it can transmit information among the users, the developers, the designers and the managers efficiently, which improves their collaboration capabilities and greatly increases the degree of industrialization in software development projects. Secondly, a library management system development and ...