Abstract
The authors introduce Decision-Action-Nets (DA nets) which are derived from Predicate-Transition nets. The main emphasis is put on having a fully formalized tool for the specification of software allowing incompleteness and inconsistencies to be checked automatically. Therefore, the authors follow the algebraic approach to specifying and implementing abstract data types. For the purpose of software specification, which is done very late on in system development, DA nets are a very useful tool because static and dynamic aspects of data structures can be illustrated graphically.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Floyd, C., Keil, R. (1983). Comments on B. Krämer and H. W. Schmidt. In: Wedde, H. (eds) Adequate Modeling of Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69208-6_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-69208-6_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12567-9
Online ISBN: 978-3-642-69208-6
eBook Packages: Springer Book Archive