A Theory of Distributed Objects

A Theory of Distributed Objects
Author: Denis Caromel
Publisher: Springer Science & Business Media
Total Pages: 353
Release: 2005-07-14
Genre: Computers
ISBN: 3540272453

Offers an extensive review of concurrent languages and calculi, with comprehensive figures and summaries. Presents and analyses many implementation strategies that can readily be used by developers of distributed systems.

Engineering Distributed Objects

Engineering Distributed Objects
Author: Wolfgang Emmerich
Publisher: Springer
Total Pages: 280
Release: 2003-06-29
Genre: Computers
ISBN: 3540452540

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Engineering Distributed Objects, EDO 2000, held in November 2000 in Davis, California, USA.The 15 revised full papers presented together with session surveys were carefully reviewed and selected from 30 submissions. The book presents topical sections on middleware selection, resource management, architectural reasoning, distributed communication, advanced transactions, and service integration.

Active Object Languages

Active Object Languages
Author: Frank de Boer
Publisher: Springer Nature
Total Pages: 383
Release: 2024
Genre: Computer multitasking
ISBN: 3031510607

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as Rust, ABS, Akka, JavaScript, and Go. This is the first comprehensive state-of-art overview on the subject, the invited contributions are written by experts in the areas of distributed systems, formal methods, and programming languages.

Object-Based Distributed Programming

Object-Based Distributed Programming
Author: Rachid Guerraoui
Publisher: Springer Science & Business Media
Total Pages: 276
Release: 1994-05-27
Genre: Computers
ISBN: 9783540579328

Interest has grown rapidly over the past dozen years in the application of object-oriented programming and methods to the development of distributed, open systems. This volume presents the proceedings of a workshop intended to assess the current state of research in this field and to facilitate interaction between groups working on very different aspects of object-oriented distributed systems. The workshop was held as part of the 1993 European Conference on Object-Oriented Programming (ECOOP '93). Over fifty people submitted position papers and participated in the workshop, and almost half presented papers. The presented papers were carefully reviewed and revised after the workshop, and 14 papers were selected for this volume.

Formal Methods for Open Object-Based Distributed Systems IV

Formal Methods for Open Object-Based Distributed Systems IV
Author: Scott F. Smith
Publisher: Springer
Total Pages: 411
Release: 2012-08-10
Genre: Computers
ISBN: 0387355200

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Papers in this volume focus on the following specific technologies: components; mobile code; Java®; The Unified Modeling Language (UML); refinement of specifications; types and subtyping; temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.

Coordination Models and Languages

Coordination Models and Languages
Author: Alberto Lluch Lafuente
Publisher: Springer
Total Pages: 290
Release: 2016-05-23
Genre: Computers
ISBN: 331939519X

This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016. The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover a wide range of topicsand techniques related to system coordination, including: programming andcommunication abstractions; communication protocols and behavioural types;actors and concurrent objects; tuple spaces; games, interfaces and contracts; information flow policies and dissemination techniques; and probabilistic modelsand formal verification.

OOIS 2001

OOIS 2001
Author: Xingxu Wang
Publisher: Springer Science & Business Media
Total Pages: 545
Release: 2012-12-06
Genre: Computers
ISBN: 1447107195

Welcome to 00lS'01 and Calgary! This is the 7th International Conference on Object-Oriented Information Systems (OOlS) that focus on Object-Oriented and Web-Based Frameworks for Information Systems. In the last few years we've seen significant new development in this field, from one-off design technologies to reusable frameworks, and from web applications to bioinformatic systems. We perceive that information processing is one of the most important activities of human beings. Object-orientation and frameworks have been the main-stream technologies for design and implementation of large-scale and complex information systems. Recent research advances and industrial innovations in information systems modeling and Internet applications have explored the new trends in shifting information system vendors from component and system developers to services providers. Users of information systems are increasingly demanding higher performance, mobility, and personalization in order to realize the dream to access and obtain necessary information anywhere and anytime. The new development requires the investigation of new architectures, frameworks, processes, and inter-connectivity of information systems at society, organization, team, and personal levels. The 00lS'01 Proceedings has put together a program of 53 papers from leading researchers and practitioners in the field of object technology and information systems.

Object-Based Parallel and Distributed Computation

Object-Based Parallel and Distributed Computation
Author: Jean-Pierre Briot
Publisher: Springer Science & Business Media
Total Pages: 370
Release: 1996-07-24
Genre: Computers
ISBN: 9783540614876

This book contains a refereed collection of revised papers selected from the presentations at the France-Japan Workshop on Object-Based Parallel and Distributed Computation, OBPDC'95, held in Tokyo in June 1995. The 18 full papers included in the book constitute a representative, well-balanced set of timely research contributions to the growing field of object-based concurrent computing. The volume is organized in sections on massively parallel programming languages, distributed programming languages, formalisms, distributed operating systems, dependable distributed computing, and software management.

Formal Methods for Components and Objects

Formal Methods for Components and Objects
Author: Marcello M. Bonsangue
Publisher: Springer Science & Business Media
Total Pages: 321
Release: 2008-12-01
Genre: Computers
ISBN: 3540921877

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components; the IST-FP6 project GridComp and the FP6 CoreGRID Network of Excellence on grid programming with components; the Real-time component cluster of the Network of Excellence on Embedded System Design ARTIST, focussing on design processes, and architectures for real-time embedded systems; and the IST-FP6 project CREDO on modeling and analysis of evolutionary structures for distributed services.