The logical basis for computer programming. Volume 1: deductive reasoning
The logical basis for computer programming. Volume 1: deductive reasoning
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Supersystem Programming with Model
Computer
A software design method for real-time systems
Communications of the ACM
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Structured Systems Analysis: Tools and Techniques
Structured Systems Analysis: Tools and Techniques
Principles of Program Design
Conceptual Modeling in the Context of Development
IEEE Transactions on Software Engineering
Identification of complete data flow diagrams
ACM SIGSOFT Software Engineering Notes
Manipulating recovered software architecture views
ICSE '97 Proceedings of the 19th international conference on Software engineering
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
Systems Design: CASDA: Synthesized Graphic Design of Real-Time Systems
IEEE Computer Graphics and Applications
Modularity in Process Models: Review and Effects
BPM '08 Proceedings of the 6th International Conference on Business Process Management
| Hi-index | 0.00 |
Data flow diagram process decomposition, as applied in the analysis phase of software engineering, is a top-down method that takes a process, and its input and output data flows, and logically implements the process as a network of smaller processes. The decomposition is generally performed in an ad hoc manner by an analyst applying heuristics, expertise, and knowledge to the problem. An algebra that formalizes process decomposition is presented using the De Marco representation scheme. In this algebra, the analyst relates the disjoint input and output sets of a single process by specifying the elements of an input/output connectivity matrix. A directed acyclic graph is constructed from the matrix and is the decomposition of the process. The graph basis, grammar matrix, and graph interpretations, and the operators of the algebra are discussed. A decomposition procedure for applying the algebra, prototype, and production tools and outlook are also discussed.