Message oriented programming-A resource based methodology

Authors:
P. R. F. Cunha;C. J. Lucena;T. S. E. Maibaum
Affiliations:
Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada;Departmento de Informatica, Pontificia Universidade Catolica, Rua Marques de S. Vincente, 225, GaveaCEP 22453, Rio de Janeiro, RJ, Brazil;Department of Computer Science, Imperial College of Science and Technology, London, England
Venue:
Computer Languages
Year:
1983

Citing 12
Cited 0

Concurrent Processes and Their Syntax

Journal of the ACM (JACM)
High level programming for distributed computing

Communications of the ACM
Abstract data types and the development of data structures

Communications of the ACM
Monitors: an operating system structuring concept

Communications of the ACM
A technique for software module specification with examples

Communications of the ACM
On the criteria to be used in decomposing systems into modules

Communications of the ACM
Concurrent control with “readers” and “writers”

Communications of the ACM
Composite Structure Design

Composite Structure Design
Task communication in DEMOS

SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Preliminary Ada reference manual

ACM SIGPLAN Notices - Preliminary Ada reference manual
Chapter I: Notes on structured programming

Structured programming
Communication Port: A Language Concept for Concurrent Programming

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The development of new technology and hardware systems provides many new opportunities for their exploitation. These opportunities also present us with certain responsibilities-namely, to develop appropriate tools for the orderly and well founded management of these systems. In this report we present a methodology for the development (and analysis) of programs based on the structuring principle of processes which synchronize their activities by message passing. The basis of the methodology is the resource and this concept generalizes that of abstract data type to the message-passing environment. The methodology is a natural outgrowth of methodologies for sequential programs and parallel programs developed for shared address spaces. We illustrate our ideas via solutions to some well known problems such as the bounded buffer problem, the readers and writers problem, the dining philosophers problem and the unreliable medium problem.