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

In this paper, the two types of UML interaction diagrams are considered. A translation of sequence diagrams into collaboration diagrams is constructed by means of graph transformation and shown correct.

The design and implementation of a demonstrative program for the interactive simulation of rigid objects based on physics (PICO) is presented. The program uses VRML for 3D visualization and External Authoring Interface (EAI) for the simulation’s interaction. A summary of the proposed model using Unified Modeling Language (UML) is presented in order to describe the strategies used in the impleme...

We present an institution for UML state machines without hierarchical states. The interaction with UML class diagrams is handled via institutions for guards and actions, which provide dynamic components of states (such as valuations of attributes) but abstract away from details of class diagrams. We also study a notion of interleaving product, which captures the interaction of several state mac...

This paper presents formal definitions for UML Sequences Diagrams based on branching time semantics and partial orders in a denotational style. The obtained graphs are close to lattices and specify faithfully the intended behaviors rather than trace based semantics. We also define few generalized algebraic operations on graphs so that it makes it easy to provide formal definitions in a composit...

Abstract We developed a self-consistent conserving pseudo particle approximation for the Anderson impurity model with finite Coulomb interaction, derivable from a Luttinger Ward functional. It contains an infinite series of skeleton diagrams built out of fully renormalized Green’s functions. The choice of diagrams is motivated by the Schrieffer Wolff transformation which shows that singly and d...

Several object-oriented design methods make use of scenario diagrams (or interaction diagrams), i.e. descriptions of expected interaction between objects during an example run of a system. Such diagrams help the designer to understand the behavior of the participating objects, and eventually to specify their general behavior as state machines or as collections of methods. However, the step from...

This study investigates geometrical non-linear analysis of composite circular cylindrical shells under external pressure over part of their surfaces and also shells subjected to combined axial compression and triangular external pressure. Donnell non-linear shell theory along with first order shear deformation theory (FOSD) are adopted in the analysis. In the case of combined axial compression ...

In this paper, we use UML Interaction Overview Diagrams as the basis for a user-friendly, intuitive, modeling notation that is wellsuited for the design of complex, heterogeneous, embedded systems developed by domain experts with little background on modeling softwarebased systems. To allow designers to precisely analyze models written with this notation, we provide (part of) it with a formal s...