{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T05:40:20Z","timestamp":1698126020795},"reference-count":22,"publisher":"Wiley","issue":"5","license":[{"start":{"date-parts":[[2006,10,24]],"date-time":"2006-10-24T00:00:00Z","timestamp":1161648000000},"content-version":"vor","delay-in-days":5197,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Concurrency: Pract. Exper."],"published-print":{"date-parts":[[1992,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We report our experience in developing a compiler and a distributed run\u2010time kernel for distributed computers, called <jats:italic>Echidna. Echidna<\/jats:italic> is a software package which has been available for more than two years, and aims to support protocol designers in protocol modeling, validation and performance evaluation. It is basically oriented towards the rapid prototyping of distributed algorithms on distributed computers: the Intel iPSC hypercube, the Supernode machine, and networks of Transputers and Suns were considered. Algorithms are described using an ISO formal description technique called <jats:italic>Estelle<\/jats:italic>.<\/jats:p><jats:p>First, we present and justify the concept of <jats:italic>experimentation<\/jats:italic> on distributed algorithms for which our Estelle compiler has been designed. Then we discuss how Estelle constructs are mapped onto <jats:italic>C<\/jats:italic> structures and how they are interpreted by a distributed run\u2010time kernel. We conclude by presenting typical uses of <jats:italic>Echidna<\/jats:italic>.<\/jats:p>","DOI":"10.1002\/cpe.4330040504","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T06:19:34Z","timestamp":1163830774000},"page":"377-397","source":"Crossref","is-referenced-by-count":4,"title":["Echidna, an estelle compiler to prototype protocols on distributed computers"],"prefix":"10.1002","volume":"4","author":[{"given":"Claude","family":"Jard","sequence":"first","affiliation":[]},{"given":"Jean\u2010Marc","family":"Jezequel","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,24]]},"reference":[{"key":"e_1_2_1_2_2","unstructured":"M.Adam Ph.IngelsandM.Raynal \u2018Algorithmes distribu\u00e9s synchrones et syst\u00e8mes r\u00e9partis asynchrones: concepts mises en oeuvre et exp\u00e9rimentations\u2019 Rapport de Recherche RR\u20100862 INRIA Centre IRISA Rennes July1988 p.27."},{"key":"e_1_2_1_3_2","unstructured":"C.JardandJ.\u2010M.J\u00e9z\u00e9quel \u2018A multi\u2010processor Estelle to C compiler to experiment distributed algorithms on parallel machines\u2019 InProc. of the 9th IFIP International Workshop on Protocol Specification Testing and Verification University of Twente The Netherlands North Holland 1989."},{"key":"e_1_2_1_4_2","unstructured":"J.\u2010M.J\u00e9z\u00e9quel.Outils pour l'exp\u00e9rimentation d'algorithmes distribu\u00e9s sur machines parall\u00e8les. Th\u00e8se Univ. Rennes I Rennes October1989."},{"issue":"3","key":"e_1_2_1_5_2","first-page":"384","article-title":"Semi\u2010automatic implementation of protocols using an Estelle\u2010C compiler","volume":"14","author":"Vuong S.","year":"1988","journal-title":"IEEE Trans."},{"key":"e_1_2_1_6_2","volume-title":"The Formal Description Technique Estelle, Results of the ESPRIT Sedos Project","author":"Richard J. L.","year":"1989"},{"key":"e_1_2_1_7_2","unstructured":"ISO 9074 Estelle: a Formal Description Technique based on an Extented State Transition Model ISO TC97\/SC21\/WG6.1 1989."},{"key":"e_1_2_1_8_2","volume-title":"7th IFIP International Workshop on Protocol Specification, Testing and Verification","author":"Bochmann G. V.","year":"1987"},{"key":"e_1_2_1_9_2","volume-title":"Formal Description Techniques, FORTE 88","author":"Sigelmassi R.","year":"1988"},{"key":"e_1_2_1_10_2","volume-title":"Proceedings of the Esprit '85 week","author":"Diaz C.","year":"1985"},{"key":"e_1_2_1_11_2","first-page":"7","volume-title":"Hypercube Multiprocessors 1986","author":"Heath M.","year":"1986"},{"key":"e_1_2_1_12_2","unstructured":"ISO 9074 Proposed draft addendum to ISO 9074:1989\u2014Estelle tutorial. ISO 9074:1989 ISO\/IECJTC1\/SC21\/F60."},{"issue":"2","key":"e_1_2_1_13_2","article-title":"Estelle: un langage ISO pour les algorithmes distribu\u00e9s et les protocoles","volume":"6","author":"Courtiat J.\u2010P.","year":"1987","journal-title":"Technique et Science Informatique"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(87)90084-5"},{"issue":"13","key":"e_1_2_1_15_2","article-title":"Development of VEDA: a prototyping tool for distributed algorithms","volume":"14","author":"Jard C.","year":"1988","journal-title":"IEEE Trans."},{"key":"e_1_2_1_16_2","volume-title":"7th IFIP International Workshop on Protocol Specification, Testing and Verification","author":"Richier J. L.","year":"1987"},{"key":"e_1_2_1_17_2","first-page":"136147","volume-title":"Proc. of the 3rd International Workshop on Distributed Algorithms","author":"J\u00e9z\u00e9quel J.\u2010M.","year":"1989"},{"key":"e_1_2_1_18_2","volume-title":"Proceedings of the Workshop on Parallel and Distributed Algorithms","author":"Adam M.","year":"1988"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/4221.4227"},{"key":"e_1_2_1_20_2","doi-asserted-by":"crossref","unstructured":"D.PelegandJ. D.Ullman \u2018An optimal synchronizer for the hypercube\u2019 In6th Annual ACM Symposium on Principles of Distributed Computing August1987 pp.77\u201385.","DOI":"10.1145\/41840.41847"},{"key":"e_1_2_1_21_2","unstructured":"ADP research team \u2018Distributed computers in the design and analysis of distributed algorithms\u2019 In1er Colloque Europ\u00e9en sur les Hypercubes et Calculateurs Distribu\u00e9s Rennes Octobre1989."},{"key":"e_1_2_1_22_2","volume-title":"Implementation and Evaluation of Distributed Synchronization on a Distributed Memory Parallel Machine","author":"Couvert A.","year":"1990"},{"key":"e_1_2_1_23_2","unstructured":"J.\u2010M.J\u00e9z\u00e9quel \u2018Experience in validating protocol integration using Estelle\u2019 InProc. of the Third International Conference on Formal Description Techniques Madrid Spain November1990."}],"container-title":["Concurrency: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fcpe.4330040504","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/cpe.4330040504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T19:07:04Z","timestamp":1698088024000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/cpe.4330040504"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,8]]},"references-count":22,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1992,8]]}},"alternative-id":["10.1002\/cpe.4330040504"],"URL":"https:\/\/doi.org\/10.1002\/cpe.4330040504","archive":["Portico"],"relation":{},"ISSN":["1040-3108","1096-9128"],"issn-type":[{"value":"1040-3108","type":"print"},{"value":"1096-9128","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,8]]}}}