Using operational semantic techniques, we present a formal semantics for an extended variant of structured analysis style data flow diagrams. This semantics is intended to serve as a semantic foundation for many different specification languages that specify concurrent systems using a graphical notation similar to data flow diagrams. Besides allowing one to specify how information is processed, it allows one to specify the dynamic behavior of a concurrent system. We discuss various semantic issues, including the need for a two-step firing rule and how the semantics supports the notion of refinemen
We systematically apply the principles of Cousot-Cousot-style abstract interpretation (a.i.) to the ...
We describe a proposal for formalising data flow diagrams through extended Petri nets. We illustrate...
summary:The program is defined syntactically as an ordered finite set of labelled commands which are...
Using operational semantic techniques, an extended variant of structured analysis style data flow di...
Using operational semantic techniques, we present a formal semantics for an extended variant of stru...
. This paper presents a formal semantics of data flow diagrams as used in Structured Analysis, based...
While traditional Data Flow Diagrams (DFDs) are popular, they lack the formality needed in a good sp...
The issue of using extended data flow notations to document object oriented designs and specificatio...
Specifications define systems. The definition of a system can be stated casually or formally. A form...
Structured Analysis (SA) is a widely-used software development method. SA specifications are based ...
The rapid demand for industrial automation has resulted in the development of very large systems. Th...
Dataflow diagram is a commonly used tool of structured analysis and design techniques in specificati...
This article surveys the definition and application of an enhancement of structural operational sema...
The research reported in this thesis has been an investigation into the use of data flow diagrams as...
Much of transaction processing involves classification, that is, the categorization of inputs into o...
We systematically apply the principles of Cousot-Cousot-style abstract interpretation (a.i.) to the ...
We describe a proposal for formalising data flow diagrams through extended Petri nets. We illustrate...
summary:The program is defined syntactically as an ordered finite set of labelled commands which are...
Using operational semantic techniques, an extended variant of structured analysis style data flow di...
Using operational semantic techniques, we present a formal semantics for an extended variant of stru...
. This paper presents a formal semantics of data flow diagrams as used in Structured Analysis, based...
While traditional Data Flow Diagrams (DFDs) are popular, they lack the formality needed in a good sp...
The issue of using extended data flow notations to document object oriented designs and specificatio...
Specifications define systems. The definition of a system can be stated casually or formally. A form...
Structured Analysis (SA) is a widely-used software development method. SA specifications are based ...
The rapid demand for industrial automation has resulted in the development of very large systems. Th...
Dataflow diagram is a commonly used tool of structured analysis and design techniques in specificati...
This article surveys the definition and application of an enhancement of structural operational sema...
The research reported in this thesis has been an investigation into the use of data flow diagrams as...
Much of transaction processing involves classification, that is, the categorization of inputs into o...
We systematically apply the principles of Cousot-Cousot-style abstract interpretation (a.i.) to the ...
We describe a proposal for formalising data flow diagrams through extended Petri nets. We illustrate...
summary:The program is defined syntactically as an ordered finite set of labelled commands which are...
Add to ORKG