Coordination Models and Languages : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held As Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

This Book Constitutes The Refereed Proceedings Of The 17th International Conference On Coordination Models And Languages, Coordination 2015, Held As Part Of The 10th International Federated Conference On Distributed Computing Techniques, Discotec 2015, In Grenoble, France, In June 2015. The 14 Full Papers And One Short Paper Presented Were Carefully Reviewed And Selected From 36 Submissions. They Are Organized In Topical Sections On Tuple-based Coordination, Coordinating Ensembles, Constraints, Agent-oriented Techniques, And Shared Spaces. Edited By Tom Holvoet, Mirko Viroli. Coordination Models and Languages Foreword -1 Preface -1 Organization -1 Contents 12 Tuple-Based Coordination 14 Replica-Based High-Performance Tuple Space Computing 15 1 Introduction 15 2 RepliKlaim: Klaim with Replicas 17 2.1 RepliKlaim: Syntax 17 2.2 RepliKlaim: Semantics 19 2.3 RepliKlaim: Examples 21 3 Performance Evaluation 23 4 Related Works 27 5 Conclusion 28 Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 31 1 Introduction and Related Work 31 2 Syntax and Markovian Semantics of OdeLinda 35 2.1 Syntax 35 2.2 Stochastic Semantics 36 3 Differential Semantics of OdeLinda 38 3.1 Population Semantics 38 3.2 Mean-Field Model 39 4 Example - Foraging Ants 40 5 Conclusions and Future Work 44 Logic Fragments: A Coordination Model Based on Logic Inference 47 1 Introduction 47 2 Related Works 48 2.1 Chemical-Based Coordination Models 48 2.2 Formal Approaches for Tuple Based Coordination Models 49 3 Logic- and Chemical-Based Coordination Model 49 3.1 Definition of the Model 49 3.2 Logic Programs 51 3.3 Logic Languages 51 3.4 Logic Fragments 52 3.5 Update of the Container 54 4 Case Studies 54 4.1 Palindrome Recognition 55 4.2 Gradient and Chemotaxis Patterns - General Programs 56 5 Conclusion and Future Works 59 Coordinating Ensembles 61 Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles 62 1 Introduction 62 2 A Motivating Example 63 3 Abstract Syntax and Semantics 65 3.1 Abstract Syntax 65 3.2 Abstract Semantics 66 4 Implementation 69 4.1 Compilation 69 4.2 Runtime System 70 5 Case Studies 71 6 Related Work 76 7 Future Developments and Conclusions 76 Dynamic Choreographies 78 1 Introduction 78 2 Dynamic Interaction-Oriented Choreography (DIOC) 80 2.1 Connectedness 83 2.2 DIOC Semantics 84 3 Dynamic Process-Oriented Choreography (DPOC) 85 3.1 Projection 86 3.2 DPOC Semantics 88 4 Correctness 90 5 Related Works and Discussion 91 Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear -Calculi 94 1 Introduction 94 2 The Simply-Typed Linear -calculus with Pairs 95 3 Type Systems for Deadlock and Lock Freedom 96 4 Type Reconstruction 100 5 Constraint Solving 106 6 Concluding Remarks 107 Constraints 110 A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 111 1 Introduction 111 2 SMuC: A Soft -calculus for Computations Fields 113 3 SMuC at Work: Rescuing Victims 117 4 On Distributing SMuC Computations 120 5 Related Works 123 6 Conclusion 124 Take Command of Your Constraints! 127 1 Introduction 127 2 Preliminaries: Data Constraints, Constraint Automata 130 3 From Data Constraints to Data Commands 132 3.1 Data Commands 133 3.2 Precedence 134 3.3 Algorithm 135 4 Handling Cycles 136 5 Preliminary Performance Results 139 6 Discussion 140 A Labelled Semantics for Soft Concurrent Constraint Programming 143 1 Introduction 143 2 A Few Technical Remarks (with Some Novelty) 145 2.1 Lattice-Enriched Monoids 145 2.2 Some Operators: Residuation and Cylindrification 147 3 Deterministic Soft CCP 148 3.1 Observational Semantics 149 3.2 Saturated Bisimulation 151 4 A Labelled Transition System for Soft CCP 153 5 Towards an Axiomatisation for Weak Bisimilarity 156 6 Conclusions and Further Work 158 Agent-Oriented Techniques 160 Parallelisation and Application of AD3 as a Method for Solving Large Scale Combinatorial Auctions 161 1 Introduction 161 2 Background 163 3 Solving Combinatorial Auctions with AD3 166 4 Parallel Realisation of AD3 167 4.1 Edge-centric Shared Data Layout 167 4.2 Reordering Operations 168 5 Empirical Evaluation 170 6 Conclusions 174 Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach 177 1 Introduction 177 2 Related Work 178 3 Managing Agent Perception Using Policies 179 4 Architecture 180 5 Percept Metadata 182 6 Defining and Applying Policies 183 7 Agent Perception 185 8 Events and States 187 9 Case Studies 188 9.1 Demo Data Streams 188 9.2 Sensing Data from Minecraft 191 10 Conclusion 192 Blending Event-Based and Multi-Agent Systems around Coordination Abstractions 194 1 Introduction 194 2 MAS as Coordinated Systems 194 3 EBS as Coordinated Systems 195 4 EBS and MAS: Towards a Unifying Framework 196 5 EBS and MAS: The Role of Coordination 197 6 Case Study: TuCSoN Coordination as Event-Based 197 7 Conclusion 199 Shared Spaces 202 Klaim-DB: A Modeling Language for Distributed Database Applications 203 1 Introduction 203 2 Syntax 204 3 Semantics 208 3.1 Semantics for Actions 209 3.2 Semantics for Processes and Networks 212 4 Case Study 214 5 Extension and Discussion 215 6 Conclusion 216 A Multiset Notation 218 Open Transactions on Shared Memory 219 1 Introduction 219 2 OCTM: Open Concurrent Transactional Memory 221 2.1 Syntax 221 2.2 Operational Semantics 222 3 TCCSm: CCS with Open Transactions 226 4 Encoding TCCSm in OCTM. 227 5 Conclusions and Future Work 233 VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries 236 1 Introduction 236 2 Related Work 238 3 VISIRI Distributed CEP System 239 3.1 Low Level Architecture 240 3.2 Query Distribution Algorithm 241 3.3 Cost Model 242 4 Evaluation 243 4.1 Event and Query Model 243 4.2 Query Distribution Algorithm Comparison 244 4.3 Performance Evaluation 246 5 Conclusion 250 Author Index 252 Front Matter....Pages 1-12 Front Matter....Pages 1-1 Replica-Based High-Performance Tuple Space Computing....Pages 3-18 Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems....Pages 19-34 Logic Fragments: A Coordination Model Based on Logic Inference....Pages 35-48 Front Matter....Pages 49-49 Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles....Pages 51-66 Dynamic Choreographies....Pages 67-82 Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi....Pages 83-98 Front Matter....Pages 99-99 A Fixpoint-Based Calculus for Graph-Shaped Computational Fields....Pages 101-116 Take Command of Your Constraints!....Pages 117-132 A Labelled Semantics for Soft Concurrent Constraint Programming....Pages 133-149 Front Matter....Pages 151-151 Parallelisation and Application of AD 3 as a Method for Solving Large Scale Combinatorial Auctions....Pages 153-168 Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach....Pages 169-185 Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions....Pages 186-193 Front Matter....Pages 195-195 Klaim-DB: A Modeling Language for Distributed Database Applications....Pages 197-212 Open Transactions on Shared Memory....Pages 213-229 VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries....Pages 230-245 Back Matter....Pages 247-247