Parallel program design: a foundation
Parallel program design: a foundation
ACM Transactions on Programming Languages and Systems (TOPLAS)
A logical study of distributed transition systems
Information and Computation
Reasoning about knowledge
Refining by architectural styles or architecting by refinements
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Logics for specifying concurrent information systems
Logics for databases and information systems
A logic for a coordination model with multiple spaces
Science of Computer Programming
Coordination in the ImpUNITY framework
Science of Computer Programming
A software architecture for distributed control systems and its transition system semantics
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Local Knowledge Assertions in a Changing World
Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge
µ2 Log: Towards Remote Coordination
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Modeling Coordination via Asynchronous Communication
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Locally linear time temporal logic
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Mobile Agents Coordination in Mobadtl
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
A logical view of choreography
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
| Hi-index | 0.00 |
We introduce Oikos_adtl, a specification language for distributed systems based on asynchronous communication via remote writings. The language is designed to support the composition of specifications. It allows expressing the global properties of a system in terms of the local properties of the components and of coordination templates. Oikos_adtl is based on an asynchronous, distributed, temporal logic, which extends Unity to deal with components and events. We present the specification language and its semantics, introduce a number of compositionality theorems, and discuss some coordination templates. A fragment of a standard case study is used to validate pragmatically the approach, with respect to expressiveness and work-ability.