Strategies for real-time system specification
Strategies for real-time system specification
An extended systems modeling language (ESML)
ACM SIGSOFT Software Engineering Notes
Control transformations through Petri Nets
ACM SIGSOFT Software Engineering Notes
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
Semantically Extended Dataflow Diagrams: A Formal Specification Tool
IEEE Transactions on Software Engineering
Experience with Formal Methods in Critical Systems
IEEE Software
From structured analysis to formal specifications: state of the theory
CSC '94 Proceedings of the 22nd annual ACM computer science conference on Scaling up : meeting the challenge of complexity in real-world computing applications: meeting the challenge of complexity in real-world computing applications
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
A framework for evaluating specification methods for reactive systems: experience report
Proceedings of the 17th international conference on Software engineering
Applications of Formal Methods
Applications of Formal Methods
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
IEEE Transactions on Software Engineering
EDCC-1 Proceedings of the First European Dependable Computing Conference on Dependable Computing
Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models
Proceedings of the 5th European Software Engineering Conference
Using Yourdon and Z: an Approach to Formal Specification
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
CADIZ - Computer Aided Design in Z
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
An International Survey of Industrial Applications of Formal Methods
Proceedings of the Z User Workshop
Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Unintrusive Ways to Integrate Formal Specifications in Practice
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Customizable notations for kernel formalisms
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
On formalizing UML with high-level petri nets
Concurrent object-oriented programming and petri nets
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Developing BON as an Industrial-Strength Formal Method
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
The Design of a Tool-Supported Graphical Notation for Timed CSP
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hierarchical Morphological Composition Of Web Hosting System
Journal of Integrated Design & Process Science
A MOF-Based metamodel for SA/RT
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
Hi-index | 0.00 |
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.