1998
DOI: 10.1145/268411.268429
|View full text |Cite
|
Sign up to set email alerts
|

Toward formalizing structured analysis

Abstract: Real-time extensions to structured analysis (SA/RT) are popular in industrial practice. Despite the large industrial experience and the attempts to formalize the various "dialects," SA/RT notations are still imprecise and ambiguous. This article tries to identify the semantic problems of the requirements definition notation defined by Hatley and Pirbhai, one of the popular SA/RT "dialects," and discusses possible solutions. As opposed to other articles that give their own interpretation, this article does not … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
16
0

Year Published

1999
1999
2020
2020

Publication Types

Select...
5
2

Relationship

1
6

Authors

Journals

citations
Cited by 13 publications
(16 citation statements)
references
References 26 publications
0
16
0
Order By: Relevance
“…In general, these notations are informal, or, at best, semi-formal, although work on making them more formal is in progress [7]. Only after the problem has been analyzed sufficiently are the possible sequences of operations considered, from which the most appropriate are chosen.…”
Section: Integrating Structured and Formal Methodsmentioning
confidence: 99%
“…In general, these notations are informal, or, at best, semi-formal, although work on making them more formal is in progress [7]. Only after the problem has been analyzed sufficiently are the possible sequences of operations considered, from which the most appropriate are chosen.…”
Section: Integrating Structured and Formal Methodsmentioning
confidence: 99%
“…A first example of notation family is Structured Analysis. If we considered only a single variant, say the one proposed by Hatley and Pirbhai [1987], we could reason on its many plausible interpretations [ Baresi and Pezzè 1998]. Differences would mainly deal with the way input, output, and unused values are treated.…”
Section: Notation Familiesmentioning
confidence: 99%
“…The consistency framework shows the difficulties of capturing a complex notation family. Input Consumption describes the way data on the input flows are consumed by Processes and is one of the SA elements with the largest number of interpretations (see Baresi and Pezzè [1998] for a detailed discussion of the many interpretations of SA and the input consumption mechanism, in particular). The set of rules for Input Consumption and their simple substitutability illustrate the power of the approach in terms of modeling a highly populated family.…”
Section: Structured Analysismentioning
confidence: 99%
See 2 more Smart Citations