Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Mobile UNITY: reasoning and specification in mobile computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Expressing code mobility in mobile UNITY
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Software agents
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Connectors for Mobile Programs
IEEE Transactions on Software Engineering
Algebraic software architecture reconfiguration
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
Software engineering for mobility: a roadmap
Proceedings of the Conference on The Future of Software Engineering
An infrastructure language for open nets
Proceedings of the 2002 ACM symposium on Applied computing
ArchJava: connecting software architecture to implementation
Proceedings of the 24th International Conference on Software Engineering
Architectural primitives for distribution and mobility
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Using Explicit State to Describe Architechtures
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Higher-order architectural connectors
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Catalog of Architectural Styles for Mobility
A Catalog of Architectural Styles for Mobility
Categories for Software Engineering
Categories for Software Engineering
Superposition: composition vs refinement of non-deterministic, action-based systems
Formal Aspects of Computing
An Operational Semantics of CommUnity Based on Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Global computing in a dynamic network of tuple spaces
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Representing Hierarchical Mobility in Software Architectures
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
A tile logic-based semantics for mobile software architectures
International Journal of Critical Computer-Based Systems
A tile logic based semantics for mobile software architectures
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
| Hi-index | 0.00 |
Mobility has become a new factor of complexity in the construction and evolution of software systems. In this paper, we show how architectural description techniques can be enriched to support the incremental and compositional construction of location-aware systems. In our approach, the process of integrating and managing mobility in architectural models of distributed systems is not intrusive on the options that are made at the level of the other two dimensions -- computation and coordination. This means that a true separation of concerns between computation, coordination and distribution can be enforced at the level of architectural models.