Langages de Scenarios

Ce livre se place dans le cadre de la modlisation et de l'analyse de systmes parallles et rpartis. Plus prcisment, il s'intresse la modlisation, la vrification et la supervision de systmes composs d'entits indpendantes interagissant localement par mmoire partage et globalement par change asynchrone de messages. Dans ce contexte, plutt que de modliser sparment chaque entit, puis d'analyser les comportements qui peuvent se produire lorsque ces entits interagissent, ce livre fournit une thorie permettant de modliser globalement le systme considr tout en conservant des proprits de vrification et de supervision dcidables. Cette thorie se base sur le formalisme des ordres partiels tiquets, appels "pomsets".