Modeling and Analyzing Mobile Software Architectures

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.