Coordination Models and Languages

Name: Coordination Models and Languages | 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings

Marjan Sirjani(Herausgeber*in)

Springer (Verlag)

Erschienen am 9. Juni 2012

XIV, 277 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-30829-1 (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
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

Systemvoraussetzungen

Als PDF speichern Als Link merken