Abstract
Very few of the existing software analysis and design methodologies provide a facility for developing and specifying system components containing cooperating parallel processes. In this paper we develop a general specification technique which allows to precisely describe processes, process-classes, events and messages.
The proposed methodology is based on Petri Nets which have been extended with higher level concepts to allow the straight forward specification of processes and their cooperation and to avoid the principle problem of Petri Nets, i.e. the large complexity of such nets when specifying even simple mechanisms.
Care has been taken to provide for the adaption of the many formal analysis principles available for Petri Nets to the proposed technique. The development, design and specification technique is then used to extend four of the most popular design methodologies — Jackson, SADT, HIPO and Nassi Shneiderman — with process and event/message specification facilities.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Ross, D.T.: Structured Analysis: A Language for Communicating Ideas. IEEE Trans. on Software Eng. 3(1), 1977
Lundeberg, M., Goldkuhl, G., Nilsson, A.: A Systematic Approach to System Development. Information Systems 4(1), 1979
Jackson, M.: Principles of Program Design. Academic Press, London, 1975
Nassi, I., Shneiderman, B.: Flowchart Technique for Structured Programming. ACM Sigplan Notices, 8(8), 1973
Peterson, J.L.: Petri Nets. ACM Computing Surveys, 9(3), 1977
Genrich, H.J., Lautenbach, K.: System Modelling with High-Level Petri Nets. J.of Theor. Comp. Science, 13(2), 1981
ITT Corp.: Software Development Tools — SAFP2 Documentation. ITT Doc. No. 723 ITT 01011, 1980
IBM Corp.: HIPO — A Design Aid and Documentation Technique. IBM GC 20–1851, 1974
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Neuhold, E.J. (1985). Development methodologies for event and message based application systems. In: Knuth, E., Neuhold, E.J. (eds) Specification and Design of Software Systems. OS 1982. Lecture Notes in Computer Science, vol 152. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0051559
Download citation
DOI: https://doi.org/10.1007/BFb0051559
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12284-5
Online ISBN: 978-3-540-39605-5
eBook Packages: Springer Book Archive