Abstract
The organization of effective parallel information handling becomes an actual problem due to the appearance of transputers — a new high performance computer element. This problem is closely connected with the methodology of parallel program development and execution on transputer arrays (TA), the development of language and programming systems for its effective implementation on TA.
In this paper an approach for the design and analysis of complex software systems for concurrent implementation is described. This approach is based on a static and dynamic software design modeling. The static modeling is based on the principles of the complex system structured analysis; the dynamic modeling is based on the modern theory of Petri nets.
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
Preview
Unable to display preview. Download preview PDF.
References
The transputer family. Inmos Ltd., 1987
D. May: Communicating process computers. Inmos Ltd., 1986, pp.. 1–14;
C. McClure: The CASE Experience. BYTE, April, 1989, pp. 235–242.
D. A. Marca: C. L. McGowan. SADT. McBGraw-Hill, New York, 1988;
K. T. Orr: Structured System Development. New York: Yourdon Press, 1977;
K. T. Orr: Structured Requirements Definition. Topeka, KS: Ken Orr & Associates, 1980;
M. A. Jackson: Principles of Program Design, New-York: Academic Press, 1975;
T. DeMarco: Structured Analysis and System Specification. New York: Yourdon Press, 1978;
E. Yourdon: Modern Structured Analysis. New York: Yourdon Press/Prentice-Hall, 1988;
C. Gane, T. Sarson: Structured System Analysis: Tools and Techniques. Englewood Cliffs, NJ: Prentice-Hall, 1979;
J. L Peterson: Petri Net Theory and Modelling Systems. Prentice-Hall, Englewood Cliffs, 1981 TeM. M:Mиp, 1984. pp. 135–170;
Hura G. S., Singh H., Nanda N. K.: Some design aspects of databases through Petri net modeling. IEEE Trans software Eng. vol. 12, No. 5, 1986, pp 505–510;
W. Reisig: Petri Nets in Software Engineering. Lect. Notes in Comp. Sc. N 255, 1987, pp. 63–96;
S. M. Shatz, W. K. Cheng: A Petri Net Framework for Automated Static Analysis of Ada Tasking Behavior. Journal of Systems and Software, N8, 1988, pp. 343–359;
Thomas L. Sterling, Albert J. Museiano. Effective Implementation of a parallel Language on a Multiprocessor. IEEE Micro. December -1987.2. P. K. Das, D. Q. M. Fay. Dynamically reconfigurable multi-transputer systems. Multiprocessing and multiprogramming, 23 (1988);
M. Poole: Occam program development using the IMS D701 transputer development system. Inmos Ltd. 1986;
G. L. Nutt. Evaluation nets for computer system performance analysis. AFIPS Conf. Proc. vol. 41, part 1, 1972, pp. 272–286;
D. J. Noe, G. L. Nutt: Macro E-nets for representation of parallel systems. IEEE Transactions on Computer, vol. 22, No. 8, 1973;
M. A. Holliday, M. K. Vernon: A Generalized Timed Petri Net Model for Performance Analysis. International Workshop on Timed Nets, Torino 1985, Computer Society Press, pp. 181–190;
KameннoBa M. C. ЙнсТруМенТалЪнаЯ сисТеМа МоделироВаннЯ лараллелВнБхлродессоВ, олисаннБх ЯзБкоМ сеТей ПеТри. уСиМ, N5, 1988, c. 16–19;
Arapoнян A.П., ЙсаеВ Н.Н., КaМенноьа M. C. MоделироВание ОССАМ лрограММ слоМоШБю Е-сеТей. Со. докладоВ научно-Технического сеМинара МеТодВю Технологии лограММроВання МассоВБх ЄВМ, ЙІЙ АНСССР, Москва, 1989
Transputer development system. IBM/PC version. User manual. 1985;
F. Feldbrugg, K. Jensen: Petri net tool overview 1986. W. Brauer, W. Reisig, G. Rozenberg (eds.): Petri Nets: Applications and Relationships to Other Models of Concurrency. Lecture Notes of Computer Science 255, Springer-Verlag 87, pp. 20–61;
H. J. Genrich, K. Lautenbach: System Modeling with High-Level Petri Nets. Theor. Comp. Science 13 (1981), pp. 109–136.
H. J. Genrich. Predicate/Transition nets. W. Brauer, W. Reisig and G. Rozenberg (eds.): Petri Nets: Central Models and Their Properties. Lecture Notes of computer Science 254, Springer-Verlag 87, pp. 207–247;
H. J. Genrich: Equivalence Transformations of PrT-Nets. Arbeitspapiere der GMD, N 284, January 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Camennova, M.S., Semik, V.P. (1990). Integrated Environment for Software System Development. In: Schwärtzel, H., Mizin, I.A. (eds) Advanced Information Processing. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-93464-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-93464-3_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52683-4
Online ISBN: 978-3-642-93464-3
eBook Packages: Springer Book Archive