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

We propose an efficient algorithm that enacts the control-flow of BPMN, in particular the inclusive Or-join gateway. The original algorithm for enacting Or-joins in BPMN 2.0 needs, upon each token move in the diagram, linear time in the number of edges of the diagram to find out whether a given Or-join is enabled, whereas our proposal essentially needs only constant time to do so.

The generation and accumulation of waste of electrical and electronic equipment (WEEE) is growing fast, becoming one of the most complex waste streams the modern world faces. The effective and efficient management of this waste stream raises the interest of the global scientific and business community. The purpose of this paper is to analyze the flow in an e-waste management system, present the...