A Formal Semantics of Data Flow Diagrams-Reference-Cited by-同舟云学术

A Formal Semantics of Data Flow Diagrams

Published:1994-12 Issue:6 Volume:6 Page:586-606
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Larsen Peter Gorm¹,Plat Nico²,Toetenel Hans²

Affiliation:

1. IFAD, Forskerparken 10, DK-5230, Odense M, Denmark

2. Faculty of Technical Mathematics and Informatics, Delft University of Technology, Delft, The Netherlands

Abstract

Abstract 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 ‘views’ 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.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF03259387.pdf

Reference31 articles.

1. An algebra for data flow diagram process decomposition

2. Structuring for the VDM specification language

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Interpretation;Studies in Big Data;2024

2. Automatic extraction of security-rich dataflow diagrams for microservice applications written in Java;Journal of Systems and Software;2023-08

3. Detecting violations of access control and information flow policies in data flow diagrams;Journal of Systems and Software;2022-02

4. Hatley‐Pirbhai Control Flow Diagram with SysML for Early Validation;INCOSE International Symposium;2020-07

5. Adaptation of the DFD technology in the modeling of business systems in the environment of RDS;Open Education;2019-05-14