Modeling and Analyzing Mobile Software Architectures

Abstract

Abstract. The emerging behavior of a mobile system is determined by its software architecture (structure, dynamics, deployment), the underlying communication networks (topology, properties like bandwidth etc.) and interactions undertaken by the users of the system. In order to assess whether a mobile system fulfills its non-functional requirements like response times or availability already at design time, the emergent behavior of such a system can be simulated by using an architectural model of the system and applying an simulation approach where a network model and a user interaction model are used for providing the contextual information. In this paper we show how such an architectural model can expressed in our ADL Con Moto, how functional and non-functional properties of an architecture can be modeled and how simulation of the mobile system can be used to yield the desired properties.

Doctoral training in statistics, measurement, and methodology in psychology: Replication and extension of Aiken, West, Sechrest, and Reno's (1990) survey of PhD programs in North America.

“…Accessible articles and monographs have appeared (e.g., Allison, 2001;Schafer & Graham, 2002). Accessible software for multiple imputation (e.g., SAS PROC MI and MIANALYZE as well as the freeware NORM program; Schafer, 2006) and for full information maximum likelihood estimation has appeared as well. 6 In measurement, we anticipate that IRT will enjoy increased presence in the psychology curriculum, as applications expand beyond ability testing to the measurement of personality traits and psychopathology.…”

Architectural Models of Ambient-PRISMA in Channel Ambient Calculus

“…Some architectural approaches have modelled mobility in a technology independent way, such as Community [10], which is based on category theory; Con-Moto [12] based on π-calculus; and LAM model [13] based on Petri nets. Each one of these approaches models locations and mobility in a unique way.…”

Designing Mobile Aspect-Oriented Software Architectures with Ambients

“…Some architectural approaches have modelled mobility in a technology independent way, such as Community (A. Lopes, et al, 2002), which is based on category theory; MobiS (Ciancarini & Mascolo, 1998) based on a multiple tuple-space model, CHAM (Inverardi & Wolf, 1995) based on molecular solutions; Con-Moto (Schäfer, 2006) based on π-calculus; and LAM model (Xu, Yin, Deng, & Ding, 2003) based on Petri nets. Each one of these approaches models locations and mobility in a unique way.…”