HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Abstrac tThis paper presents the basis of PDIL, a language designed for specifying protocol s and services and allowing automati c implementation . The main objectives of th e language are unambiguous description , simulation and automatic implementation . Th e first pert presents the objects that PDI L allows to manipulate : machines, channels , contexts, automata, interactions . The secon d part gives an overview of a PDIL descriptio n unit in its language aspect . This paper als o introduces general ideas about the descriptio n of simulation and automatic implementation o f protocols or services .This work is largely based on the presen t result of subgroups A and B o f ISO/SC16/WG1/FDT with significant extensions .
Abstrac tThis paper presents the basis of PDIL, a language designed for specifying protocol s and services and allowing automati c implementation . The main objectives of th e language are unambiguous description , simulation and automatic implementation . Th e first pert presents the objects that PDI L allows to manipulate : machines, channels , contexts, automata, interactions . The secon d part gives an overview of a PDIL descriptio n unit in its language aspect . This paper als o introduces general ideas about the descriptio n of simulation and automatic implementation o f protocols or services .This work is largely based on the presen t result of subgroups A and B o f ISO/SC16/WG1/FDT with significant extensions .
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.