A semantic framework for the recursive specification of interaction protocols
Juan Manuel Serrano, Sascha Ossowskí · 2005
This paper addresses two major problems concerning the specification of interaction protocols: the lack of an established semantic framework which precisely identifies the modelling elements that different kind of specification techniques may exploit in their specifications; and the lack of techniques which allow designers to reuse pre-specified protocols by specialising them in more specific domains. We deal with these issues in the context of the organisational framework provided by the RICA theory, and propose a new formalism based on so-called Interaction State Machines, which will be applied to the re-design of some protocols of the FIPA IPL.