Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Dynamic Configuration for Distributed Systems
IEEE Transactions on Software Engineering
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
An Architecture-Based Approach to Self-Adaptive Software
IEEE Intelligent Systems
The Vision of Autonomic Computing
Computer
Interactive Mobile Agents in X-Klaim
WETICE '98 Proceedings of the 7th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
KLAVA: a Java package for distributed and mobile applications
Software—Practice & Experience
A modal logic for mobile agents
ACM Transactions on Computational Logic (TOCL)
A Component Architecture for High-Performance Scientific Computing
International Journal of High Performance Computing Applications
Autonomic QoS in ASSIST Grid-Aware Components
PDP '06 Proceedings of the 14th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing
Rudder: An agent-based infrastructure for autonomic composition of grid applications
Multiagent and Grid Systems
Adding dynamic reconfiguration support to JBoss AOP
MAI '07 Proceedings of the 1st workshop on Middleware-application interaction: in conjunction with Euro-Sys 2007
Model checking mobile stochastic logic
Theoretical Computer Science
Software Engineering for Ensembles
Software-Intensive Systems and New Computing Paradigms
A Higher-Order Graph Calculus for Autonomic Computing
Graph Theory, Computational Intelligence and Thought
Programming language support to context-aware adaptation: a case-study with Erlang
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
A framework for rule-based dynamic adaptation
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Subjective-C: bringing context to mobile platform programming
SLE'10 Proceedings of the Third international conference on Software language engineering
An evaluation of the adaptation capabilities in programming languages
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Combining static analysis and runtime checking in security aspects for distributed tuple spaces
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Adaptive context oriented component-based application middleware (COCA-middleware)
UIC'11 Proceedings of the 8th international conference on Ubiquitous intelligence and computing
Object reuse and behavior adaptation in Java-like languages
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Autonomic computing: an overview
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Accord: a programming framework for autonomic applications
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Pervasive ecosystems: a coordination model based on semantic chemistry
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A conceptual framework for adaptation
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Formal modeling of evolving self-adaptive systems
Science of Computer Programming
Hi-index | 0.00 |
In recent years, it has been argued that systems and applications, in order to deal with their increasing complexity, should be able to adapt their behavior according to new requirements or environment conditions. In this paper, we present an investigation aiming at studying how coordination languages and formal methods can contribute to a better understanding, implementation and use of the mechanisms and techniques for adaptation currently proposed in the literature. Our study relies on the formal coordination language Klaim as a common framework for modeling some well-known adaptation techniques: the IBM MAPE-K loop, the Accord component-based framework for architectural adaptation, and the aspect- and context-oriented programming paradigms. We illustrate our approach through a simple example concerning a data repository equipped with an automated cache mechanism.