Complex information systems are difficult to model and expensive to build. Numerous process modelling methodologies, such as action workflow, data flow diagrams, decision trees, entity relationship diagrams, process maps, role activity diagrams and role interaction nets, have been developed to provide high level abstraction of a system. Despite their huge popularity, these methodologies cannot ...

In this paper we present the use of Statecharts for modeling the communicative behavior of a team involved in cooperative software design. Design episodes were previously represented using diagrams called Dynamics of Interaction Diagrams from which we have now drawn up a cooperative design activity model. The modeling activity itself led to the recognition of a number of underlying properties, ...

We compute the next-to-leading order strong interaction corrections to gluino-mediated ∆F = 2 box diagrams in the Minimal Supersymmetric Standard Model. These corrections are given by two loop diagrams which we have calculated in three different regularization schemes in the mass insertion approximation. We obtain the next-to-leading order Wilson coefficients of the ∆F = 2 effective Hamiltonian...

This paper investigates whether adding interactivity to diagrammatic representations aids learning. More specifically, the analyses focus on the extent to which 3D interactive diagrams facilitate the comprehension of a geometry concept, the stereographic projection, that is usually taught using 2D diagrams. Four Interactive Learning Environments (ILE) were built in order to test the effectivene...

We show how evolution requests can be formalized using algebraic graph rewriting. In particular, we present a way to convert the UML class diagrams to colored graphs. Since changes in software may effect the relation between the methods of classes, our colored graph representation also employs the relations in UML interaction diagrams. Then, we provide a set of algebraic graph rewrite rules tha...

The corner stone of a language development environment is an editor. For programming languages, several code editors are readily available to be integrated in Web applications. However, only few editors exist for diagrammatic languages. Eshu is an extensible diagram editor, embeddable in Web applications that require diagram interaction, such as modeling tools or e-learning environments. Eshu i...

Based on fundamental measure theory, a Helmholtz free energy density functional for three-component mixtures of hard spheres with general, non-additive interaction distances is constructed. The functional constitutes a generalization of the previously given theory for binary non-additive mixtures. The diagrammatic structure of the spatial integrals in both functionals is of star-like (or tree-l...

STAIRS is an approach to the compositional development of UML interactions, such as sequence diagrams and interaction overview diagrams. An important aspect of STAIRS is the ability to distinguish between underspecification and inherent nondeterminism through the use of potential and mandatory alternatives. This paper investigates this distinction in more detail. Refinement notions explain when...

We present a new application for graph drawing in the context of graphical model-based system design, where manual placing of graphical items is still state-of-the-practice. The KIELER framework aims at improving this by offering novel user interaction techniques, enabled by automatic layout of the diagrams. In this paper we present extensions of the well-known hierarchical layout approach, ori...

Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts to support the development environment throughout the full system lifecycle. We address both of these requirements using AUML, the Agent UML (Unified Modeling Language)—a set of UML idioms and extensions. This paper il...