Article

Free access

Semantic-based visualization for parallel object-oriented programming

Authors:

Isabelle Attali,

Sidi O. Ehmety,

Sylvain LippiAuthors Info & Claims

OOPSLA '96: Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Pages 421 - 440

https://doi.org/10.1145/236337.236383

Published: 01 October 1996 Publication History

Abstract

We present a graphical environment for parallel object-oriented programming. It provides visual tools to develop and debug object-oriented programs as well as parallel or concurrent systems. This environment was derived from a structural operational semantics of an extension of the Eiffel language, Eiffel//. Object-related features of the language (inheritance, polymorphism) are formalized using a big-step semantics, while the interleaving model of concurrency is expressed with small-step semantics.Without user instrumentation, the interactive environment proposes features such as step-by-step animated executions, graphical visualization of object and process topology, futures and pending requests, control of interleaving, deadlock detection.

References

[1]

G. Agha. Actors: A model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, 1986.]]

Digital Library

[2]

G. Agha and M. Astley. A visualization model for concurrent systems. International Journal o/ Information Science, Elsevier, 1996. To appear.]]

Digital Library

[3]

G. Agha, I. Mason, S. Smith, and C. Talcott. A foundation for actor computation, technical report, UIUC, 1995. To appear in Journal of Functional Programming.]]

[4]

P. America. inheritance and subtyping in a parallel object-oriented language. In Proc. ECOOP '87, LNCS 276, pages 234-242, Paris, France, June 1987.]]

Digital Library

[5]

P. America, J. D. Bakker, J. N. Kok, and j. Rutten. Operational Semantics of a Parallel Object-Oriented Language (POOL). In Proc. of the 13th Symposium on Principles o/ Programming Languages, 1986.]]

Digital Library

[6]

P. America, J. D. Bakker, J. N. Kok, and J. Rutten. Denotational Semantics of a Parallel Object-Oriented Language (POOL). Information and Computation 83, 152-205, 1989.]]

Digital Library

[7]

I. Attali, D. Caromel, and S.O. Ehmety. A Natural Semantics for the Eiffel Dynamic Binding. To appear in A CM Transactions on Programming Languages and Systems (TOPLAS), 1996.]]

Digital Library

[8]

I. Attali, D. Caromel, and S.O. Ehmety. A Natural Semantics for the Eiffel//Language. Research Report 2732, INRIA, 1995.]]

[9]

R. Balter, S. Lacourte, and M. Riveill. The Guide language. Computer Journal, 37(6):519-530, 1994.]]

[10]

K. Beck. Object explorer for visual works. Commercial Product http://c2.com/ppr/about/author/kent.html, First Class Software, Inc.]]

[11]

J. K. Bennett. The design and implementation of Distributed Smalltalk. In Proc. OOPSLA '87, ACM SIGPLAN Notices 22 (12), pages 318-330, December 1987.]]

Digital Library

[12]

M. H. Brown. Zeus: a system for algorithm animation and multiview editing. In Proc. o/the IEEE Workshop on Visual Languages, 1991.]]

[13]

B. Bruegge, T. Gottschalk, and B. Luo. A framework for dynamic program analyzers. In Proc. OOPSLA '93, A CM SIGPLAN Notices 28 (10), pages 65-82, October 1993.]]

Digital Library

[14]

M. Burnett, A. Goldberg, and T. Lewis, editors. Visual Object-Oriented Programming, Concepts and Environments. Manning Publications, Greenwich, CT, 1995.]]

Digital Library

[15]

Concurrent Object-Oriented Programming. Communications of the ACM, 36 (9), 1993. Special issue.]]

[16]

D. Caromel. Concurrency and reusability: From sequential to parallel. Journal of Object-Oriented Programming, 3(3), 1990.]]

Digital Library

[17]

D. Caromel. Towards a Method of Object-Oriented Concurrent Programming. Communications of the ACM, 36 (9), pages 90-102, 1993.]]

Digital Library

[18]

D. Caromel, F. Belloncle, and Y. Roudier. The C++// system, in G. Wilson and P. Lu, editors, Parallel Programing Using C~-/-. MIT Press, 1996. To Appear.]]

[19]

P. Ciancarini, K. K. Jensen, and D. Yankelevich. On the operational semantics of a coordination language. In Proc. Object-Based Models and Languages for Concurrent Systems, LNCS 924, pages 77-106. Springer-Verlag, 1995.]]

Digital Library

[20]

M. Consens, A. Mendelzon, and A. Ryman. Visualizing and querying software structures. In Proc. of the 14t/~ International Conference on Software Engineering, pages 138-156, May 1992.]]

Digital Library

[21]

T. Despeyroux. Typol: A Formalism to Implement Natural Semantics. Research Report 94, INRIA, 1988.]]

[22]

G.-C. Roman et al. A System for Declarative Visualization of Concurrent Computations. Journal of Visual Languages and Computing, 3 (2), 1992.]]

[23]

P. Borras et al. Centaur: the System. In SIG- SOFT'88 Third Annual Symposium on Software Development Environments, Boston, 1988.]]

Digital Library

[24]

G. Friedrich, W. H., C. Stary, and M. Stumptner. Objview: A task-oriented, graphics-based tools for object visualization and arrangement, in Proc. ECOOP '89, pages 299-310, Nottingham, July 1989. Cambridge University Press.]]

[25]

D. Gangopadhyay and S. Mitra. Objchart: Tangible specification of reactive object behavior. In Proc. ECOOP '93, LNCS 707, pages 432-457, Kaiserslautern, Germany, July 1993.]]

Digital Library

[26]

J. Gosling, B. Joy~ and G. Steele. The Java Language Specification. Addison-Wesley, 1996.]]

Digital Library

[27]

J. E. Grass. Object-oriented design archaeology with CIA++. Computing Systems, 5(1):5-67, 1992.]]

[28]

V. Haarslev and R. MSller. A framework for visualizing object-oriented systems. In Proc. OOP- SLA/ECOOP '90, A CM SIGPLAN Notices 25 (10), pages 237-244, October 1990.]]

Digital Library

[29]

C. Hewitt. Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence, 8 (3), 1977.]]

[30]

C.A.R Hoare. Communicating Sequential Processes. Prentice Hall, 1985.]]

Digital Library

[31]

K. Honda and M. Tokoro. An object calculus for asynchronous communication. In Proc. ECOOP '91, LNCS 512, pages 133-147, Geneva, Switzerland, July 1991.]]

Digital Library

[32]

A. Le Hors. Graph: A directed graph displaying server, GIPE 2 Esprit project, 4th review report, workpackage 4, 1992.]]

[33]

G. Kahn. Natural Semantics. In Proc. o:f Symposium on Theoretical Aspects of Computer Science, Passau, Germany, LNCS 2~7, 1987.]]

Digital Library

[34]

K. Kahn. ToonTalk- an animated programming environment for children. In Proc. of the National Educational Computing Conference, Baltimore, MD, 1995.]]

[35]

N. Kobayashi and A. Yonezawa. Type-theoric foundations for concurrent object-oriented programming. In Proc. OOPSLA '9~, A CM SIGPLAN Notices, October 1994.]]

Digital Library

[36]

E. Kraemer and J. T. Stasko. The visualization of parallel systems: an overview. Journal of Parallel and Distributed Computing, 18, 1993.]]

Digital Library

[37]

C. Laffra and A. Malhotra. Hotwire- A visual debugger for C++. in USENIX Sixth C+~ Technical Conference, pages 109-122, Cambridge, MA, April 11-14 1994. USENIX.]]

Digital Library

[38]

D. B. Lange and Y. Nal~mura. Interactive visualization of design patterns can help in framework understanding. In Proc. OOPSLA '95, A CM SIG- PLAN Notices 30 (10), pages 342-357, October 1995.]]

Digital Library

[39]

ObjecTime Ltd. ObjecTime. Commercial Product http://www.objectime.on.ca, Ontario, Canada.]]

[40]

B. Meyer. Object-Oriented Software Construction. Prentice-Hall, 1988.]]

Digital Library

[41]

B. Meyer. Eiffel, the Language. Prentice-Hall, 1992.]]

Digital Library

[42]

R. Milner. A Calculus of Communicating Systems. Springer Verlag, LNCS 92, 1980.]]

Digital Library

[43]

R. Milner, J. Parrow, and D.J. Walker. A Calculus o/Mobile Processes. Academic Press, 1989.]]

[44]

S. Miriyala, G. Agha, and Y. Sami. Visualizing actor programs using predicate transition nets. Journal of Visual Languages and Computing, 3 (2), 1992.]]

[45]

O. Nierstrasz. Active objects in hybrid. In Proc. OOPSLA '87, A CM SIGPLAN Notices 22 (12), pages 243-253, 1987.]]

Digital Library

[46]

O. Nierstrasz. A guide to specifying concurrent behaviour with abacus. In Object Management, pages 267-293, Centre Universitaire d'Informatique, Uni~ versity of Geneva, July 1990.]]

[47]

O. Nierstrasz. The next 700 concurrent object-oriented languages- reflections on the future of object-based concurrency. Object composition, Centre Universitaire d'Informatique, University of Geneva, June 1991.]]

[48]

O. Nierstrasz. Towards an object calculus. In Proc. of the ECOOP '91 Workshop on Object-Based Concurrent Computing, LNCS 612, pages 1-20. Springer-Verlag, 1992.]]

Digital Library

[49]

O. Nierstrasz. Regular types for active objects. In Proc. OOPSLA '93, A CM SIGPLAN Notices, 28 (10), pages 1-15, October 1993.]]

Digital Library

[50]

O. Nierstrasz, P. Ciancarini, and A. Yonezawa, editors. Rule-based Object Coordination. LNCS 924. Springer-Verlag, 1995.]]

[51]

O. Nierstrasz and M. Papathomas. Viewing objects as patterns of communicating agents. In Proc. OOPSLA/ECOOP '90, A CM SIGPLAN Notices, 25 (10), 1990.]]

Digital Library

[52]

A. Paepcke. Object-Oriented Programming: The CLOS Perspective. The MIT Press, 1993.]]

Digital Library

[53]

W. De Pauw, R. Helm, D. Kimelman, and J. Vlissides. Visualizing the behavior of object-oriented systems. In Proc. OOPSLA '93, A CM SIGPLAN Notices, 28 (10), pages 326-337, October 1993.]]

Digital Library

[54]

W. De Pauw, D. Kimelman, and j. Vlissides. Modeling object-oriented program execution, in Proc. ECOOP '9~, LNCS 821, pages 163-182, Bologna, Italy, July 1994. Springer-Verlag.]]

Digital Library

[55]

G. D. Plotkin. A Structural Approach to Operational Semantics. Report, DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, 1981.]]

[56]

Project Technology, Inc. BridgePoint. Commercial Product http://www.projtech.com, Berkeley, California.]]

[57]

S. P. Robertson, J. M. Carroll, R. L. Mack, M. B. Rosson, S. R. Alpert, and J. Koenemann-Belliveau. ODE: A self-guided, scenario-based learning environment for object-oriented design principles. In Proc. OOPSLA '9~, A CM SIGPLAN Notices, pages 51-64, October 1994.]]

Digital Library

[58]

G.-C. Roman and K. C. Cox. A Taxonomy of Program Visualization Systems. IEEE Computer, 1993.]]

Digital Library

[59]

I. Satoh and M. Tokoro. A formalism for real-time concurrent object-oriented computing. In Proc. OOPSLA '92, ACM SIGPLAN Notices, 27 (10), pages 315-326, October 1992.]]

Digital Library

[60]

SES, Inc. SES/objectbench, SES/workbench. Commercial Product http://www.ses.com, Austin, Texas.]]

[61]

S. Shlaer and S. Mellor. Object Lifecyles: Modeling the World in States. Prentice Hall, Englewood Cliffs, NJ., 1992.]]

Digital Library

[62]

J. T. Stasko and E. Kraemer. A methodology for building application-specific visualizations of parallel programs. Journal of Parallel and Distributed Computing, 18, 1993.]]

Digital Library

[63]

M. Tokoro and K. Takashio. Toward languages and formal systems for distributed computing. In Proc. of the ECOOP '93 Workshop on Object-Based Distributed Programming, LNCS 791, pages 93-110, 1994.]]

Digital Library

[64]

V. Vasconcelos and M. Tokoro. Traces semantics for actor systems. In Proc. of the ECOOP '91 Workshop on Object-Based Concurrent Computing, LNCS 612, pages 141-162, 1992.]]

Digital Library

[65]

V. Vasconcelos and M. Tokoro. A typing system for a calculus of objects. In Object Technologies }or Advanced Software, First JSSST International Symposium, LNCS 742, pages 460-474, November 1993.]]

Digital Library

[66]

J.-Y. Vion-Dury and M. Santana. Virtual iraages: Interactive visualization of distributed object-oriented systems. In Proc. OOPSLA '9~, A CM SIGPLAN Notices 29 (10), pages 65-84, October 1994.]]

Digital Library

[67]

D. Walker. Pi-Calculus Semantics of Object-Oriented Programming Langage. Proc. TACS'91, Springer-Verlag, LNCS Vol. 526, pages 532-5~ 7, 1991.]]

Digital Library

[68]

T. Watanabe and A. Yonezawa. Reflection in an object-oriented concurrent language. In Proc. OOPSLA '88, A CM SIGPLAN Notices 23 (11), pages 306-315, November 1988.]]

Digital Library

[69]

P. Wegner. Design issues for object-based concurrency. In Proc. of the ECOOP '91 Workshop on Object-Based Concurrent Computing, LNCS 612, pages 245-256, 1992.]]

Digital Library

[70]

P. Wegner, G. Agha, and A. Yonezawa, editors. Workshop on Object-Based Concurrent Programming. ACM SIGPLAN Notices 24 (4), San Diego, April 1989.]]

[71]

G. Wilson and P. Lu, editors. Parallel Programing Using C++. MIT Press, 1996. To Appear.]]

Digital Library

[72]

Y. Yokote and M. Tokoro. The design and implementation of Concurrent Smalltalk. In Proc. OOP- SLA '86, A CM SIGPLAN Notices, 21 (11), pages 331-340, November 1986.]]

Digital Library

[73]

A. Yonezawa and M. Tokoro. Object-Oriented Concurrent Programming. MIT Press, Cambridge, Mass., 1987.]]

Digital Library

Cited By

Attali ICaromel DLippi S(2006)From a specification to an equivalence proof in object-oriented parallelismParallel and Distributed Processing10.1007/BFb0098003(1197-1214)Online publication date: 28-Oct-2006
https://doi.org/10.1007/BFb0098003
Glesner S(2003)ASMs versus natural semanticsProceedings of the abstract state machines 10th international conference on Advances in theory and practice10.5555/1754749.1754768(293-309)Online publication date: 3-Mar-2003
https://dl.acm.org/doi/10.5555/1754749.1754768
Henriques PPereira MMernik MLeni MGray JWu H(2005)Automatic generation of language-based tools using the LISA systemIEE Proceedings - Software10.1049/ip-sen:20041317152:2(54)Online publication date: 2005
https://doi.org/10.1049/ip-sen:20041317
Show More Cited By

Index Terms

Semantic-based visualization for parallel object-oriented programming

Recommendations

Semantic-based visualization for parallel object-oriented programming

We present a graphical environment for parallel object-oriented programming. It provides visual tools to develop and debug object-oriented programs as well as parallel or concurrent systems. This environment was derived from a structural operational ...
What Is Object-Oriented Programming?

The meaning of the term 'object oriented' is examined in the context of the general-purpose programming language C++. This choice is made partly to introduce C++ and partly because C++ is one of the few languages that supports data abstraction, object-...
Constraint-Based Object-Oriented Programming

Constraint programming (CP) is a young but rapidly developing technology that supports the modeling and solution of a wide range of planning, scheduling, search, and optimization problems. The integration of CP concepts into languages from other ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

OOPSLA '96: Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

October 1996

458 pages

ISBN:089791788X

DOI:10.1145/236337

Chairmen:
Lougie Anderson
Sequent Computer Systems
,
James Coplien
Bell Labs.

ACM SIGPLAN Notices Volume 31, Issue 10
Oct. 1996
443 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/236338
Chairmen:
Mary Loomis
Hewlett-Packard Labs.
,
Lougie Anderson
Sequent computer Systems
,
James Coplien
Bell Labs.
Issue’s Table of Contents

Copyright © 1996 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1996

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

OOPSLA96

Sponsor:

SIGPLAN

OOPSLA96: Conference on Object Oriented Programming Systems Languages and Applications

October 6 - 10, 1996

California, San Jose, USA

Acceptance Rates

Overall Acceptance Rate 268 of 1,244 submissions, 22%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
693
Total Downloads

Downloads (Last 12 months)75
Downloads (Last 6 weeks)19

Reflects downloads up to 19 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Attali ICaromel DLippi S(2006)From a specification to an equivalence proof in object-oriented parallelismParallel and Distributed Processing10.1007/BFb0098003(1197-1214)Online publication date: 28-Oct-2006
https://doi.org/10.1007/BFb0098003
Glesner S(2003)ASMs versus natural semanticsProceedings of the abstract state machines 10th international conference on Advances in theory and practice10.5555/1754749.1754768(293-309)Online publication date: 3-Mar-2003
https://dl.acm.org/doi/10.5555/1754749.1754768
Henriques PPereira MMernik MLeni MGray JWu H(2005)Automatic generation of language-based tools using the LISA systemIEE Proceedings - Software10.1049/ip-sen:20041317152:2(54)Online publication date: 2005
https://doi.org/10.1049/ip-sen:20041317
Glesner S(2003)ASMs versus Natural Semantics: A Comparison with New InsightsAbstract State Machines 200310.1007/3-540-36498-6_17(293-309)Online publication date: 14-Mar-2003
https://doi.org/10.1007/3-540-36498-6_17

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents