Abstract:

Overview of the requirements on E-LOTOS and of the different enhancements being considered in the ISO Work Item. This general overview of the status of E-LOTOS may provoke reflections of general nature. The enhaments being considered are: - Generalized operators. Generalization of termination and enabling to provide an exception handling mechanism and generalization of disabling to provide a suspend/resume operator. - Event structure. Constructs for typing and tagging gates are considered. The introduction of partial synchronization among events is also considered in the new framework. - The introduction of time is considered by adding the notion of time passing. - The introduction of a new data definition part which is executable and which has a rich set of predefined types is considered. - The introduction of modules is considered. - The introduction of mobility is considered.