Formalizing a design technique for distributed programs

Mark Polman*, Maarten van Steen, Arie de Bruin

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

Abstract

ADL-d is a graphical design technique for parallel and distributed software, in which communication modeling plays a central part. Recently, we have used formal methods to define ADL-d's semantics. The original objective was to provide well-defined guidelines for future implementations of ADL-d's communication constructs, but, as it turned out, significant feedback resulted to the notation itself. We give an outline of the ADL-d notation and its intuitive semantics. Also, we introduce the formal semantics, and discuss what impact this formalization has had on the original notation.

Original languageEnglish
Title of host publicationProceedings of PDSE '97
Subtitle of host publication2nd International Workshop on Software Engineering for Parallel and Distributed Systems
Place of PublicationPiscataway, NJ
PublisherIEEE
Pages150-159
Number of pages10
ISBN (Print)0-8186-8043-1
DOIs
Publication statusPublished - 1 May 1997
Externally publishedYes
Event2nd International Workshop on Software Engineering for Parallel and Distributed Systems, PDSE 1997 - Boston, United States
Duration: 17 May 199718 May 1997
Conference number: 2

Conference

Conference2nd International Workshop on Software Engineering for Parallel and Distributed Systems, PDSE 1997
Abbreviated titlePDSE
CountryUnited States
CityBoston
Period17/05/9718/05/97

    Fingerprint

Cite this

Polman, M., van Steen, M., & de Bruin, A. (1997). Formalizing a design technique for distributed programs. In Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems (pp. 150-159). Piscataway, NJ: IEEE. https://doi.org/10.1109/PDSE.1997.596835