A semantic framework for the recursive specification of interaction protocols

  • Authors:
  • Juan Manuel Serrano;Sascha Ossowski

  • Affiliations:
  • University Rey Juan Carlos;University Rey Juan Carlos

  • Venue:
  • Proceedings of the 2005 ACM symposium on Applied computing
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.