{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:50Z","timestamp":1761611150798},"reference-count":9,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1991,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>A formal model is described for the CCITT specification and description language SDL which provides a graphical concept for representing designs of systems interacting by signals. The model is based on functional descriptions of interactive systems using the concept of streams and stream processing functions. The foundations for this functional modelling of interactive systems are introduced. The graphical constructs of SDL are related to this model. In particular it is shown how the meaning of SDL graphical forms can be represented by specifications in the form of conditional equations or by functional programs. Based on the functional formal model the application of specification and verification methods for SDL is demonstrated. Small examples are treated. A number of tools are discussed that can be based on that model.<\/jats:p>\n          <jats:p>This study does not define a semantic model for the specification and design language SDL, but it gives<\/jats:p>\n          <jats:p>An introduction to the functional modelling of distributed systems<\/jats:p>\n          <jats:p>An explanation of how to translate SDL designs into functional descriptions An extended example for the translation of an SDL design<\/jats:p>\n          <jats:p>A discussion of the possibilities of supporting SDL designs by such a semantic foundation<\/jats:p>","DOI":"10.1007\/bf01211434","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T17:34:52Z","timestamp":1109352892000},"page":"21-57","source":"Crossref","is-referenced-by-count":42,"title":["Towards a formal foundation of the specification and description language SDL"],"prefix":"10.1145","volume":"3","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[{"name":"Institut f\u00fcr Informatik, Technische Universit\u00c4t M\u00fcnchen, Postfach 20 24 20, 8 M\u00fcnchen 2, Germany"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","unstructured":"Brinksma E. Scollo G. and Vissers C. A.: Experience and Future of LOTOS as a Specification Language. SDL '87: State of the Art North Holland 1987."},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"crossref","unstructured":"Broy M.: A Theory for Nondeterminism Parallelism Communication and Concurrency. Habilitation Fakult\u00c4t f\u00fcr Mathematik und Informatik der Technischen Universit\u00c4t M\u00fcnchen 1982. Revised version in Theoretical Computer Science 45 1\u201361 (1986).","DOI":"10.1016\/0304-3975(86)90040-X"},{"key":"e_1_2_1_2_3_2","first-page":"259","volume-title":"Information Processing 83, IFIP World Congress","author":"Broy M.","year":"1983"},{"key":"e_1_2_1_2_4_2","unstructured":"Broy M.: On Modularity in Programming. In: A Quarter Century of IFIP H. Zemanek (ed.) pp. 347\u2013362. North Holland 1986."},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01786252"},{"key":"e_1_2_1_2_6_2","unstructured":"Broy M. Jackson K. and Pennington R.: A Stream Function Definition of MASCOT. System Designers Software Technology Centre Final Technical Report 1987."},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","unstructured":"Broy M. Towards a Design Methodology for Distributed Systems. International Summer School on Constructive Methods in Computing Science Marktoberdorf 1988.","DOI":"10.1007\/978-3-642-74884-4_10"},{"key":"e_1_2_1_2_8_2","first-page":"1","article-title":"An Introduction to Estelle","volume":"14","author":"Budkowski S.","year":"1987","journal-title":"Computer Networks"},{"key":"e_1_2_1_2_9_2","unstructured":"CCITT: Specification and Design Language SDL. Blue Book ."}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01211434.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01211434\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01211434","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:18:33Z","timestamp":1641482313000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01211434"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,1]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,1]]}},"alternative-id":["10.1007\/BF01211434"],"URL":"https:\/\/doi.org\/10.1007\/bf01211434","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,1]]}}}