主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2019-2020年专刊出版计划 微信服务介绍 最新一期:2019年第2期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
秦晓.数据流图的形式规范.软件学报,1994,5(5):39-45
数据流图的形式规范
FORMAL SPECIFICATION OF DATA FLOW DIAGRAMS
投稿时间:1993-05-31  
DOI:
中文关键词:  数据流图,形式规范,属性图,边(流)组成关系
英文关键词:Data flow diagrams, formal specification, attributed diagraph, edge (flow)composition relation.
基金项目:
作者单位
秦晓 浙江大学计算中心杭州 310027 
摘要点击次数: 3529
全文下载次数: 2652
中文摘要:
      本文提出了属性图,以描述数据流图的拓扑结构和性质,并提出了边(流)组成关系以给出父子数据流图平衡的形式定义,由此得到的数据流图的形式规范强于文献中现有的规范.本文提出的形式规范方法适用于不同类型的数据流图,包括DeMarco型数据流图、实时系统数据流图等.
英文摘要:
      he attributed diagraph is presented to specify the structure and properties of data flow diagrams (DFD), and a binary relation called the edge (flow) composition relation is proposed as the base on which the notion of balance between a DFD and its child DFD is formally defined. By using the above-mentioned approach, this paper provides a formal specification of DFD which is stronger than those found in the literature. Moreover, this approach applies to different sorts of DFD, including DeMarco DFD, DFD for real-time systems and so on.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利