Final Report of the COST-247 Action |
Relating Architecture and Specification
Ken Turner
Computing Science and Mathematics |
University of Stirling |
Stirling FK9 4LA |
United Kingdom |
Email: kjt@cs.stir.ac.uk |
Tel: +44-1786-467-420 |
Fax: +44-1786-464-551 |
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.
This presentation has been given during the COST-247 Project Management Committee Meeting (Stirling, United Kingdom, October 13--14, 1997).
COST-247 Working Group(s): 1
Web Links :http://www.cs.stir.ac.uk/~kjt/research/
This Page was prepared by Mark Jorgensen.