next up previous

Final Report of the COST-247 Action

Richer Gates for Extended LOTOS

Jose A. Manas

Dept. Ingenieria de Sistemas Telematicos
Universidad Politecnica de Madrid
ETSI Telecomunicacion
E-28040 Madrid


Gates in IS LOTOS are simple things to host multi-way rendez-vous. The author proposes several extensions that make gates a powerful and secure structuring object in modular specifications. More precisely, gates will be typed, to avoid discrepancies between declaration and actual use; gates will support tagged arguments, to free argument ordering; and gate types may be in a hierarchy to allow for specification composition from different building sub-specifications. The proposal makes LOTOS usage more secure, and opens a door for reusability of specification components. The talk presents a proposal of the author to the ISO working group on E-LOTOS.

This presentation has been given during the COST-247 4th Management Committee Meeting (Berlin, Germany, February 9--10, 1995).

COST-247 Working Group(s): 1

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page