Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings (Lecture Notes ... / Programming and Software Engineering)

✍ Scribed by Dave Clarke, Gul Agha

• Publisher: Springer
• Year: 2010
• Tongue: English
• Leaves: 193
• Edition: 1st Edition.
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the 12th International Conference on Coordination Models and Languages, COORDINATION 2010, held in Amsterdam, The Netherlands, in June 2010, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2010. The 12 revised full papers presented were carefully reviewed and selected from 28 submissions. The papers cover a wide range of topics including the application of coordination in wireless systems; multicore scheduling; sensor networks; event processing; data flow networks; and railway interlocking.

✦ Table of Contents

Cover......Page 1
Coordination
Models
and Languages......Page 3
Lecture Notes in Computer Science 6116......Page 2
ISBN-10 3642134130......Page 4
Foreword......Page 5
Preface......Page 7
Organization......Page 8
Table of Contents......Page 10
Introduction......Page 11
The Calculus......Page 14
Reduction Semantics......Page 16
Labeled Operational Semantics......Page 21
Conclusion......Page 24
Introduction......Page 26
Behavioural Contracts with Request-Response......Page 28
A Petri Net Semantics for WSCL Contracts......Page 30
Verifying Client-Service Compliance Using the Petri Net Semantics......Page 35
Undecidability of Client-Service Compliance for BPEL Contracts......Page 36
Conclusion......Page 39
Introduction......Page 41
Example......Page 42
Requirements......Page 43
Distributed Programming in AmbientTalk......Page 44
Control Flow Patterns......Page 45
Data Flow in Nomadic Networks......Page 48
Compensating Actions......Page 50
Implementation of a Concrete Pattern......Page 52
Related Work......Page 53
Conclusion and Future Work......Page 54
Introduction......Page 56
Motivating Example......Page 58
A Calculus for Boxes and Traits......Page 62
Conclusion, Related and Future Work......Page 69
Introduction......Page 71
From Erlang to JErlang......Page 72
JErlang Language Features......Page 74
Implementation......Page 77
Optimisations......Page 80
Evaluation......Page 81
Related Work......Page 83
Conclusions and Future Work......Page 84
Introduction......Page 86
Coordination in Mobile Ad Hoc Networks......Page 88
Fine-Grained Programming with AmbientTalk......Page 89
Coordinating Distributed AmbientTalk Components Using a Visual Dataflow Language......Page 91
Visual Dataflow Programming......Page 92
Discovering Operator Nodes......Page 94
Executing Mobile AmbientTalk Code......Page 95
Propagating Events and Reacting to Events......Page 96
Dependency Arities......Page 97
Limitations and Future Work......Page 98
Conclusions......Page 99
Introduction......Page 102
Contributions......Page 103
Related Work......Page 104
Primitive Connectors......Page 105
Compositional Construction of Networks......Page 107
Encoding......Page 111
Transition Relation......Page 112
Connector Composition......Page 113
Preliminary Experimental Results......Page 114
Conclusion and Future Work......Page 115
References......Page 116
Introduction......Page 117
Related Work......Page 118
Problem Definition......Page 119
Energy-Aware Provider Selection......Page 121
Shared Service Invocations......Page 123
Adapting to Network Topology Changes......Page 125
Evaluation......Page 126
Medical Patient Monitoring......Page 127
Structural Health Monitoring......Page 129
Conclusion......Page 130
Introduction......Page 132
Klaim......Page 133
StoKlaim: Stochastic Klaim......Page 134
MoSL: Mobile Stochastic Logic......Page 136
SAM......Page 138
Leader Election in StoKlaim......Page 139
All the Way......Page 140
As Far as It Can......Page 141
Asynchronous Leader Election......Page 142
Conclusions and Future Works......Page 144
Introduction......Page 147
Signalling Systems......Page 150
Control Tables......Page 151
Modelling Scope and Assumptions......Page 153
Modelling Approach and Model Structure......Page 154
The CPN Model of a Signalling System......Page 155
Initial Configurations......Page 157
Conclusions......Page 159
Introduction......Page 162
Programming with Session Types......Page 165
Type Driven Enhancements......Page 167
Compiler Driven Enhancements......Page 169
System Design......Page 171
Batching......Page 172
Exporting Continuation......Page 173
Chaining......Page 174
Related Work......Page 175
Conclusions......Page 176
Introduction......Page 178
Formal Definition of Composite Events......Page 180
Event Joins......Page 181
State of the Art of CED......Page 182
Overview......Page 183
Type-Based Event Filtering and Splitting......Page 185
Correlation......Page 186
Santa Claus Problem......Page 187
Scalability......Page 189
Discussion......Page 190
Conclusions and Future Work......Page 191
Author Index......Page 193