Formalizing a design technique for distributed programs

Mark Polman; Maarten van Steen; Arie de Bruin

doi:10.1109/PDSE.1997.596835

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 proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Proceedings of PDSE '97
Subtitle of host publication	2nd International Workshop on Software Engineering for Parallel and Distributed Systems
Place of Publication	Piscataway, NJ
Publisher	IEEE
Pages	150-159
Number of pages	10
ISBN (Print)	0-8186-8043-1
DOIs	https://doi.org/10.1109/PDSE.1997.596835
Publication status	Published - 1 May 1997
Externally published	Yes
Event	2nd International Workshop on Software Engineering for Parallel and Distributed Systems, PDSE 1997 - Boston, United States Duration: 17 May 1997 → 18 May 1997 Conference number: 2

Conference

Conference	2nd International Workshop on Software Engineering for Parallel and Distributed Systems, PDSE 1997
Abbreviated title	PDSE
Country/Territory	United States
City	Boston
Period	17/05/97 → 18/05/97

Access to Document

10.1109/PDSE.1997.596835

Cite this

@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 = may,

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",

note = "2nd International Workshop on Software Engineering for Parallel and Distributed Systems, PDSE 1997, PDSE ; Conference date: 17-05-1997 Through 18-05-1997",

}

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, Massachusetts, 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 proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Formalizing a design technique for distributed programs

AU - Polman, Mark

AU - van Steen, Maarten

AU - de Bruin, Arie

N1 - Conference code: 2

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 - https://www.scopus.com/pages/publications/0030703972

U2 - 10.1109/PDSE.1997.596835

DO - 10.1109/PDSE.1997.596835

M3 - Conference contribution

AN - SCOPUS:0030703972

SN - 0-8186-8043-1

SP - 150

EP - 159

BT - Proceedings of PDSE '97

PB - IEEE

CY - Piscataway, NJ

T2 - 2nd International Workshop on Software Engineering for Parallel and Distributed Systems, PDSE 1997

Y2 - 17 May 1997 through 18 May 1997

ER -

Formalizing a design technique for distributed programs

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this