Coordination Models and Languages

Name: Coordination Models and Languages | 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings

Wolfgang De Meuter Gruia-Catalin Roman(Herausgeber*in)

Springer (Verlag)

Erschienen am 7. Juni 2011

XII, 219 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-21464-6 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Title Page
Foreword
Preface
Organization
Table of Contents
Fault in the Future
Introduction
A Language for Distributed Concurrent Objects
Operational Semantics
Primitives for Error Handling
Semantics for Error Handling
Typing
Conclusion and Future Work
References
Revisiting Glue Expressiveness in Component-Based Systems
Introduction
CAB: Syntax and Semantics
Turing-Completeness of CAB
Expressivity of CAB Variants
CAB without Priorities
Recovering Expressiveness
Final Remarks
References
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models
Introduction
Reo Overview
From Three to Two Colors
Correctness of M
Distributivity of M
Application: Context-Dependency in Vereofy
Related Work
Conclusions and Future Work
References
The Context of Coordinating Groups in Dynamic Mobile Networks
Introduction
A Space Efficient Context Summary
Supporting Groups and Their Context
Defining Groups: A Distributed Emergent Approach
Implementation, Demonstration, and Evaluation
Related Work
Conclusions and Future Work
References
CSP as a Coordination Language
Introduction
CSP and Coordination
Unravelling Abstractions
Timeout, Hiding and Nondeterminism
Duration, Conflict and Concurrency
Designing a Coordination Environment
Performing Actions
Choosing Events
Detecting Data Races
Supported Processes
Implementation and Further Work
Related Work
Conclusions
References
An Efficient Management of Correlation Sets with Broadcast
Introduction
Background
The Idea
Building the Radix Trees
Using Radix Trees
Correctness and Complexity Analysis
Conclusions and Future Work
References
Session Typing for a Featherweight Erlang
Introduction
A Motivating Example
Featherweight Erlang
Typing
Further Work
References
Safe Parallel Programming with Session Java
Introduction
Session-Typed Programming in SJ
Parallel Algorithms in SJ
Multi-channel Session p-Calculus
Syntax
Types, Typing System and Well-Formed Topologies
Subject Reduction, Communication Safety and Deadlock Freedom
Performance Evaluation
Related and Future Work
References
Fair Subtyping for Multi-party Session Types
Introduction
Syntax and Semantics of Session Types
Coinductive Fair Subtyping
Algorithms
Conclusions
References
Enabling Cross-Technology Mobile Applications with Network-Aware References
Introduction
Challenges in Programming Network-Aware Applications
Network-Aware References (NARs)
Communication Semantics
NARs from a Programmers' Perspective
Network Availability
Network Behavior Adaptation
Writing Custom Network Behaviors
Implementation
The AmbientTalk Networking Subsystem
The Architecture of Network-Aware References
Evaluation
Related Work
Conclusion and Future Work
References
Coordination and Concurrency in Multi-engine Prolog
Introduction
Logic Engines as Answer Generators
Iterating over Computed Answers
A Yield/Return Operation
Coroutining Logic Engines
Hubs and Threads
High-Level Concurrency with Higher-Order Constructs
Agent Coordination with Cooperative Linda Blackboards
Coordinating Publishers and Subscribers
Related Work
Conclusion
References
Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks
Introduction
Background
Safe Ambients
Pan Abstract Machine
Panmov: Chaining Forwarders upon Movement
Basic Idea
Formal Definition
GcPanmov: Garbage Collecting Forwarders
GcPanshift: Proactive Movement
Correctness
Conclusion
References
Simulation-Based Performance Analysis of Channel-Based Coordination Models
Introduction
Channel-Based Coordination with Reo
Building Connectors
Stochastic Reo
Distributions
Coloring Semantics with States
Coloring Transition System
Simulation-Based Stochastic Analysis
Simulation and Analysis
Tool Support
Case Studies
Case 1: Instant Messenger
Case 2: Production Line Decision Making
Conclusions and Future Work
References
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces
Introduction
AspectKE*: Basic Features
Distributed Chat System
Distributed Chat System in AspectKE*
Security Policies for the Chat System
An Aspect Ensuring Correct Origin (Policy 1)
Problems of Existing Approaches and Our Solutions
Associating Static Analysis and AOP
Predicting Control- and Data-Flows
Combining Static and Dynamic Conditions
AspectKE*: Advanced Features
Program Analysis Predicates and Functions
Aspects Protecting Passwords (Policy 3) and Chat Information (Policy 2)
Combination of Static Analysis and Runtime Checking
Implementation
Overview
Dual-Value Evaluation
Case Study on an EHR Workflow System
Related Work
Conclusions
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken