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.
Publication Year: 1997
Publication Date: 1997-03-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 31
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot