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