Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
A modal logic for mobile agents
ACM Transactions on Computational Logic (TOCL)
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
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
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
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
| 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 a preliminary investigation aiming at studying how coordination languages and formal methods can contribute to a better understanding, implementation and usage 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 adaptation techniques, namely the MAPE-K loop, aspect- and context-oriented programming.