Structuring Protocols Using Exceptions in a LOTOS Extension

Abstract This paper presents an extension of LOTOS which introduces two main elements, a new event structure which permits the representation of simultaneous events and a generalization of termination and enabling operators which permits the representation of synchronized and non synchronized termination. Non synchronized termination provides a new way of structuring specifications with exception handling schemes in the line of languages like ADA. The abracadabra protocol specification is presented in order to show a realistic example.