A logical theory of concurrent objects

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

A new theory of concurrent objects is presented. The theory has the important advantage of being based directly on a logic called rewriting logic in which concurrent object-oriented computation exactly corresponds to logical deduction. This deduction is performed by concurrent rewriting modulo structural axioms of associativity, commutativity and identity that capture abstractly the essential aspects of communication in a distributed object-oriented configuration made up of concurrent objects and messages. Thanks to this axiomatization, it becomes possible to study the behavior of concurrent objects by formal methods in a logic intrinsic to their computation. The relationship with Actors and with Dther models of concurrent computation is also discussed. A direct fruit of this theory is a new language, called Maude, to program concurrent object-oriented modules in an entirely declarative way using rewriting logic; modules written in this language are used to illustrate the main ideas with examples. Maude contains OBJ3 as a functional sublanguage and provides a simple and semantically rigorous integration of functional programming and concurrent object-oriented programming.

Original languageEnglish (US)
Title of host publicationProceedings of the European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990
PublisherAssociation for Computing Machinery, Inc
Pages101-115
Number of pages15
ISBN (Electronic)0897914112, 9780897914116
DOIs
StatePublished - Sep 1 1990
Externally publishedYes
Event1990 European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990 - Ottawa, Canada
Duration: Oct 21 1990Oct 25 1990

Publication series

NameProceedings of the European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990

Other

Other1990 European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990
CountryCanada
CityOttawa
Period10/21/9010/25/90

ASJC Scopus subject areas

  • Computer Science Applications
  • Software
  • Information Systems

Fingerprint Dive into the research topics of 'A logical theory of concurrent objects'. Together they form a unique fingerprint.

Cite this