next up previous

Final Report of the COST-247 Action

Modules for Extended LOTOS

Jose A. Manas

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


One of the criticism of IS LOTOS is its monolithic nature. There is a single specification text, and at most one standard library. This rigid approach does not permit large groups of specifiers to distribute concerns effectively. A concept of modularity is introduced that aims to remain very simple and abstract, allowing for separate static semantics analysis, via a strict control on name visibility. The concept of modularity allows to distribute assignments after defining an interface, and to check separately the correctness of each piece; it allows for reusability of components, and an smooth evolution throughout the life cycle. 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