Abstract:

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.