Communications of the ACM
Implementing Remote Evaluation
IEEE Transactions on Software Engineering
Software architecture in practice
Software architecture in practice
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Connectors for Mobile Programs
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Evaluating the tradeoffs of mobile code design paradigms in network management applications
Proceedings of the 20th international conference on Software engineering
The unified software development process
The unified software development process
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Performance analysis of mobile agents for filtering data streams on wireless networks
Proceedings of the 3rd ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems
Reasoning about code mobility with mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
Performance solutions: a practical guide to creating responsive, scalable software
Performance solutions: a practical guide to creating responsive, scalable software
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
Process algebra for performance evaluation
Theoretical Computer Science
Performance Engineering of Software Systems
Performance Engineering of Software Systems
Communication and Concurrency
PRIMAmob-UML: a methodology for performance analysis of mobile software architectures
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
PRIMA-UML: a performance validation incremental methodology on early UML diagrams
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Mobile Agents Coordination in Mobadtl
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
UML Modelling and Performance Analysis of Mobile Software Architectures
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93
Quantitative Evaluation of Pairwise Interactions between Agents
ASA/MA 2000 Proceedings of the Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
MA '97 Proceedings of the First International Workshop on Mobile Agents
An Analytical Comparison of the Client-Server, Remote Evaluation and Mobile Agents Paradigms
ASAMA '99 Proceedings of the First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents
A framework to model and analyze the performability of mobile software systems
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Performance analysis of mobile systems
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Hi-index | 0.00 |
Design paradigms based on the idea of code mobility have been recently introduced, where components of an application may (autonomously or upon request) move to different locations, during the application execution. Besides, software technologies are readily available (e.g. Javabased), that provide tools to implement these paradigms. Based on mobile code paradigms and technologies, different but functionally equivalent software architectures can be defined and it is widely recognized that, in general, the adoption of a particular architecture can have a large impact on quality attributes such as modifiability, reusability, reliability, and performance. Hence, validation against specific attributes is necessary and claims for a careful planning of this activity. Within this framework, the goal of this tutorial is twofold: to provide a general methodology for the validation of software architectures, where the focus is on the transition from the modeling of software architectures to the validation of nonfunctional requirements; to substantiate this general methodology into the specific case of software architectures exploiting mobile code.