Software Engineering for Parallel and Distributed Systems, International Symposium on (1997)
May 17, 1997 to May 18, 1997
Mark Polman , Erasmus University of Rotterdam
Maarten Van Steen , Vrije Universiteit of Amsterdam
Arie de Bruin , Erasmus University of Rotterdam
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.
M. Van Steen, M. Polman and A. de Bruin, "Formalizing a Design Technique for Distributed Programs," Software Engineering for Parallel and Distributed Systems, International Symposium on(PDSE), Boston, MA, 1997, pp. 150.