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

Bavan, A. S. and Abeysinghe, Geetha (2005) On the specification and implementation of distributed systems using NMDS and LIPS. Information and software technology, 47 (11). pp. 721-734. ISSN 0950-5849

Full text is not in this repository.

This item is available in: Library Catalogue

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.

Item Type: Article
Research Areas: A. > School of Science and Technology > Computer and Communications Engineering
ISI Impact: 0
Item ID: 2333
Useful Links:
Depositing User: Repository team
Date Deposited: 18 May 2009 14:24
Last Modified: 15 Feb 2016 15:05
URI: http://eprints.mdx.ac.uk/id/eprint/2333

Actions (login required)

Edit Item Edit Item