Affiliation:
1. Politecnico di Milano, Milan, Italy
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 propose a specific semantics for the notation. This article identifies imprecisions, i.e., missing or partial information about features of the notation; it discusses ambiguities, i.e., elements of the definition that allow at least two different (“reasonable”) interpretations of features of the notation; and it lists extensions, i.e., features not belonging to the notation, but required by many industrial users and often supported by CASE tools. This article contributes by clarifying whether specific interpretations can be given unique semantics or retain ambiguities of the original definition. The article allows for the evaluation of formal definitions by indicating alternatives and consequences of the specific choices.
Publisher
Association for Computing Machinery (ACM)
Reference34 articles.
1. Incremental prototyping technology for embedded real-time systems;BOLOGNA S.;J. Real-Time Syst.,1993
2. An extended systems modeling language (ESML)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Hatley‐Pirbhai Control Flow Diagram with SysML for Early Validation;INCOSE International Symposium;2020-07
2. Formal interpreters for diagram notations;ACM Transactions on Software Engineering and Methodology;2005-01
3. A MOF-Based Metamodel for SA/RT;Rapid Integration of Software Engineering Techniques;2005
4. The Design of a Tool-Supported Graphical Notation for Timed CSP;Lecture Notes in Computer Science;2002
5. On Formalizing UML with High-Level Petri Nets;Concurrent Object-Oriented Programming and Petri Nets;2001