|Final Report of the COST-247 Action|
Richer Gates for Extended LOTOS
Jose A. Manas
|Dept. Ingenieria de Sistemas Telematicos|
|Universidad Politecnica de 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.