Formalizing a design technique for distributed programs

Mark Polman, Maarten van Steen, Arie de Bruin

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

Semantics
Formal methods
Communication
Feedback

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
Polman, Mark ; van Steen, Maarten ; de Bruin, Arie. / Formalizing a design technique for distributed programs. Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems. Piscataway, NJ : IEEE, 1997. pp. 150-159
@inproceedings{4786413c4e464c8eb1e096d1784b45de,
title = "Formalizing a design technique for distributed programs",
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.",
author = "Mark Polman and {van Steen}, Maarten and {de Bruin}, Arie",
year = "1997",
month = "5",
day = "1",
doi = "10.1109/PDSE.1997.596835",
language = "English",
isbn = "0-8186-8043-1",
pages = "150--159",
booktitle = "Proceedings of PDSE '97",
publisher = "IEEE",
address = "United States",

}

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. IEEE, Piscataway, NJ, pp. 150-159, 2nd International Workshop on Software Engineering for Parallel and Distributed Systems, PDSE 1997, Boston, United States, 17/05/97. https://doi.org/10.1109/PDSE.1997.596835

Formalizing a design technique for distributed programs. / Polman, Mark; van Steen, Maarten; de Bruin, Arie.

Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems. Piscataway, NJ : IEEE, 1997. p. 150-159.

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

TY - GEN

T1 - Formalizing a design technique for distributed programs

AU - Polman, Mark

AU - van Steen, Maarten

AU - de Bruin, Arie

PY - 1997/5/1

Y1 - 1997/5/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0030703972&partnerID=8YFLogxK

U2 - 10.1109/PDSE.1997.596835

DO - 10.1109/PDSE.1997.596835

M3 - Conference contribution

SN - 0-8186-8043-1

SP - 150

EP - 159

BT - Proceedings of PDSE '97

PB - IEEE

CY - Piscataway, NJ

ER -

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