Object Based Models And Languages For Concurrent Systems

This volume presents carefully refereed versions of the best papers presented at the Workshop on Models and Languages for Coordination of Parallelism and Distribution, held during ECOOP '94 in Bologna, Italy in July 1994. Recently a new class of models and languages for distributed and parallel programming has evolved; all these models share a few basic concepts: simple features for data description and a small number of mechanisms for coordinating the work of agents in a distributed setting. This volume demonstrates that integrating such features with those known from concurrent object-oriented programming is very promising with regard to language support for distribution and software composition.

The ECOOP '91 Workshop on Object-Based Concurrent Computing was organized toprovide a forum on concurrent, distributed and open-ended computing. The emphasis was on conceptual, theoretical and formal aspects, as well as practical aspects and sound experience, since such a viewpoint was deemed indispensible to investigate and establish a basis for future development. This volume contains 12 papers selected from 25 presented at the workshop, together with a paper by J.A. Goguen, who was an invited speaker at the workshop. The papers are classified into four categories: Formal methods (1): three papers are concerned with the formal semantics of concurrent objects based on process calculi. Formal methods (2): four papers are concerned with various formal approaches to the semantics of concurrent programs. Concurrent programming: three papers. Models: three papers areconcerned with models for concurrent systems.

Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based Distributed Systems (OODS) brings new challenges and opportunities for the use and development of formal methods. Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing; semantics of object-based distributed systems and programming languages; formal techniques in object-based and object oriented specification, analysis and design; refinement and transformation of specifications; multiple viewpoint modeling and consistency between different models; formal techniques in distributed systems verification and testing; types, service types and subtyping; specification, verification and testing of quality of service constraints and formal methods and the object life cycle. It contains the selected proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems, sponsored by the International Federation for Information Processing, and based in Paris, France, in March 1996.

This book provides an overview of the new paradigm through the programming language ABCL.

Concurrent constraint programming (ccp) is a recent development in programming language design. Its central contribution is the notion of partial information provided by a shared constraint store. This constraint store serves as a communication medium between concurrent threads of control and as a vehicle for their synchronization. Objects for Concurrent Constraint Programming analyzes the possibility of supporting object-oriented programming in ccp. Starting from established approaches, the book covers various object models and discusses their properties. Small Oz, a sublanguage of the ccp language Oz, is used as a model language for this analysis. This book presents a general-purpose object system for Small Oz and describes its implementation and expressivity for concurrent computation. Objects for Concurrent Constraint Programming is written for programming language researchers with an interest in programming language aspects of concurrency, object-oriented programming, or constraint programming. Programming language implementors will benefit from the rigorous treatment of the efficient implementation of Small Oz. Oz programmers will get a first-hand view of the design decisions that lie behind the Oz object system.

This Festschrift volume includes a collection of papers written in honor of the accomplishments of Professor Yonezawa on the occasion of his 65th birthday in 2012. With a few exceptions, the papers in this Festschrift were presented at an international symposium celebrating this occasion. Also included are reprints of two of Professor Yonezawa's most influential papers on the programming language ABCL. The volume is a testament strong and lasting impact Professor Yonezawa's research accomplishments as well as the inspiration he has been to colleagues and students alike.

This book deals with a major theme of the Japanese Fifth Generation Project, which emphasizes logic programming, parallelism, and distributed systems. It presents a collection of tutorials and research papers on a new programming and design methodology in which the system to be constructed is modeled as a collection of abstract entities called "objects" and concurrent messages passing among objects. This methodology is particularly powerful in exploiting as well as harnessing the parallelism that is naturally found in problem domains. The book includes several proposals for programming languages that support this methodology, as well as the applications of object-oriented concurrent programming to such diverse areas as artificial intelligence, software engineering, music synthesis, office information systems, and system programming. It is the first compilation of research results in this rapidly emerging area. Contents:Concurrent Programming Using Actors. Concurrent Object-Oriented Programming in Act-1. Modelling and Programming in a Concurrent Object-Oriented Language, ABCL/1. Concurrent Programming in ConcurrentSmallTalk. Orient84K: An Object-Oriented Concurrent Programming Language for Knowledge Representation. POOL-T: A Parallel Object-Oriented Programming Language. Concurrent Strategy Execution in Omega. The Formes System: A Musical Application of Object-Oriented Concurrent Programming. Distributed Problem Solving in ABCL/1. The contributors are Gul Agha (MIT), Pierre America (Phillips Research Laboratory, Eindhoven), Giuseppe Attardi (DELPHI SpA), Jean Pierre Briot (IRCAM, Paris), Pierre Cointe (IRCAM, Paris), Carl Hewitt (MIT), Yutaka Ishikawa (Keio University), Henry Lieberman (MIT), Etsuya Shibayama (Tokyo Institute of Technology), Mario Tokoro (Keio University), Yasuhiko Yokote (Keio University), and Akinori Yonezawa (Tokyo Institute of Technology). Object-Oriented Concurrent Programmingis included in The MIT Press Series in Artificial Intelligence, edited by Patrick Henry Winston and Michael Brady.