{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T12:37:32Z","timestamp":1783082252966,"version":"3.54.6"},"reference-count":31,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[1994,12,1]],"date-time":"1994-12-01T00:00:00Z","timestamp":786240000000},"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":[[1994,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>This paper presents a formal semantics of data flow diagrams as used in Structured Analysis, based on an abstract model for data flow transformations. The semantics consists of a collection of VDM functions, transforming an abstract syntax representation of a data flow diagram into an abstract syntax representation of a VDM specification. Since this transformation is executable, it becomes possible to provide a software analyst\/designer with two \u2018views\u2019 of the system being modelled: a graphical view in terms of a data flow diagram, and a textual view in terms of a VDM specification. In this paper emphasis is on the motivation for the choices made in the transformation. The main aspects of the transformation itself are described using annotated VDM functions with some examples.<\/jats:p>","DOI":"10.1007\/bf03259387","type":"journal-article","created":{"date-parts":[[2012,11,10]],"date-time":"2012-11-10T01:08:19Z","timestamp":1352509699000},"page":"586-606","source":"Crossref","is-referenced-by-count":29,"title":["A Formal Semantics of Data Flow Diagrams"],"prefix":"10.1145","volume":"6","author":[{"given":"Peter Gorm","family":"Larsen","sequence":"first","affiliation":[{"name":"IFAD, Forskerparken 10, DK-5230, Odense M, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nico","family":"Plat","sequence":"additional","affiliation":[{"name":"Faculty of Technical Mathematics and Informatics, Delft University of Technology, Delft, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hans","family":"Toetenel","sequence":"additional","affiliation":[{"name":"Faculty of Technical Mathematics and Informatics, Delft University of Technology, Delft, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.4636"},{"key":"e_1_2_1_2_2_2","first-page":"335","volume-title":"OOPSLA\u201988 Proceedings","author":"Alabiso B","year":"1988"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/3-540-50214-9_2","volume-title":"VDM\u201988; VDM \u2014 The Way Ahead","author":"Bear S","year":"1988"},{"key":"e_1_2_1_2_4_2","volume-title":"Formal Specification & Software Development","author":"Bj\u00f8rner D","year":"1982"},{"key":"e_1_2_1_2_5_2","volume-title":"The Semantics of Data Flow Diagrams","author":"Bruza PD","year":"1989"},{"key":"e_1_2_1_2_6_2","volume-title":"Structured Design","author":"Constantine LL","year":"1979"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","DOI":"10.1201\/9781482267419","volume-title":"The VDM-SL Reference Guide","author":"Dawes J","year":"1991"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"publisher","DOI":"10.5555\/1102012"},{"key":"e_1_2_1_2_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/185009.185028"},{"issue":"2","key":"e_1_2_1_2_10_2","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/BF01088591","article-title":"Giving Semantics to SA\/RT by Means of High Level Timed Petri Nets","volume":"5","author":"Elmstr\u00f8m R","year":"1993","journal-title":"Real-Time Systems"},{"key":"e_1_2_1_2_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.90448"},{"key":"e_1_2_1_2_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.129221"},{"key":"e_1_2_1_2_13_2","volume-title":"Structured Systems Analysis: Tools and Techniques","author":"Gane C","year":"1979"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"publisher","DOI":"10.5555\/3921"},{"key":"e_1_2_1_2_15_2","unstructured":"Information Technology Programming Languages \u2014 VDM-SL. Technical report. First Committee Draft Standard: CD 13817-1 November 1993. ISO\/IEC JTC1\/SC22\/WG19 N-20."},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/3-540-17654-3_19","volume-title":"VDM\u201987; VDM \u2014 A Formal Method at Work","author":"Jones KD","year":"1987"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"publisher","DOI":"10.5555\/94062"},{"key":"e_1_2_1_2_18_2","first-page":"95","volume-title":"Information Processing 89","author":"Gorm Larsen P","year":"1989"},{"key":"e_1_2_1_2_19_2","first-page":"681","volume-title":"FME\u201993: Industrial-Strength Formal Methods","author":"B\u00f8gh Lassen P","year":"1993"},{"key":"e_1_2_1_2_20_2","volume-title":"SSADM Manual","author":"Longworth G","year":"1986"},{"key":"e_1_2_1_2_21_2","volume-title":"Proc. of the Methods Integration Conference, Leeds, UK, September 1991 (to appear)","author":"Larsen PG","year":"1993"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3"},{"key":"e_1_2_1_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/356698.356702"},{"key":"e_1_2_1_2_24_2","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1992.0037"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/3-540-54834-3_8","volume-title":"VDM\u201991; Formal Software Development Methods","author":"Plat N","year":"1991"},{"key":"e_1_2_1_2_26_2","volume-title":"Translating Data Flow Diagrams into Z (and Vice Versa)","author":"Randell GP","year":"1990"},{"key":"e_1_2_1_2_27_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/35.6.600"},{"key":"e_1_2_1_2_28_2","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0950-5849(92)90094-6","article-title":"Formalization of Techniques: Chopping Down the Methodology Jungle","volume":"34","author":"ter Hofstede AHM","year":"1992","journal-title":"Journal of Information and Software Technology"},{"key":"e_1_2_1_2_29_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/32.1.1"},{"key":"e_1_2_1_2_30_2","volume-title":"Structured Development for Real-Time Systems","author":"Ward PT","year":"1985"},{"key":"e_1_2_1_2_31_2","volume-title":"Techniques of Program Structure and Design","author":"Yourdon E","year":"1975"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03259387.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03259387\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF03259387","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:30:30Z","timestamp":1641483030000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF03259387"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":31,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["10.1007\/BF03259387"],"URL":"https:\/\/doi.org\/10.1007\/bf03259387","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}