Data Specifications in Modular Lotos

Within LOTOSPHERE, enhancements for the specification language LOTOS were developed. The enhancements defined modular concepts for LOTOS (chapter 22) and introduced new features for data specifications. This chapter will concentrate on the proposed changes concerning data specifications. The objective of the chapter is to introduce to the new concepts and to show their application by examples. For clarity we will use the term Modular LOTOS to refer to the new language proposals in distinction to ISO LOTOS, as it is defined in the ISO Standard 8807.