Coordination Models and Languages
14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings
Published on 9. June 2012
XIV, 277 pages
978-3-642-30829-1 (ISBN)
Description
This book constitutes the refereed proceedings of the 14th International Conference on Coordination Models and Languages, COORDINATION 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 18 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.
More details
Other editions
Additional editions
Marjan Sirjani
Coordination Models and Languages
14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings
Book
05/2012
Springer
€53.49
Shipment within 7-9 days
Content
- Title
- Foreword
- Preface
- Organization
- Elastic Coordination Principles, Models, and Algorithms Invited Talk
- Table of Contents
- Statelets: Coordination of Social Collaboration Processes
- Introduction
- Motivation
- Related Work
- Statelets Coordination Language
- Context Queries and Commands
- Programming Coordination
- Feature Support and Prototype Implementation
- Statelets Framework
- Use cases
- Analysis Projects
- Engineering Projects
- Conclusions and Future Work
- References
- A Social Software-Based Coordination Platform
- Introduction
- The Platform
- The Tools
- WikiRecPlay
- InFeed
- A Case Study
- The Coordination Model
- Discussion and Related Works
- Conclusions
- References
- Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing
- Introduction
- A Multiple Control Loops Architecture Model
- A Model of Autonomic Behavior
- Control Loop Synchronization and Coordination
- Cloud Computing Scenario
- Definitions and Assumptions
- Multi-control Loop Architecture
- Evaluation
- Setup
- Results
- Related Work
- Conclusion
- References
- Subobject Transactional Memory
- Introduction
- A Subobject-Oriented Approach
- An Introduction to Subobject-Oriented Programming
- Subobject Transactional Memory
- Making Existing Classes Transactional
- Transaction Demarcation
- Example Implementation
- Related Work
- Conclusion and Future Work
- References
- Partial Connector Colouring
- Introduction
- Background: Reo and Connector Colouring
- Reo Coordination Model
- Connector Colouring: An Overview
- Formalism
- Problem Statement
- Partial Connector Colouring
- Constraint-Based Encoding
- Partial 2- and 3-Constraints
- Implementation and Benchmarks
- Related Work
- Conclusion
- References
- Using Coordinated Actors to Model Families of Distributed Systems
- Introduction
- Preliminaries
- Actor Model for Distributed Computing
- Reo Coordination Language
- Handling Variability through Coordination
- Example: Handling Optional Features
- Formal Modeling of Coordinated Actor Systems
- Actor Systems
- Transition System Semantics
- Coordinator Actors
- Initial Configurations
- Case Study
- The Video-On-Demand Use Case
- Modeling Video-On-Demand with Coordinated Actors
- Discussion and Conclusion
- References
- Scoped Synchronization Constraints for Large Scale Actor Systems
- Introduction
- Synchronization Constraints
- Example: Cooperating Resource Administrators
- Example: Dining Philosophers
- Coordination in Large Scale Systems
- Properties of Large Systems
- Problems of Globally Scoped Constraints
- Scoped Constraints
- Synchronization-Capabilities
- Scoped Synchronization Constraints
- Semantics
- Synchronization-Capabilities
- Actor Creation
- Message Sending and Dispatching
- Synchronizer State Updates
- Related Work
- Conclusion
- References
- First-Order Dynamic Logic for Compensable Processes
- Introduction
- First Order Dynamic Logic
- Deontic Formalisms for Error Handling
- Concurrency
- Concurrent Programs
- Compensable Programs
- Conclusion
- References
- Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps
- Introduction
- Parallel Mobile Ambients
- Syntax
- Operational Semantics
- Example
- Solving NP-Complete Problems in Polynomial Steps
- Boolean Satisfiability Problem
- Analysis
- An Example of How Mobile Ambients Solve 3CNF-SAT
- Conclusion
- References
- Recursive Advice for Coordination
- Introduction
- Language
- Pushdown Systems
- Basic Concepts of Pushdown Systems
- Representing Processes and Aspects
- Communicating Pushdown Systems
- Analysis
- Basic Concepts
- Abstraction
- Experiments
- Conclusions
- References
- Fluid Analysis of Foraging Ants
- Introduction
- The Problem of Foraging Ants
- Bio-PEPA Briefly Recalled
- A Bio-PEPA Model of Foraging Ants
- Emerging Paths
- Related Work
- Discussion and Further Work
- References
- Real-Time Coordination Patterns for Advanced Mechatronic Systems
- Introduction
- MechatronicUML
- Patterns for Real-Time Coordination Protocols
- Real-Time Coordination Patterns
- Description Format of Our Patterns
- Example: Synchronized Collaboration
- Developing Advanced Mechatronic Systems Using Real-Time Coordination Patterns
- Application-Specific Adaptation
- Implementation-Specific Refinement
- Case Study: Cooperating Robots
- Related Work
- Conclusions and Future Work
- References
- Group Orchestration in a Mobile Environment
- Introduction
- Motivation
- Small Introduction to NOW
- Abstractions for Group Orchestration
- Definition of Group Membership
- Synchronisation Mechanisms [R4]
- Failure Handling [R5]
- Related Work
- Conclusion
- References
- Node Coordination in Peer-to-Peer Networks
- Introduction
- Event-B and Its Modularisation Approach
- Event-B
- The Event-B Modularisation Approach
- Modelling Inter-peer Relations
- Modularising Inter-peer Relations
- Discussion
- Conclusions
- References
- Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments
- Introduction
- Linda in Space-Time
- Basic Model
- The Coordination Language
- Core Calculus
- Syntax
- Operational Semantics
- Case Studies
- Adaptive Crowd Steering
- Linda in a Mobile Ad-Hoc Environment
- Related Work
- Conclusions and Future Work
- References
- A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents
- Introduction
- Related Work
- Load Clustering Pattern
- Local Node Pattern
- Arbiter Pattern
- Clustering Pattern
- Pattern Composition
- Algorithms
- Benchmarks and Evaluation
- Basic SILCA Benchmarks
- Extended SILCA Benchmarks
- Conclusions
- References
- On the Realizability of Contracts in Dishonest Systems
- Introduction
- A Calculus of Contracts
- A Calculus of Contracting Processes
- On Honesty
- A Criterion for Honesty
- Related Work and Conclusions
- References
- Types for Coordinating Secure Behavioural Variations
- Introduction
- A Motivating Example: An e-Library App
- ContextML: A Context-Oriented ML Core
- History Expressions
- ContextML Types
- Model Checking
- Conclusions
- References
- Author Index
