On the specification and implementation of distributed systems using NMDS and LIPS

Authors:
A. S. Bavan;G. Abeysinghe
Affiliations:
School of Computing Science, Hendon Campus, Middlesex University, The Burroughs, London NW4 4BT, UK;School of Computing Science, Hendon Campus, Middlesex University, The Burroughs, London NW4 4BT, UK
Venue:
Information and Software Technology
Year:
2005

Citing 11
Cited 0

Petri nets: an introduction

Petri nets: an introduction
Communicating sequential processes

Communicating sequential processes
Occam programming: a practical approach

Occam programming: a practical approach
Orca: A Language for Parallel Programming of Distributed Systems

IEEE Transactions on Software Engineering
The SR programming language: concurrency in practice

The SR programming language: concurrency in practice
Using MPI: portable parallel programming with the message-passing interface

Using MPI: portable parallel programming with the message-passing interface
PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing

PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing
Formal Methods for Concurrency

Formal Methods for Concurrency
Communication and Concurrency

Communication and Concurrency
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
The Theory and Practice of Concurrency

The Theory and Practice of Concurrency

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a graphical notation called NMDS and an implementation language called LIPS for producing distributed systems. NMDS is a set of notations based on Role Activity Diagrams with features for expressing concurrency, dataflow and communication and it lends itself to elicitation and verification while expressing concurrency unambiguously in a concise manner. It also fits in with the syntax and semantics of LIPS. LIPS is a distributed message passing language that promotes the separation of communication from computation by using the concept of guarded processes. One of the major advantages of using NMDS with LIPS is that reverse engineering of LIPS programs can easily be achieved.