Formal Specification and Design of Distributed Systems [chapter]

A. Diagne, P. Estraillier
1997 IFIP Advances in Information and Communication Technology  
To design Distributed Systems (DS), the advantages of integration of Petri Nets (PN) and Object Oriented (00) concepts had been widely discussed in the literature. Some integrations are mainly concerned with providing a formal basis for object oriented languages. Others focus on combining the abstract data type of the object technology with Petri nets. In both approaches the use of Petri nets is explicit so the resulting model diverges from the classical 00 technology. The aim of this work is
more » ... make use of the both paradigms in a multi-formalism approach. We have a formal correspondence between a «pure>> 00 model derived from the Reference Model of Open Distributed Processing (RM-ODP) and a Petri net modular model. So specification, design and validation of DS can be considered in the 00 paradigm which is most appropriate while verification is done in the PN paradigm for
doi:10.1007/978-0-387-35082-0_24 fatcat:pbqsaisxejeyfg2i633abb4snu