Internet Process Coordination

Papers collected here, from a December 2001 workshop held at the University of Central Florida, examine topics related to process coordination and ubiquitous computing. Papers on coordination models discuss areas such as space-based coordination and open distributed systems, global virtual data stru

Table of Contents:
Part I - Coordination Models -- 1 Space-based Coordination and Open Distributed Systems /Davide Rossi -- 1.1 Introduction -- 1.2 Need for Structure -- 1.3 Security -- 1.4 Resource Usage -- 1.5 Synchronization and A tomicity -- 1.6 Conclusions References -- 2 On Global Virtual Data Structures /Gian Pietro Picco, Amy L. Murphy, and Gruia-Catalin Roman -- 2.1 Introduction -- 2.2 Concept Definition -- 2.3 GVDS Incarnations -- 2.3.1 Lime -- 2.3.2 PeerWare -- 2.3.3 XMiddle -- 2.4 The Assets of a GVDS Approach -- 2.5 From the Meta-model to Models and Systems -- 2.6 Discussion -- 2.6.1 Intellectual Connections -- 2.6.2 Research Challenges -- 2.7 Conclusions References -- 3 Models of Coordination and Web-based Systems /Robert Tolksdorf -- 3.1 Looking at Models of Coordination -- 3.2 Models of Coordination -- 3.2.1 A Naive Model -- 3.2.2 Mintzberg Model -- 3.2.3 The Coordination Theory Model -- 3.2.4 Formal Models -- 3.2.5 Coordination Mechanisms in DAI /MAS -- 3.2.6 Uncoupled Coordination -- 3.2.7 Workflow -- 3.3 Comparing Coordination Models -- 3.4 Web-based Systems -- 3.5 Linda-like Coordination -- 3.6 XMLSpaces -- 3.6.1 Multiple Matching Relations -- 3.6.2 Distributed XMLSpaces -- 3.6.3 Distributed Events -- 3.6.4 Implementation -- 3.6.5 Related Work -- 3.7 Conclusion and Outlook References -- 4 Temporal Logic Coordination Models /Chuang Lin, and Dan C. Marinescu -- 4.1 Introduction -- 4.2 Petri Nets Models of Workflows -- 4.3 Temporal Logic Workflow Models -- 4.4 Linear Reasoning Algorithms for Basic Workflow Patterns -- 4.4.1 The Sequential Workflow Pattern -- 4.4.2 The AND Split /join Workflow Pattern. 4.4.3 The OR Split /join Pattern; The Non-deterministic Choice. -- 4.4.4 The XOR Split /join Pattern; Deterministic Choice. -- 4.4.5 The Iteration Pattern. -- 4.5 Linear Reasoning on Workflow Models. -- 4.6 Conclusions -- 4.7 Acknolwedgments -- References -- 5 A Coordination Model for Secure Collaboration /Anand Tripathi, Tanvir Ahmed, Richa Kumar, and Shremattie Jaman -- 5.1 Introduction -- 5.2 Overview of the Collaboration Model -- 5.2.1 Shared Objects -- 5.2.2 Role Management -- 5.2.3 Events -- 5.2.4 An Example of a Collaboration Activity -- 5.3 Specification Model -- 5.3.1 Event Specification -- 5.3.2 Object Specification -- 5.3.3 Role Specification -- 5.3.4 Activity Specification -- 5.4 Middleware Execution Model -- 5.5 Related Work -- 5.6 Conclusion -- References -- Part 11 - Grid Coordination -- 6 The Use of Content-Based Routing to Support Events, Coordination and Topology-Aware Communication in Wide-Area Grid Environments /Craig A. Lee, and B. Scott Michel -- 6.1 Introduction -- 6.2 Content-Based Routing and Supporting Technologies -- 6.2.1 Existing Publish /Subscribe Systems -- 6.2.2 Application-Level Routing and Forwarding -- 6.2.3 Active Networks -- 6.3 The Use of Content-Based Routing -- 6.3.1 A Grid Event Service -- 6.3.2 Distributed Simulations -- 6.3.3 Topology-Enhanced Communication -- 6.4 Implementation Issues -- 6.5 Conclusions References -- 7 The Complexity of Scheduling and Coordination on Computational Grids /Dan C. Marinescu, Gabriela M. Marinescu, and Yongchang Ji -- 7.1 Introduction -- 7.2 Resource Sharing Across Autonomous Domains and Coordination of Dependent Tasks -- 7.3 Kolmogorov Complexity and the Complexity of Markov Chains -- 7.4 A Grid Coordination and Scheduling Model -- 7.5 Conclusions -- 7.6 Acknowledgements References -- 8 Programming the Grid with Distributed Objects /Alexandre Denis, Christian Perez, Thierry Priol, and Andre Ribes -- 8.1 Introduction -- 8.2 Using Wide Area Networks with CORBA Objects -- 8.2.1 Motivating Example -- 8.2.2 Achieving Portable Parallel CORBA Objects -- 8.2.3 Experiments -- 8.3 Using System Area Networks with CORBA Objects -- 8.3.1 PadicoTM Overview -- 8.3.2 Dynamicity -- 8.3.3 Thread Management -- 8.3.4 Cooperative Access to System Area Networks -- 8.3.5 Virtual Sockets -- 8.3.6 Groups and Circuits -- 8.3.7 Remote Control -- 8.3.8 Experiments with Middleware and Runtimes with PadicoTM -- 8.4 Conclusions -- References -- 9 Dynamic Data Driven Application Systems /Frederica Darema -- 10 Towards Coordinated Work on the Grid: Data Sharing Through Virtual File Systems /Renato J. Figueiredo, Nirav Kapadia, and Jose A. B. Fortes -- 10.1 Introduction -- 10.2 Virtual File Systems: decoupling data management from location -- 10.2.1 The PUNCH Virtual File System -- 10.3 Enabling File Sharing and Coordination -- 10.4 Performance -- 10.4.1 NFS versus PVFS -- 10.4.2 Local-area versus Wide-area -- 10.4.3 Wide-area performance -- 10.5 Related Work -- 10.6 Conclusions References -- Part III - Intelligent Coordination and Ubiquitous Computing -- 11 Terraforming Cyberspace /Jeffrey M. Bradshaw, Niranjan Suri, Maggie Breedy, etc -- 11.1 Introduction -- 11.2 NOMADS Life Support Services -- 11.3 KAoS Legal and Social Services -- 11.4 Cyberforming Terraspace -- 11.5 Terraforming Terraspace -- 11.6 Acknowledgements References -- 12 Towards a Notion of Agent Coordination Context /Andrea Omicini -- 12.1 Evolution of Social Systems -- 12.1.1 A Look Back to Human Societies -- 12.1.2 A Look Forward to Agent Societies -- 12.2 Contexts Everywhere -- 12.3 Objects vs. Agents: The Issue of Control -- 12.4 Agent Coordination Context -- 12.5 Examples -- 12.5.1 The Control Room Metaphor -- 12.5.2 Coordination Contexts in the TuCSoN Coordination Model -- 12.6 Related Approaches & Open Issues -- 12.7 Conclusions -- 12.8 Acknowledgements -- References -- 13 Thin Middleware for Ubiquitous Computing /Koushik Sen, and Gul Agha -- 13.1 Introduction -- 13.2 Actors -- 13.2.1 Probabilistic Discrete Real-time Model -- 13.3 Reflective Middleware -- 13.3.1 Meta-architecture -- 13.4 Discussion -- 13.5 Acknowledgments -- References -- 14 Experiments with QoS Driven Learning Packet Networks /Erol Gelenbe, Alfonso Montuori, Arturo Nunez, etc -- 14.1 Introduction -- 14.2 Cognitive Packets and CPNs -- 14.2.1 Routing Algorithm using Reinforcement Learning -- 14.3 The CPN test-bed: protocol design and software implementation -- 14.4 Network Measurements -- 14.5 Transport of Voice Packets in CPN -- 14.5.1 Reward Function for CPN Routing of Voice -- 14.5.2 Experimental Results -- 14.6 Using CPN to Control IP Traffic -- 14.7 Conclusions -- 15 A Perspective on a Mobile Ad Hoc Network: The IRULAN Project /Philippe Jacquet -- 15.1 Introduction -- 15.2 Wireless Technology Survey -- 15.3 The IRULAN Project -- 15.4 Basic Wireless Architectures -- 15.5 Mobile Ad Hoc Network Architecture -- 15.6 OLSR Protocol, Performance of Ad Hoc Routing -- 15.7 Extension and Services on Ad Hoc Networks -- 15.7.1 Power Saving Extension -- 15.7.2 Multicast Extension -- 15.7.3 Quality of Service,(QoS) Routing -- 15.7.4 Localization and Services References -- 16 Semi-Discrete Matrix Transforms (SDD)for Image and Video Compression /Sacha Zyto, Ananth Grama, and Wojciech Szpankowski -- 16.1 Introduction -- 16.2 Theoretical Underpinnings -- 16.3 Comparison of Matrix Transforms for Image Compression -- 16.4 Pattern Matching Using SDDs -- 16.4.1 Accelerating Search Using SDDs -- 16.4.2 Computing a Motion Vector for Video Encoding -- 16.5 Concluding Remarks -- 16.6 Acknowledgements References -- 17 Internet Security: Report on ICANN’s Initiatives and on the Discussions in the European Union /Stefano Trumpy -- 17.1 Security Aspects -- 17.2 Rethinking Security After September 11th 2001: Which Role for ICANN? -- 17.3 Discussion of Security Measures to Be Adopted by ICANN -- 17.4 Security Measures Taken by the European Union -- 17.5 Bilateral Consultation of EU with the USA on ICANN’s Activity -- 17.6 Migrating From an Internet Based on Best Effort Towards a Network with Guaranteed Level of Performance -- List of Workshop Attendees.

About the Author :
Dan C. Marinescu