IEEE Transactions on Software Engineering
A fine-grained model for code mobility
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Software engineering for mobility: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Pict: a programming language based on the Pi-Calculus
Proof, language, and interaction
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Performance Evaluation: = (Process Algebra + Model Checking) × Markov Chains
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
ACM SIGSOFT Software Engineering Notes
Software Architecture for Mobile Distributed Computing
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Architecture description for mobile distributed systems
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Ambient-PRISMA: Ambients in mobile aspect-oriented software architecture
Journal of Systems and Software
From mobile business processes to mobile information systems
ECSA'07 Proceedings of the First European conference on Software Architecture
Hi-index | 0.00 |
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.