Abstract:

The problems of multiple specification languages for multiple architectures are discussed. It is concluded that an architectural semantics is of practical value in ensuring consistent and effective development of specifications. The approach is discussed in general and by examples, concentrating mainly on an architectural semantics for Open Systems Interconnection in relation to ESTELLE, LOTOS and SDL. It is shown how an architectural semantics can be realised using a library of specification templates, allowing the specifier to work at a higher, more architectural level. Some LOTOS templates are discussed, mainly for Open Systems Interconnection.