1 The control-flow for five kinds of use cases is analysed: for common use cases, variant use cases, component use cases, specialised use cases and for ordered use cases. The control-flow semantics of use cases – and of the uses-relation, the extends-relation and the precedesrelation between use cases is described in terms of flowgraphs. Sequence diagrams of use cases are refined to capture the...

In this paper we present concepts for and experiences with a Situated Public Display system deployed in a university setting. We identify the rate with which information is updated as an important property to distinguish different kinds of information. With a first slideshow based prototype it was very difficult for users to predict whether information was updated since they last looked. To sol...

We study, in the fluid flow framework, the cooperative dynamics of a buffered production line in which the production rate of each work-cell does depend on the content of its adjacent buffers. Such state dependent fluid queueing networks are typical for people based manufacturing systems where human operators adapt their working rates to the observed environment. We unveil a close analogy betwe...

This paper presents an approach to generating tests for adequately exercising interaction between aspects and classes based on aspect-oriented UML models. In this approach, an aspect-oriented model consists of class diagrams, aspect diagrams, and sequence diagrams. Since methods of classes and advices of aspects are both specified by sequence diagrams, the advices on a given method can be weave...

The contents of this report reflect the views of the authors, who are responsible for the facts and the accuracy of the information presented herein. This document is disseminated under the sponsorship of the Department of Transportation, University Transportation Centers Program, in the interest of information exchange. The U.S. Government assumes no liability for the contents or the use thereof.

This work presents a probabilistic model for the microscopic simulation of traffic roads based on Nagel-Schreckenberg’s model. Each driver’s behavior is described through the combination of a continuous probability function with an anticipatory feature that leads to a counter flow velocity tunning. The simulations developed and described herein give rise to a phase diagram which resembles and e...

In this article, we study the bifurcation of positive solutions for the one-dimensional (p, q)-Laplace equation under Dirichlet boundary conditions. We investigate the shape of the bifurcation diagram and prove that there exist five different types of bifurcation diagrams. As a consequence, we prove the existence of multiple positive solutions and show the uniqueness of positive solutions for a...

As the graphical and mathematical representation of relationships among traffic flow, speed, and density, the fundamental diagram has been the foundation of traffic flow theory and transportation engineering. Underlying the fundamental diagram is the speed-density relationship which was originally documented in Greenshields’ seminal work and followed by a variety of equilibrium models over the ...

PURPOSE The aims of this study were to investigate how a variety of research methods is commonly employed to study technology and practitioner cognition. User-interface issues with infusion pumps were selected as a case because of its relevance to patient safety. METHODS Starting from a Cognitive Systems Engineering perspective, we developed an Impact Flow Diagram showing the relationship of ...

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