Abstract
The PARSE design methodology provides a hierarchical, object-based approach to the development of high quality, reliable parallel software systems. A system design is initially structured into a collection of concurrently executing objects which communicate via message-passing. A graphical notation known as process graphs is then used to capture the structural and important dynamic properties of the system. Process graph designs can then be semi-mechanically transformed into complete Petri nets to give a detailed, executable and formally verifiable design specification.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
S.M.Shatz and J-P.Wang, Introduction to Distributed Software Engineering, IEEE Computer, 20 (1987)23–31
C Pancake, Where are We Headed?, CACM 34 1991
I.Gorton, I.Jelly, I and J.Gray. Parallel software engineering with PARSE, in Proceedings of 17th IEEE International Computer Software and Applications Conference, Phoenix, USA (1993) 124–130
V.Sunderam, PVM: A Framework for Parallel Distributed Computing, Concurrency: Practice and Experience, 2 (1990) 315–339
A Burns and A J Wellings, HRT-HOOD: A Structured Design Method for Hard Real-time Systems, Technical Report YCS 199, Dept of Computer Science, University of York, UK (to appear in Real-time Systems Journal) (1993)
Meta Software Corp., Design/CPN reference manual, Cambridge, MA, USA, (1992)
J.Gray, I.Gorton and I.Jelly. Designing parallel database programs using PARSE, in Proceedings of 17th IEEEInternational Computer Software and Applications Conference, Phoenix, USA, (1993) 117–123
I.Jelly, I.Gorton,and J.Gray. Using PARSE for transputer software development. in Transputer Applications and Systems Vol. 2, Proceedings of theWorld Transputer Congress, Aachen IOS Press (1993) 950–964
J.Billington, G.Wheeler, M.Wilbur-Ham, PROTEAN: a high-level Petri net tool for the specification and verification of communications protocols, IEEE Transactions on Software Engineering, 14 (1988) 310–316
T.S.Chan and I.Gorton. A transputer-based implementation of HTPNET: a transport protocol for broadband networks, in Transputer Applications and Systems Vol. 2, Proceedings of the 1993 World Transputer Congress, Aachen IOS Press (1993) 899–910
G Chiola, GreatSPN 1.5 Software Architecture, in Proc Fifth Int Conf on Modelling Tools and Techniques for Computer Performance Evaluation, Turino, Elsevier Science Publishers BV (1991)
H Gomaa, Software Design Methods for Concurrent and Real-Time Systems, Addison-Wesley, 1993
D.C.DiNucci and R.G.Babb, Development of Portable Parallel Programs with LGDF2, in Proc. VAPP IV — CONPAR90, Zurich, (1990) 253–264
J R Cameron, An Overview of JSD, IEEE Transactions on Software Engineering, 12, (1986) 222–240
H R Simpson, The Mascot Method, Software Engineering Journal, May (1986), 103–120
G Booch, Object-Oriented Design with Applications, Benjanim-Cummings, (1991)
I.Jelly and I.Gorton, Software Engineering for Parallel Systems, to appear in Information and Software Technology Journal, June (1994)
J.Gray, I.Gorton and I.Jelly. CASE tools for PARSE. in Proceedings of Parallel Computing and Transputers, Brisbane, IOS Press (1992) 343–349
J P Kitajima and B Plateau, Building Synthetic Parallel Programs: the Project ALPES, in Proc IFIP WG 10.3 Workshop on Programming Environments for Parallel Computing, Edinburgh, IFIP Transactions A-11, North-Holland (1992) 161–170
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gorton, I., Chan, T.S., Jelly, I. (1994). Engineering high quality parallel software using PARSE. In: Buchberger, B., Volkert, J. (eds) Parallel Processing: CONPAR 94 — VAPP VI. VAPP CONPAR 1994 1994. Lecture Notes in Computer Science, vol 854. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58430-7_34
Download citation
DOI: https://doi.org/10.1007/3-540-58430-7_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58430-8
Online ISBN: 978-3-540-48789-0
eBook Packages: Springer Book Archive