Abstract
The paper deals with a system specification language, SSL, which is formally based on VDM and thus constructed on a solid semantic (and syntactic) ground. The main aspects of systems modelling covered by SSL are the representation of structural properties by means of a strongly hierarchical decomposition and of dynamic properties via rules of behaviour. The basic idea behind the whole approach is to provide a formal framework for independent definitions of the functional aspects of the individual parts of the system by strictly separating these from the specification of the behaviour of the entire system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Guttag, J. V., and J. J. Horning (1980). Formal specifications as a design tool. Proc. 7th. Annual ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada, 251–261.
Henderson, P. A. (1981). System design: analysis. Infotech State of the Art Report, Series 9, Number 6: System Design. Pergamon Infotech Limited, Maidenhead, 5–163.
Partsch, H., and A. Laut (1982). From requirements to their formalization — a case study on the stepwise development of algebraic specifications. In H. Wössner (Ed.), Programmiersprachen und Programmentwicklung, 7. Fachtagung, München 1982. Informatik-Fachberichte Vol. 53, Springer, Berlin-Heidelberg-New York, 117–132.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Partsch, H. (1983). COMMENTS on I. Dimitrov. In: Wedde, H. (eds) Adequate Modeling of Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69208-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-69208-6_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12567-9
Online ISBN: 978-3-642-69208-6
eBook Packages: Springer Book Archive