Programming languages and systems for prototyping concurrent applications

ABSTRACT

Concurrent programming is conceptually harder to undertake and to understand than sequential programming, because a programmer has to manage the coexistence and coordination of multiple concurrent activities. To alleviate this task several high-level approaches to concurrent programming have been developed. For some high-level programming approaches, prototyping for facilitating early evaluation of new ideas is a central goal. Prototyping is used to explore the essential features of a proposed system through practical experimentation before its actual implementation to make the correct design choices early in the process of software development. Approaches to prototyping concurrent applications with very high-level programming systems intend to alleviate the development in different ways. Early experimentation with alternate design choices or problem decompositions for concurrent applications is suggested to make concurrent programming easier. This paper presents a survey of programming languages and systems for prototyping concurrent applications to review the state of the art in this area. The surveyed approaches are classified with respect to the prototyping process.

REFERENCES

• 1: Gul Agha, Actors: a model of concurrent computation in distributed systems, MIT Press, Cambridge, MA, 1986
• 2: Gul Agha, Concurrent object-oriented programming, Communications of the ACM, v.33 n.9, p.125-141, Sept. 1990 [doi>10.1145/83880.84528]
• 3: Gul A. Agha, Linguistic paradigms for programming complex distributed systems, ACM Computing Surveys (CSUR), v.28 n.2, p.295-296, June 1996 [doi>10.1145/234528.234730]
• 4: Gul Agha , Peter Wegner , Akinori Yonezawa, Research directions in concurrent object-oriented programming, MIT Press, Cambridge, MA, 1993
• 5: AKARSU, E., Fox, G., AND HAUPT, T. 1998. DARP: Java-based data analysis and rapid prototyping environment for distributed high performance computations. In Proceedings of the ACM Workshop on Java for High-Performance Network Computing (Palo Alto, CA, Feb./Mar.), ACM Press, New York, NY.
• 6: Gregory R. Andrews, Concurrent programming: principles and practice, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1991
• 7: David F. Bacon , Susan L. Graham , Oliver J. Sharp, Compiler transformations for high-performance computing, ACM Computing Surveys (CSUR), v.26 n.4, p.345-420, Dec. 1994 [doi>10.1145/197405.197406]
• 8: Henri E. Bal, Programming distributed systems, Silicon Press, Summit, NJ, 1990
• 9: Henri E. Bal , Jennifer G. Steiner , Andrew S. Tanenbaum, Programming languages for distributed computing systems, ACM Computing Surveys (CSUR), v.21 n.3, p.261-322, Sep. 1989 [doi>10.1145/72551.72552]
• 10: Marco Baldassari , Giorgio Bruno , Andrea Castella, PROTOB: an object-oriented CASE Tool for modelling and prototyping distributed systems, Software—Practice & Experience, v.21 n.8, p.823-844, Aug. 1991 [doi>10.1002/spe.4380210805]
• 11: BANERJEE, U., EIGENMANN, R., NICOLAU, A., AND PADUA, D. A. 1993. Automatic program parallelization. Proc. IEEE 81, 2 (Feb.), 211-243.
• 12: BARBACCI, M. AND LICHOTA, R. 1991. Durra: An integrated approach to software specification, modeling, and rapid prototyping. In Proceedings of the Second International Workshop on Rapid System Prototyping (Research Triangle Park, NC, June), N. Kanopoulos, Ed. IEEE Computer Society Press, Los Alamitos, CA, 67-81.
• 13: B. M. Barry, Prototyping a real-time embedded system in Smalltalk, ACM SIGPLAN Notices, v.24 n.10, p.255-265, Oct. 1989
• 14: V. Berzins , Luqi , A. Yehudai, Using Transformations in Specification-Based Prototyping, IEEE Transactions on Software Engineering, v.19 n.5, p.436-452, May 1993 [doi>10.1109/32.232011]
• 15: W. Bischofberger , David Gries, Prototyping-Oriented Software Development: Concepts and Tools, Springer-Verlag New York, Inc., Secaucus, NJ, 1992
• 16: Guy E. Blelloch, Programming parallel algorithms, Communications of the ACM, v.39 n.3, p.85-97, March 1996 [doi>10.1145/227234.227246]
• 17: Guy E. Blelloch , Jonathan C. Hardwick , Jay Sipelstein , Marco Zagha , Siddhartha Chatterjee, Implementation of a portable nested data-parallel language, Journal of Parallel and Distributed Computing, v.21 n.1, p.4-14, April 1994 [doi>10.1006/jpdc.1994.1038]
• 18: BREANT, F. 1991. Rapid prototyping from Petri- Net on a loosely coupled parallel architecture. In Proceedings of the International Conference on Applications of Transputers (Glasgow, UK), T. S. Durrani, W. A. Sandham, J. J. Soraghan, and J. Hulskamp, Eds. IOS Press, Amsterdam, The Netherlands, 644-649.
• 19: G Bruno , G Marchetto, Process-translatable Petri Nets for the rapid prototyping of process control systems, IEEE Transactions on Software Engineering, v.12 n.2, p.346-357, Feb. 1986
• 20: Automatic transition from rapid prototyping to target code for distributed systems, Proceedings of the Seventh International Workshop on Computer-Aided Software Engineering, p.104, July 10-14, 1995
• 21: BuccI, G. AND VICARIO, E. 1992. Rapid prototyping through communicating Petri nets. In Proceedings of the Third Interntional Workshop on Rapid System Prototyping (Research Triangle Park, NC, June), N. Kanopoulos, Ed. IEEE Computer Society Press, Los Alamitos, CA, 58-75.
• 22: BUCHS, D., FLUMET, J., AND RACLOZ, P. 1992. Producing prototypes from CO-OPN specifications. In Proceedings of the Third Interntional Workshop on Rapid System Prototyping (Research Triangle Park, NC, June), N. Kanopoulos, Ed. IEEE Computer Society Press, Los Alamitos, CA, 77-93.
• 23: Reinhard Budde , K. Kuhlenkamp , K. Kautz , H. Zulighoven, Prototyping: An Approach to Evolutionary System Development, Springer-Verlag New York, Inc., Secaucus, NJ, 1992
• 24: R. Budde , K. Kuhlenkamp , L. Mathiassen , L. Zullighoven, Approaches to Prototyping, Springer-Verlag New York, Inc., Secaucus, NJ, 1984
• 25: Christian J. Callsen , Gul Agha, Open heterogeneous computing in ActorSpace, Journal of Parallel and Distributed Computing, v.21 n.3, p.289-300, June 1994 [doi>10.1006/jpdc.1994.1060]
• 26: CALVEZ, J., PASQUIER, O., AND HERAULT, V. 1994. A complete toolset for prototyping and validating multi-transputer real-time applications. In Proceedings of the Conference on TRANS- PUTERS'94: Advanced Research and Industrial Applications (Royale d'Arc et Senans, France, Sept.), M. Becker, L. Litzler, and M. Tr hel, Eds. IOS Press, Amsterdam, The Netherlands, 71-86.
• 27: CAO, J., DE VEL, O., AND TONG, K. 1993. Supporting a rapid prototyping system for distributed algorithms on a transputer network. In Transputer and Occam Research: New Directions, J. Kerridge, Ed. IOS Press, Amsterdam, The Netherlands, 115-130.
• 28: David N. Card, Guest Editor's Introduction: The RAD Fad" Is Timing Really Everything?, IEEE Software, v.12 n.5, p.19-23, September 1995
• 29: K. Mani Chandy , Carl Kesselman, CC++: a declarative concurrent object-oriented programming notation, Research directions in concurrent object-oriented programming, MIT Press, Cambridge, MA, 1993
• 30: K. Mani Chandy , Stephen Taylor, An introduction to parallel programming, Jones and Bartlett Publishers, Inc., 1992
• 31: Marina Chen , Young-il Choo , Jingke Li, Crystal: theory and pragmatics of generating efficient parallel code, Parallel functional languages and compilers, ACM Press, New York, NY, 1991 [doi>10.1145/107214.129259]
• 32: CIANCARINI, P. 1992. Parallel programming with logic languages: a survey. Comput. Lang. 17, 4 (Apr.), 213-240.
• 33: Paolo Ciancarini, Coordination models and languages as software integrators, ACM Computing Surveys (CSUR), v.28 n.2, p.300-302, June 1996 [doi>10.1145/234528.234732]
• 34: W. F. Clocksin , Christopher S. Mellish, Programming in Prolog (3rd ed.), Springer-Verlag New York, Inc., New York, NY, 1987
• 35: Murray Cole, Algorithmic skeletons: structured management of parallel computation, MIT Press, Cambridge, MA, 1991
• 36: John Connell , Linda I. Shafer, Object-oriented rapid prototyping, Yourdon Press, Upper Saddle River, NJ, 1995
• 37: Jacques Chassin de Kergommeaux , Philippe Codognet, Parallel logic programming systems, ACM Computing Surveys (CSUR), v.26 n.3, p.295-336, Sept. 1994 [doi>10.1145/185403.185453]
• 38: T. Delaitre , G. R. Ribeiro-Justo , F. Spies , S. C. Winter, A graphical toolset for simulation modelling of parallel systems, Parallel Computing, v.22 n.13, p.1823-1836, February 28, 1997 [doi>10.1016/S0167-8191(96)00079-8]
• 39: Tom DeMarco, Structured Analysis and System Specification, Prentice Hall PTR, Upper Saddle River, NJ, 1979
• 40: Yi Deng , Shi-Kuo Chang , Jorge C. A. de Figueired , Angelo Perkusich, Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems, Proceedings of the 14th International Conference on Application and Theory of Petri Nets, p.206-223, June 21-25, 1993
• 41: DOBERKAT, E.-E., FRANKE, W., GUTENBEIL, U., HAS- SELBRING, W., LAMMERS, U., AND PAHL, C. 1992. ProSet; A language for prototyping with sets. In Proceedings of the Third Interntional Workshop on Rapid System Prototyping (Research Triangle Park, NC, June), N. Kanopoulos, Ed. IEEE Computer Society Press, Los Alamitos, CA, 235-248.
• 42: DONATELLI, S., FRANCESCHINIS, G., RIBAUDO, M., AND RUSSO, S. 1994. Use of GSPNs for concurrent software validation in EPOCA. Inf. Softw. Technol. 36, 7 (July), 443-448.
• 43: Jack J. Dongarra , Steve W. Otto , Marc Snir , David Walker, A message passing standard for MPP and workstations, Communications of the ACM, v.39 n.7, p.84-90, July 1996 [doi>10.1145/233977.234000]
• 44: DOUGLAS, A., ROWSTRON, A., AND WOOD, A. 1995. ISETL-Linda: parallel programming with bags. Tech. Rep. YCS 257. Department of Computer Science, University of York, York, UK.
• 45: Ed Dubinsky , Uri Leron, Learning Abstract Algebra with ISETL, Springer-Verlag New York, Inc., Secaucus, NJ, 1997
• 46: FLOYD, C. 1984. A systematic look at prototyping. In Approaches to Prototyping, R. Budde, K. Kuhlenkamp, L. Mathiassen, and H. Z llighoven, Eds. Springer-Verlag, New York, NY, 1-18.
• 47: Ian Foster , Stephen Taylor, Strand: new concepts in parallel programming, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
• 48: James C. French , Charles L. Viles, A Software Toolkit for Prototyping Distributed Applications (Preliminary Report), University of Virginia, Charlottesville, VA, 1992
• 49: Alfonso Fuggetta , Carlo Ghezzi , Dino Mandrioli , Angelo Morzenti, Executable specifications with data-flow diagrams, Software—Practice & Experience, v.23 n.6, p.629-653, June 1993 [doi>10.1002/spe.4380230605]
• 50: David Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.1, p.80-112, Jan. 1985 [doi>10.1145/2363.2433]
• 51: David Gelernter , Nicholas Carriero, Coordination languages and their significance, Communications of the ACM, v.35 n.2, p.97-107, Feb. 1992 [doi>10.1145/129630.129635]
• 52: Carlo Ghezzi , Mehdi Jazayeri , Dino Mandrioli, Fundamentals of software engineering, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
• 53: GOLDBERG, A., MILLS, P., NYLAND, L., PRINS, J., REIF, J., AND RIELY, J. 1994. Specification and development of parallel algorithms with the Proteus system. In DIMACS: Specification of Parallel Algorithms, G. Blelloch, K. Chandy, and S. Jagannathan, Eds. AMS, Providence, RI.
• 54: V. Scott Gordon , James M. Bieman, Rapid Prototyping: Lessons Learned, IEEE Software, v.12 n.1, p.85-95, January 1995 [doi>10.1109/52.363162]
• 55: Ian Gorton , Jonathan P. Gray , Innes Jelly, Object-Based Modeling of Parallel Programs, IEEE Parallel & Distributed Technology: Systems & Technology, v.3 n.2, p.52-63, June 1995 [doi>10.1109/88.393237]
• 56: Robert H. Halstead, Jr., MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.501-538, Oct. 1985 [doi>10.1145/4472.4478]
• 57: David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
• 58: Wilhelm Hasselbring, The ProSet-Linda approach to prototyping parallel systems, Journal of Systems and Software, v.43 n.3, p.187-196, Nov. 1998 [doi>10.1016/S0164-1212(98)10032-8]
• 59: HASSELBRING, W., JODELEIT, P., AND KIRSCH, M. 1997. Implementing parallel algorithms based on prototype evaluation and transformation. Software-Technik Memo Nr. 93. Department of Computer Science, University of Dortmund, Dortmund, Germany.
• 60: Michael T. Heath , Jennifer A. Etheridge, Visualizing the Performance of Parallel Programs, IEEE Software, v.8 n.5, p.29-39, September 1991 [doi>10.1109/52.84214]
• 61: HEPING, H. AND ZEDAN, H. 1996. An executable specification language for fast prototyping parallel responsive systems. Comput. Lang. 22, 1, 1-13.
• 62: H. Heping , H. Zedan, A fast prototype tool for parallel reactive systems, Journal of Systems Architecture: the EUROMICRO Journal, v.42 n.4, p.251-266, Nov. 10, 1996 [doi>10.1016/1383-7621(96)00024-0]
• 63: W. Daniel Hillis , Guy L. Steele, Jr., Data parallel algorithms, Communications of the ACM, v.29 n.12, p.1170-1183, Dec. 1986 [doi>10.1145/7902.7903]
• 64: HOUCK, C. AND AGHA, G. 1992. HAL: A highlevel actor language and its distributed implementation. In Proceedings of the 21st International Conference on Parallel Processing ((ICPP 91), Volume II, St. Charles, IL, Aug.), 158-165.
• 65: Lei Hu , Ian Gorton, A Performance Prototyping Approach to Designing Concurrent Software Architectures, Proceedings of the 2nd International Workshop on Software Engineering for Parallel and Distributed Systems, p.270, May 17-18, 1997
• 66: HUANG, Y.-M. AND RAVISHANKAR, C. 1996. URPC: A toolkit for prototyping remote procedure calls. Comput. J. 39, 6, 525-540.
• 67: S. Molterer, A. Rausch, B. Schätz F. Hube , O. Slotosch, Tool Supported Specification and Simulation of Distributed Systems, Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, p.155, April 20-21, 1998
• 68: HUBER, F. AND SCH TZ, B. 1997. Rapid prototyping with AutoFocus. In Formale Beschreibungstechniken f r verteilte Systeme (GI/ITG Fachgespr . In English, St. Augustin, Germany), A. Wolisz, I. Schieferdecker, and A. Rennoch, Eds. 343-352.
• 69: HUMMEL, S. F. AND KELLY, R. 1993. A rationale for parallel programming with sets. J. Program. Lang. 1, 3, 187-207.
• 70: S. F. Hummel , S. Talla , J. Brennan, The refinement of high-level parallel algorithm specifications, Proceedings of the conference on Programming Models for Massively Parallel Computers, p.106, October 09-12, 1995
• 71: IONA TECHNOLOGIES PLC. 1997. White Paper: OrbixTalk. IONA Technologies PLC, Dublin, Ireland.
• 72: Scott Isensee , James R. Rudd , Michael Heck, Art of Rapid Prototyping: User Interface Design for Windows and OS/2, International Thomson Computer Press, Boston, MA, 1995
• 73: C. Jard , J. F. Monin , R. Groz, Development of Veda, a Prototyping Tool for Distributed Algorithms, IEEE Transactions on Software Engineering, v.14 n.3, p.339-352, March 1988 [doi>10.1109/32.4654]
• 74: JELLY, I. AND GRAY, J. 1992. Prototyping parallel systems: A performance evaluation approach. In Proceedings of the International Conference on Parallel and Distributed Computing and Systems (Pittsburgh, PA, Oct.), ISSM Press, 7-12.
• 75: JONES, D., DOWDESWELL, S., AND HINTZ, T. 1990. A rapid prototyping method for parallel programs. In Proceedings of the Conference on The Transputer in Australia (ATOUG-3, Sydney, Australia, June), T. Bossomaier, T. Hintz, and J. Hulskamp, Eds. IOS Press, Amsterdam, The Netherlands, 121-128.
• 76: JOZWIAK, J. 1993. Exploiting parallelism in SETL programs. Master's thesis. University of Illinois at Urbana-Champaign, Champaign, IL.
• 77: Bernd Krämer, Prototyping and formal analysis of concurrent and distributed systems, Proceedings of the 6th international workshop on Software specification and design, October 25-26, 1991, Como, Italy
• 78: KRUCHTEN, P., SCHONBERG, E., AND SCHWARTZ, J. 1984. Software prototyping using the SETL programming language. IEEE Software 1, 4 (Oct.), 66-75.
• 79: A. M. Levy , J. van Katwijk , G. Pavlidis , F. Tolsma, SEPDS: a support environment for prototyping distributed systems, Proceedings of the first international conference on systems integration on Systems integration '90, p.653-661, March 1990, Morristown, New Jersey, United States
• 80: Horst Lichter , Matthias Schneider-Hufschmidt , Heinz Züllighoven, Prototyping in Industrial Software Projects-Bridging the Gap Between Theory and Practice, IEEE Transactions on Software Engineering, v.20 n.11, p.825-832, November 1994 [doi>10.1109/32.368126]
• 81: LOBE, G., SZAFRON, D., AND SCHAEFFER, J. 1993. Program design and animation in the Enterprise parallel programming environment. Tech. Rep. 93-04. University of Alberta, Edmonton, Canada.
• 82: David C. Luckham , James Vera , Doug Bryan , Larry Augustin , Frank Belz, Partial orderings of event sets and their application to prototyping concurrent, timed systems, Journal of Systems and Software, v.21 n.3, p.253-265, June 1993 [doi>10.1016/0164-1212(93)90027-U]
• 83: Luqi , V. Berzins , R. T. Yeh, A Prototyping Language for Real-Time Software, IEEE Transactions on Software Engineering, v.14 n.10, p.1409-1423, October 1988 [doi>10.1109/32.6186]
• 84: James Martin, Rapid application development, Macmillan Publishing Co., Inc., Indianapolis, IN, 1991
• 85: Satoshi Matsuoka , Akinori Yonezawa, Analysis of inheritance anomaly in object-oriented concurrent programming languages, Research directions in concurrent object-oriented programming, MIT Press, Cambridge, MA, 1993
• 86: Bertrand Meyer, Systematic concurrent object-oriented programming, Communications of the ACM, v.36 n.9, p.56-80, Sept. 1993 [doi>10.1145/162685.162705]
• 87: Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
• 88: MICHAELSON, G. AND SCAIFE, N. 1995. Prototyping a parallel vision system in Standard ML. J. Funct. Programm. 5, 3 (July), 345-382.
• 89: MILLS, P., NYLAND, L., PRINS, J., REIF, J., AND WAGNER, R. 1991. Prototyping parallel and distributed programs in Proteus. In Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing (Dallas, TX, Dec.), 26-34.
• 90: MITCHELL, S. AND TELLINGS, A. 1996. Synchronisation, concurrent object-oriented programming and the inheritance anomaly. Comput. Lang. 22, 1, 15-26.
• 91: Thomas J. Mowbray , Ron Zahavi, The essential CORBA: systems integration using distributed objects, John Wiley & Sons, Inc., New York, NY, 1995
• 92: NIXON, P., BIRKINSHAW, C., CROLL, P., AND MAR- RIOT, D. 1994. Rapid prototyping of parallel fault tolerant systems. In Proceedings of the Euromicro Workshop on Parallel and Distributed Systems (Malaga, Spain), IEEE Computer Society Press, Los Alamitos, CA, 202- 210.
• 93: NIXON, P. AND CROLL, P. 1993. The functional specification of Occam programs for time critical applications. In Transputer and Occam Research: New Directions, J. Kerridge, Ed. IOS Press, Amsterdam, The Netherlands, 131-145.
• 94: Lars S. Nyland , Jan Prins , Allen Goldberg , Peter Mills , John H. Reif , Robert A. Wagner, A Refinement Methodology for Developing Data-Parallel Applications, Proceedings of the Second International Euro-Par Conference on Parallel Processing, p.145-150, August 26-29, 1996
• 95: John K. Ousterhout, Scripting: Higher-Level Programming for the 21st Century, Computer, v.31 n.3, p.23-30, March 1998 [doi>10.1109/2.660187]
• 96: Cherri M. Pancake , Margaret L. Simmons , Jerry C. Yan, Performance Evaluation Tools for Parallel and Distributed Systems, Computer, v.28 n.11, p.16-19, November 1995
• 97: Helmut A. Partsch, Specification and transformation of programs: a formal approach to software development, Springer-Verlag New York, Inc., New York, NY, 1990
• 98: Gustav Pomberger , Günther Blaschek, Object-orientation and prototyping in software engineering, Prentice-Hall, Inc., Upper Saddle River, NJ, 1996
• 99: Jan F. Prins , Daniel W. Palmer, Transforming high-level data-parallel programs into vector operations, ACM SIGPLAN Notices, v.28 n.7, p.119-128, July 1993
• 100: James M. Purtilo , Pankaj Jalote, An environment for prototyping distributed applications, Computer Languages, v.16 n.3-4, p.197-207, 1991 [doi>10.1016/0096-0551(91)90007-V]
• 101: James M. Purtilo , Daniel A. Reed , Dirk C. Grunwald, Environments for prototyping parallel algorithms, Journal of Parallel and Distributed Computing, v.5 n.4, p.421-437, August 1988 [doi>10.1016/0743-7315(88)90006-8]
• 102: Michael J. Quinn , Philip J. Hatcher, Data-Parallel Programming on Multicomputers, IEEE Software, v.7 n.5, p.69-76, September 1990 [doi>10.1109/52.57894]
• 103: Sitaram C. V. Raju , Alan C. Shaw, A prototyping environment for specifying, executing and checking Communicating Real-Time State machines, Software—Practice & Experience, v.24 n.2, p.175-195, Feb. 1994 [doi>10.1002/spe.4380240203]
• 104: Wolfgang Reisig, Petri nets: an introduction, Springer-Verlag New York, Inc., New York, NY, 1985
• 105: SCHAEFFER, J. AND SZAFRON, D. 1996. Software engineering considerations in the construction of parallel programs. In High Performance Computing: Technology and Applications, J. Dongarra, L. Grandinetti, G. Joubert, and J. Kowalik, Eds. Elsevier Science Inc., New York, NY.
• 106: Jonathan Schaeffer , Duane Szafron , Greg Lobe , Ian Parsons, The Enterprise Model for Developing Distributed Applications, IEEE Parallel & Distributed Technology: Systems & Technology, v.1 n.3, p.85-96, August 1993 [doi>10.1109/88.242459]
• 107: Ehud Shapiro, The family of concurrent logic programming languages, ACM Computing Surveys (CSUR), v.21 n.3, p.413-510, Sep. 1989 [doi>10.1145/72551.72555]
• 108: D. R. Smith, KIDS: A Semiautomatic Program Development System, IEEE Transactions on Software Engineering, v.16 n.9, p.1024-1043, September 1990 [doi>10.1109/32.58788]
• 109: SON, S. H. AND KIM, Y. 1989. A software prototyping environment and its use in developing a multiversion distributed database system. In Proceedings of the International Conference on Parallel Processing (ICPP '89, Aug.), Pennsylvania State University, University Park, PA.
• 110: Martin R. Stytz , Terry Adams , Brian Garcia , Steven M. Sheasby , Brian Zurita, Rapid Prototyping for Distributed Virtual Environments, IEEE Software, v.14 n.5, p.83-92, September 1997 [doi>10.1109/52.605935]
• 111: SUAREZ, F., GARCIA, J., ENTRIALGO, J., GARCIA, D., GRAFFA, S., AND DE MIGUEL, P. 1998. A toolset for visualization and behavioral analysis of parallel real-time embedded systems based on fast prototyping techniques. In Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing (PDP'98, Madrid, Jan.), IEEE Computer Society Press, Los Alamitos, CA.
• 112: SZAFRON, D. AND SCHAEFFER, J. 1996. An experiment to measure the usability of parallel programming systems. Concurrency: Pract. Exper. 8, 2, 147-166.
• 113: Boleslaw K. Szymanski, Parallel functional languages and compilers, ACM Press, New York, NY, 1991
• 114: Domenico Talia, Parallel computation still not ready for the mainstream, Communications of the ACM, v.40 n.7, p.98-99, July 1997 [doi>10.1145/256175.256193]
• 115: Jeffrey D. Ullman, Elements of ML programming, Prentice-Hall, Inc., Upper Saddle River, NJ, 1994
• 116: UNGER, B. 1988. Distributed software via prototyping and simulation: JADE. Tech. Rep. 88/300/12. University of Calgary, Calgary, Canada.
• 117: A. Valenzano , R. Sisto , L. Ciminiera, Rapid prototyping of protocols from LOTOS specifications, Software—Practice & Experience, v.23 n.1, p.31-54, Jan. 1993 [doi>10.1002/spe.4380230104]
• 118: Andreas Vogel , Keith Duddy, Java programming with CORBA (2nd ed.), John Wiley & Sons, Inc., New York, NY, 1998
• 119: A. M. Wallace , G. J. Michaelson , P. McAndrew , K. G. Waugh , W. J. Austin, Dynamic Control and Prototyping of Parallel Algorithms for Intermediate- and High-Level Vision, Computer, v.25 n.2, p.43-53, February 1992 [doi>10.1109/2.121474]
• 120: R. Weinreich , R. Plosch, Prototyping of parallel and distributed object-oriented systems: the PDC model and its environment, Proceedings of the 28th Hawaii International Conference on System Sciences (HICSS'95), p.309, January 04-07, 1995
• 121: Barbara B. Wyatt , Krishna Kavi , Steve Hufnagel, Parallelism in Object-Oriented Languages: A Survey, IEEE Software, v.9 n.6, p.56-66, November 1992 [doi>10.1109/52.168859]
• 122: Akinori Yonezawa, ABCL: an object-oriented concurrent system, MIT Press, Cambridge, MA, 1990
• 123: P Zave , W Schell, Salient features of and executable specification language and its environment, IEEE Transactions on Software Engineering, v.12 n.2, p.312-325, Feb. 1986
• 124: Proceedings of the 13th Occam user group technical meeting on Real-time systems with transputers, October 1990
• 125: Wanlei Zhou, A rapid prototyping system for distributed information system applications, Journal of Systems and Software, v.24 n.1, p.3-29, Jan. 1994 [doi>10.1016/0164-1212(94)90103-1]
• 126: 1996. Proceedings of the First International Workshop on Software Engineering for Parallel and Distributed Systems. (PDSE'96, Berlin, Mar.). IEEE Computer Society Press, Los Alamitos, CA.
• 127: Gul Agha , Stefano Russo, Workshop on software engineering for parallel and distributed systems, Proceedings of the 19th international conference on Software engineering, p.678, May 17-23, 1997, Boston, Massachusetts, United States [doi>10.1145/253228.253833]
• 128: 1998. Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems. (PDSE'98, Kyoto, Japan, Apr.). IEEE Computer Society Press, Los Alamitos, CA.
• 129: Peter R. Croll , Hesham El-Rewini, The international symposium on software engineering for parallel and distributed systems PDSE '99, Proceedings of the 21st international conference on Software engineering, p.703-704, May 16-22, 1999, Los Angeles, California, United States [doi>10.1145/302405.302967]

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.3 Concurrent Programming
          Subjects: Parallel programming

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.3 Concurrent Programming
          Subjects: Distributed programming
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Computer-aided software engineering (CASE); Software libraries; Petri nets
      D.2.6 Programming Environments
          Subjects: Interactive environments
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications
          Subjects: Concurrent, distributed, and parallel languages; Very high-level languages
      D.3.3 Language Constructs and Features
          Subjects: Concurrent programming structures

General Terms:
Languages

Keywords:
concurrency, distribution, parallelism, rapid prototyping, very high-level languages