Coordination Languages and Models: 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings (Lecture Notes in Computer Science, 1906)

Coordination Languages and Models
Preface
Table of Contents
OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces
	Introduction
	Example: An Electronic Market Place
		Scenario
		Analysis
	The Market Place Using OpenSpaces
		OpenSpaces in a Nutshell
		Market Place V.1: Standard Implementation
		Uniquely Identifiable Entries
		Stepping through a Trade
		Market Place V.2: Consistency Assertions
		Market Place V.3: Automatic Index Handling
		Reconfiguration
	The OpenSpaces Framework
		Core Classes and Their Relationships
		CORBA as an Implementation Layer
		Framework Contracts
	Extensions, Configurations and Reconfigurations
		White-Box Extensions
		Black-Box Extension: Configuration Policies
		Market Place V.5: Automatically Discarding Outdated Forms
		Run-Time Configuration
	Related Work
	Conclusion
	References
Scripting Coordination Styles
	1 Introduction
	2 Component Algebras — Plugging vs Wiring
		2.1 A Push-Flow Coordination Style
		2.2 Implementing the Operators
	3 Coordination Styles as Component Algebras
		3.1 Event Style
		3.2 Grouped Actors (GA) Style
		3.3 Regulated Coordination (RC) Style
	4 Combining Styles
		4.1 Bridging Event and Actor Style
		4.2 Multistyle Programming
	5 Lessons Learned
	6 Related and Future Work
	7 Conclusion
		Acknowledgements
	References
Coordination Technology for Workflows on the Web: Workspaces
	Workflow and the World Wide Web
	Coordination by Transforming Documents
	The Workspaces Coordination Language
	The Steps and Their Implementation
		Basic Steps
		Coordination Steps
		Meta Steps
	The Coordination Medium XMLSpace
	Implementation
	Conclusion and Outlook
	References
A Principled Semantics for inp
	Introduction
	Sane Predicated Input
		Formal Models
		A Model of Sane Predicated Input
		Alternative Definitions
		Turing Equivalence
	Pragmatics
		Implementation Issues
		Example: Stable Marriages
	Conclusion
	References
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces
	Introduction
		Motivation for the Optimisation
		Implementation
		Performance
	Structural Operational Semantics for a Linda Kernel
		Syntax
		Operational Semantics
	Structural Semantics for Optimised Linda
		Optimized Operational Semantics
	Proof of Correctness
	Conclusion
	References
On Timed Coordination Languages
	Introduction
	The Families of Languages
		Common Syntax and Rules
		The Family of Linda-Like Concurrent Languages
		The Family of Linda-Like Concurrent Languages with Delay
		The Family of Linda-Like Concurrent Languages with Relative Durations
		The Family of Linda-Like Concurrent Languages with Wait Declarations
		The Family of Linda-Like Concurrent Languages with Time Intervals
	Language Comparison
		Introduction
		Comparing the ${cal L}$ and ${cal D}$ Families
		Comparing the ${cal L}$ and ${cal W}$ Families
		Comparing the ${cal D}$ and ${cal R}$ Families
		Relating the ${cal W}$ and ${cal I}$ Families
		Relating the ${cal D}$ and ${cal W}$ Families
		Relating the ${cal R}$ and ${cal I}$ Families
	Programming Examples
	Implementation Issues
		Implementation of the Linda Primitives
		Implementing Time
		Correctness Issues
	Conclusion
	References
Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach
	1   Introduction
	2   Coordination and Access Control
	3   TuCSoN Coordination Model
		3.1   TuCSoN Tree-Like Infrastructure
		3.2   The Journal Review Case Study: A First Glance
	4   Protection in TuCSoN
		4.1   Access Control Matrix
		4.2   Enhanced Access Control Matrix
		4.3   Standard Tuple-Based Communication Template
		4.4   Delegated Access Control Policies
	5   The Journal Review Process Case Study
	6.   Conclusions and Related Work
	References
Distributed Splitting of Constraint Satisfaction Problems
	Introduction
	Constraint Solving and Coordination Languages
		Constraint Solving
		Coordination Model and Language
	The Framework
		Overview
		Behavior of the Network
		Worlds and MCSP
	The Agents
		Variables
		Domain Reduction Functions
		The textsf {Split}{} Agent
		The textsf {Search}{} Agent
		The textsf {Termination}{} Agent
		The textsf {Master}{} Agent
	An Example
	Comments
	Conclusion and Future Works
	References
Law-Governed Internet Communities
	Introduction
	Law-Governed Community
		Law Governed Interaction -- An Overview
		Engaging in an $cal L$-Community
		Naming within a Community
		The $cal TPL$ Law --- An Example
	Making Some Agents More Equal than Others
		The Role of Certificates in Distributed Systems
		Using Certificates to Get Exclusive Privileges Under LGI
	Conclusion
	References
Reconfiguration of Software Architecture Styles with Name Mobility
	Introduction
	Edge Replacement Systems and Syntactic Judgements
		Graphs
		Synchronized Edge Replacement
	Case Study
	Conclusions and Future Work
	References
An Agent Mediated Approach to Dynamic Change in Coordination Policies
	1   Introduction
		1.1 Self-Adaptive Software: Requirements
		1.2 NAVCo Approach: Key Ideas
	2   Multi-resource View Maintenance Policies: Background
		2.1 Cost-Benefit Analysis
	3   NAVCo Agent-Based Architecture
		3.1   Negotiation Coordination Layer
		3.2   Change Coordination Layer
		3.3   Application Coordination Layer
	4   Design and Analysis of Negotiation Coordination Layer
		4.1   Models to Support Negotiated Selection of VMP
	5   Design and Analysis of Change Coordination Layer
		5.1   Tracking Agent: Behavior Specification
		5.2   Change Agent: Behavior Specification
	6   Prototype
	7   Related Work
	8   Summary and Future Work
	9   References
Coordination Models for Dynamic Resource Allocation
	Introduction
		Outline of the Paper
	Mobile Broker Coordination  in Dynamic Resource Allocation
		The Naive Broker Model
		The Greedy Consumer Model
		The Broker Balanced Coordination Model
		The Dually Balanced Coordination Model
	Intelligent Network Resource Allocation
	Simulation Model of a Distributed Resource Allocation Problem
	Results of the Simulation
		The Ability to Deliver Requested Resources
		The Deviation in the Fulfillment of Demands
		The Deviation in Loads of the Providers
		On Not Exceeding the Target Capacity
	Discussion
	Conclusions and Future Work
	References
MobileML : A Programming Language for Mobile Computation
	Introduction
	Key Notions
		Transparent Migration
		Contexts
		Assimilation
	MobileML System
		The System
		MobileML Syntax
		Types
	Outline of a Semantic Model
	Program Examples
		News Collector
		Runtime Library Update
	Related Work
	Concluding Remarks
	Summary of lambda _{mv}-Calculus
		Types and Expressions
		Type System
		Local Evaluation
		Global Evaluation
Hybrid Models for Mobile Computing
	Introduction
	Introduction to DisCo
		Classes and Actions
		Timed Specifications
		Superposition and Layers
	Hybrid Modelling of Mobility
		Capturing Hybrid Interaction
		Superposing Localities
		Hybrid Deadlines
	Example
		Mobiles and Connections
		Addresses and File Transfer
		Mobility
		Coordination
		More Predictable Behaviour
	Conclusions
	References
Mobile Agents Coordination in Mobadtl
	Introduction
	A Model for Network--Aware Computing
	Background: Oikos-adtl
	Axiomatization
		Communications
		Mobility
	A Simple Example
		Functional Description
		Coordination Policies
	Discussion
	Conclusions
	References
A Logical Interface Description Language for Components
	Introduction
		Comparison with Related Work
	The Observable Behavior of Components
	Component-Based Systems
	A Logical Interface Description Language
		Expressing Absence of Deadlocks
	Composing Component Interfaces
		Completeness and Compositionality
	Conclusion and Future Work
	References
A Formalization of the IWIM Model
	Introduction
		The IWIM Coordination Model
		Notation
		Acknowledgements
	CP Automata
	Operations
		Parallel Composition
		Restricted Sum
		Adjusting the Conditions
	Distributed Sort
		Distributive Laws
	Sofia\'s Birthday Party
	Conclusions
	References
GCCS: A Graphical Coordination Language for System Specification
	Introduction
	The Concurrency Factory
	Syntax and Semantics of GCCS
		GCCS Syntax
		GCCS Semantics
	VPL
	GCCS as a Coordination Language
	The Rether Case Study
	Conclusions
	References
A Timed Linda Language
	Introduction
	The Timed Linda Language
		Operational Semantics
	Related and Future Work
	References
The LuCe Coordination Technology for MAS Design and Development on the Internet
	Introduction
	LuCe: Model and Technology
	The Case Study: TicTacToe
		Design by Tasks
		Individual Tasks and Interaction Protocols
		Social Tasks
	References
Scoped Coordination in Open Distributed Systems
	Introduction
		Scope
		Related Work
	Implementing Scope
		Tuple Placement and Migration
		Cost Analysis
		Example: A {scshape Notify} Daemon
	Performance Analysis
	Conclusion
	References
Patterns for Coordination
	1	Introduction
	2	A Categorical Pattern for Coordination
	3	A Design Pattern for Coordination
	4	Concluding Remarks
	References
Coordination Models and Software Architectures in a Unified Software Development Process
	Introduction
	The Unified Software Development Process
	Software Architecture
	The Approach
		UML Capturing Coordination
		From UML Diagrams to SA Model
		Validating Interactions via SA Dynamic Model
		From SA Model to IWIM Coordination Model
		Summarizing the Approach
	References
Wilde: Supporting Change in Groupware
	Introduction
	Wilde – Open Flexible Software
	Wilde and Groupware
	Related Work
	Conclusions
	References
On the Verification of Coordination
	Introduction
	An Overview of Splice
	Scenario-Based Verification Using mu crl
	The Properties of Splice
	Experiments
	Conclusions and Related Work
	References
Guaranteing Coherent Software Systems when Composing Coordinated Components
	1   Introduction
	2   Verification and Simulation of Coordinated Environment
		2.1 Formal Specifications with Maude
		2.2 Coordinators Definition in Maude
		2.3 Composition Syntax in Maude
		2.4 Launching the Application
		2.5 Adapting the Method in Order to Use Other Exogenous Coordination Models
	3   Related Works
	4   Conclusions and Future Works
	References
Coordination-Based Design of Distributed Systems
	Introduction
	OO-Action Systems
	Coordination of OO-Action Systems
	A Train System
	Conclusions
	References
Author Index