Protocol synthesis using basic Lotos and global variables

Authors:
A. Khoumsi;G. von Bochmann
Affiliations:
-;-
Venue:
ICNP '95 Proceedings of the 1995 International Conference on Network Protocols
Year:
1995

Citing 0
Cited 2

Protocol synthesis and re-synthesis with optimal allocation of resources based on extended petri nets

Distributed Computing
Two paradigms of composition

Proceedings of the Third Workshop on Behavioural Modelling

Quantified Score

Hi-index	0.00

Visualization

Abstract

In Kant et al. (1992), a method of protocol synthesis, using basic LOTOS (BL) as a specification language, is proposed. In the present paper, we generalize this method. We propose an extended basic LOTOS (EBL) to specify the service and the protocol. With EBL, events are associated with enabling conditions and transformation functions that depend on global variables. Next, we propose a method to synthesize protocols using EBL as a specification language. This method is inspired by the concept of transactions