Formal definition and verification of data flow diagrams

Tao, Yonglei; Kung, Chenho

doi:10.1016/0164-1212(91)90029-6

Cited by 28 publications

(19 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…General formal representations of graphical designs can be found in [9,10,11]. Formal representations specific to data flow diagrams are given in [12,13]. To illustrate our multiple views analysis framework, we concentrate our discussion on two design methods.…”

Section: Formal Representations Of Graphical Designsmentioning

confidence: 99%

“…This process consists of a global analysis (detection of cycles in the decomposition process of nodes), a structural analysis (use of precedence relations to check for the balancing rule), and a completeness analysis (verification of design validity). These analyses are performed to guarantee that each design is well-constructed [15,13]. Well-constructed designs are subsequently subjected to the multiple view analysis.…”

Section: Multiple Views Analysismentioning

confidence: 99%

See 1 more Smart Citation

Multiple Views Analysis of Software Designs

Belkhouche

Lemus–Olalde

2000

Int. J. Soft. Eng. Knowl. Eng.

View full text Add to dashboard Cite

Designs are expressed in terms of structure, behavior, objects, modules, and functions which, once consolidated, become design blueprints. This paper describes a formal framework for expressing, analyzing, and comparing multiple views of designs. The analysis of multiple designs or views using different design notations is proposed as a strategy to enhance design quality by providing a systematic identification of design defects and discrepancies. Views are formalized, analyzed independently, and then compared to each other. The type of design discrepancies identified are omission of information, incompatible information, and inconsistencies between views.

show abstract

Section: Formal Representations Of Graphical Designsmentioning

confidence: 99%

Section: Multiple Views Analysismentioning

confidence: 99%

Multiple Views Analysis of Software Designs

Belkhouche

Lemus–Olalde

2000

Int. J. Soft. Eng. Knowl. Eng.

View full text Add to dashboard Cite

show abstract

“…France [7] has addressed this problem with semantically extended DFD, capable of producing formal specifications. Tao and Kung [19] address this problem by proposing precedence relation, an abstraction of the functional semantics that specifies the 'is-used-to-produce' relationships among the data flows. Also, DFDs do not represent control logic in the systems being modeled.…”

Section: Introductionmentioning

confidence: 99%

Modeling station duty officer operations assistant at Johnson Space Center

Tavana¹,

Ortiz²,

Torney³

2003

Advances in Engineering Software

View full text Add to dashboard Cite

The mission operations directorate (MOD) at the Johnson Space Center (JSC) is responsible for the planning and operation of human space flight missions. MOD is being challenged with sustaining and developing new operations capabilities to support increasingly demanding requirements and to improve its processes to accomplish these missions at higher levels of safety, mission success, and effectiveness. Automation is being considered as an enabling technology to meet the aforementioned challenges. The synergistic combination of flight controllers and intelligent software providing the function of 'operations assistants' (OA) is being pursued as the key implementation of this technology in the Mission Control Center (MCC).The flight control team (FCT) assesses the condition and operability of the major systems such as electrical power, thermal control, life support, communications, altitude control, and data handling at MCC. OA assist the flight controllers with their tasks of monitoring the status and health of the flight systems. They also help maintain the flight controller's awareness of the operations being performed during the mission and help assure that operational objectives are being met. The station duty officer (SDO) performs the lead operations role for the International Space Station (ISS) during quiescent times when FCT and the flight director are off-duty. SDOs assess the condition and operability of the major ISS systems. This assessment involves monitoring and controlling several periodic processes on systems such as the electrical power, thermal control, life support, communications, altitude control, and data handling systems. The SDO is also responsible for coordinating operations with the Russian FCT. The OA will help the SDO maintain an awareness of all the processes performed on board and will assist with the responses to anomalous conditions. The OA for this position will support the concept of reduced control center staffing during quiescent times. The purpose of this paper is twofold: (1) to present a unique two-stage specification methodology that combines data flow diagrams and petri nets and (2) to apply the proposed methodology in a complex space station system. Published by Elsevier Science Ltd.

show abstract

“…Case tools have appeared in the market and simplified the work of the System/Analyst. These tools offer syntactic consistency in the development process but not semantic consistency as shown in [Tao91].…”

Section: Introductionmentioning

confidence: 99%

“…Tao and King define the syntax of DFD as a digraph and the semantics by a precedence relation [Tao91]. Lee …”

Section: Introductionmentioning

confidence: 99%

An algebra approach to the deduction of data flow diagrams and object oriented diagrams from algebraic specifications

Vázquez¹

1996

SIGSOFT Softw. Eng. Notes

View full text Add to dashboard Cite

The Software Engineering procedures usually lack formal mathematical foundations.This paper presents a formal approach for the development of Specifications, Data Flow Diagrams and Object Oriented Diagrams using algebraic theory. The use of algebraic theory allows the check for completeness and consistency and the generation of automatic procedures for translating specifications into Data Flow Diagrams or Object Oriented Diagrams.

show abstract

Formal definition and verification of data flow diagrams

Cited by 28 publications

References 11 publications

Multiple Views Analysis of Software Designs

Multiple Views Analysis of Software Designs

Modeling station duty officer operations assistant at Johnson Space Center

An algebra approach to the deduction of data flow diagrams and object oriented diagrams from algebraic specifications

Contact Info

Product

Resources

About