Towards a Formal Foundation for DeMarco Data Flow Diagrams

Tse, T. H.

doi:10.1093/comjnl/32.1.1

Cited by 29 publications

(9 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The CPN model can check system properties such as concurrency as well as show that a system behaves in the desired manner. However, these efforts have focused mainly on Structured Analysis-oriented models [23,1,15,25]; with less attention focused on UML-based object-oriented models [6,5,17,20,19,2,14,22]. [1] proposes a technique based on a formalism to define mapping from front-end informal (specification) notations to formal models.…”

Section: Related Workmentioning

confidence: 99%

Analyzing Dynamic Behavior of Large-Scale Systems Through Model Transformation

Shin

Levis

Wagenhals

et al. 2005

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

View full text Add to dashboard Cite

This paper describes model transformation for analyzing dynamic behavior of large-scale systems. The Unified Modeling Language (UML) based system model is transformed into the Colored Petri Nets (CPN) model, which is used for analyzing the scenarios of the use cases of a system and checking freedom of system deadlock at an early stage of software development.The CPN model that is executable is hierarchically structured on the basis of the functional decomposition of a large-scale system. The UML-based system model consisting of the use case model, class model and collaboration model is not executable so that the dynamic behavior of the system cannot be analyzed until implementation of the system. However, the UML-based system model has no hierarchical structure to be transformed into the hierarchical CPN model as well. The discrepancies of dynamic and structural views in the two models are resolved by transformation of the UML model into the layered, executable CPN model with three layers -the use case layer, object layer and operation layer. The model transformation is carried out using relationships among the use case model, class model, and collaboration model of the UML.With the executable CPN model transformed, the dynamic properties of the system are analyzed using the simulation technique, occurrence graph, and state space report provided by the Design/CPN tool. The approach in this paper is validated through two case studies -the gas station system and the distributed factory automation system. Keywords: UML model; CPN model; model transformation; analysis of dynamic behavior of system. * This research was sponsored in part by the Office of Naval Research Code 342 under grant No. N00014-00-1-0267. 35 Int. J. Soft. Eng. Knowl. Eng. 2005.15:35-60. Downloaded from www.worldscientific.com by UNIVERSITY OF AUCKLAND LIBRARY -SERIALS UNIT on 03/09/15. For personal use only. 36 M. E. Shin et al.

show abstract

Section: Related Workmentioning

confidence: 99%

Analyzing Dynamic Behavior of Large-Scale Systems Through Model Transformation

Shin

Levis

Wagenhals

et al. 2005

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

View full text Add to dashboard Cite

show abstract

“…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%

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

“…Tse's work [11], but makes the progress in dealing with disconnected decomposition. It is summarised as follows: It is assumed in the above algorithm that g is a connected net.…”

Section: • E T-outp(g) = Output(p)mentioning

confidence: 99%

A user-friendly formal requirements specification method

Liu

1992

Proceedings of the 30th Annual Southeast Regional Conference on - ACM-SE 30

View full text Add to dashboard Cite

As formal methods are increasingly used in the development of industrial scale software systems, there is a growing awareness of the need to integrate the formal notations with existing structured software development methods. In order to make requirements analysis both comprehensible and rigorous, a User-Friendly Formal Requirements Specification Method is proposed in this paper by combining and extending DeMarco data flow diagrams with VDM (Vienna Development Method). The specifications produced using this method possess good readability, a well-designed structuring mechanism and precise semantics. The significant progress presented in this paper is to develop a verified analysis approach based on the concept of consistency checking for guaranteeing the correctness of analysis steps.

show abstract

Towards a Formal Foundation for DeMarco Data Flow Diagrams

Abstract: In thie paper,w ed escribe a proposal for formalizing data flowd iagrams through extended Petri nets. We illustrate the usefulness of the approach by describing howi tc an be used to analyse the consistencyofrequirements specifications.

Cited by 29 publications

References 10 publications

Analyzing Dynamic Behavior of Large-Scale Systems Through Model Transformation

Analyzing Dynamic Behavior of Large-Scale Systems Through Model Transformation

Multiple Views Analysis of Software Designs

A user-friendly formal requirements specification method

Contact Info

Product

Resources

About