Abstract:

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.