By Topic

Deriving protocol specifications from service specifications written in LOTOS

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Kant, C. ; Dept. d''ITRO, Montreal Univ., Que., Canada ; Higashinoz, T. ; Bochmann, G.V.

Based on the relation between the service and protocol concepts the authors have developed algorithms for deriving protocol entity specifications from a formal service specification. The derived protocol entities ensure the correct ordering of the service primitives by exchanging synchronization messages through an underlying communication medium. A new version of the algorithms is proposed. It is an extension of the method to a more comprehensive specification language. This version of the algorithm can handle all operators and unrestricted process invocation and recursion as defined by basic LOTOS. LOTOS is a language which has been developed within ISO for the formal specification of standard OSI protocols and services. The correctness of the algorithm is formally proved

Published in:

Computers and Communications, 1993., Twelfth Annual International Phoenix Conference on

Date of Conference:

23-26 Mar 1993