Timed data flow diagrams

dc.contributor.advisor Herbert T. David
dc.contributor.advisor Albert L. Baker
dc.contributor.author Symanzik, Jürgen
dc.contributor.department Statistics
dc.date 2018-08-23T19:50:01.000
dc.date.accessioned 2020-06-30T07:12:47Z
dc.date.available 2020-06-30T07:12:47Z
dc.date.copyright Mon Jan 01 00:00:00 UTC 1996
dc.date.issued 1996
dc.description.abstract <p>Traditional Data Flow Diagrams (DFD's) are the cornerstone of the software development methodology known as "Structured Analysis" (SA), and they are probably the most widely used specification technique in industry today. DFD's are popular because of their graphical representation and their hierarchical structure. Thus, they are well-suited for users with non-technical backgrounds and are commonly used to depict the static structure of information flow in a system. Numerous attempts to formalize DFD's have appeared in the technical literature. We focus on the Formalized Data Flow Diagrams (FDFD's) developed by Coleman, Wahls, Baker, and Leavens;This dissertation analyzes and extends FDFD's with respect to their usefulness in specifying the qualitative and quantitative properties of real systems. Prior to this dissertation, there existed no well-founded knowledge about the computational power of FDFD's nor any formal model in FDFD's of the timing behavior of real systems;The dissertation is organized as a collection of five independent papers. Briefly, the main results of each paper are as follows: (i) Reduced FDFD's are Turing equivalent. (ii) Stores, persistent flows, tests for empty flows, and infinite domains are not essential for FDFD's. (iii) Subclasses of FDFD's are equivalent to known subclasses of FIFO Petri Nets, immediately furnishing the decidability results for subclasses of FIFO Petri Nets to the corresponding subclasses of FDFD's. (iv) A general stochastic model of time for FDFD's (called Timed Data Flow Diagrams--TDFD's) is defined, allowing not only a description of the relative likelihoods of various execution times, but also descriptions of the possible joint firing behavior of transitions. (v) An aggregation principle can be used for an efficient stochastic analysis of periodic TDFD's with Markovian transition times;The results in this dissertation provide a firm theoretical foundation for further advances in Computer Science and Statistics, leading to practical and expressive tools for the specification and analysis of real systems.</p>
dc.format.mimetype application/pdf
dc.identifier archive/lib.dr.iastate.edu/rtd/11422/
dc.identifier.articleid 12421
dc.identifier.contextkey 6455290
dc.identifier.doi https://doi.org/10.31274/rtd-180813-10458
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath rtd/11422
dc.identifier.uri https://dr.lib.iastate.edu/handle/20.500.12876/64678
dc.language.iso en
dc.source.bitstream archive/lib.dr.iastate.edu/rtd/11422/r_9712612.pdf|||Fri Jan 14 18:49:59 UTC 2022
dc.subject.disciplines Computer Sciences
dc.subject.disciplines Statistics and Probability
dc.subject.keywords Statistics
dc.subject.keywords Computer science
dc.title Timed data flow diagrams
dc.type article
dc.type.genre dissertation
dspace.entity.type Publication
relation.isOrgUnitOfPublication 264904d9-9e66-4169-8e11-034e537ddbca
thesis.degree.level dissertation
thesis.degree.name Doctor of Philosophy
File
Original bundle
Now showing 1 - 1 of 1
Name:
r_9712612.pdf
Size:
3.11 MB
Format:
Adobe Portable Document Format
Description: