Skip to main content
SpringerLink
Log in

Towards a Colimit-Based Semantics for Visual Programming

  • Conference paper
  • First Online:
Coordination Models and Languages (COORDINATION 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2315))

Included in the following conference series:

  • 228 Accesses

Abstract

Software architects such as Garlan and Katz promote the separation of computation from coordination. They encourage the study of connectors as first-class entities,and superposition of connectors onto components as a paradigm for component-oriented programming. We demonstrate that this is a good model for what visual programming tools like IBM’s VisualAge actually do. Moreover,Fiadeiro and Maibaum’s categorical semantics of parallel programs is applicable to this model,so we can make progress towards a formal semantics of visual programming.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Allen and D. Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering Methodology,6(3),1997.

    Google Scholar 

  2. S. Bünnig, P. Forbrig, R. Lämmel,and N. Seemann. A programming language for design patterns. In Arbeitstagung Programmiersprachen, Paderborn, October 1999.

    Google Scholar 

  3. J. L. Fiadeiro and T.S.E. Maibaum. Categorical semantics of parallel program design. Science of Computer Programming,28(2–3):111–138,1997.

    Article  MATH  Google Scholar 

  4. E. Gamma, R. Helm, R. Johnson,and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley,1995.

    Google Scholar 

  5. J.A. Goguen. Categorical foundations of general systems theory. In F. Pichler and R. Trappl,editors, Advances in Cybernetics and Systems Research,pages 121–130. Transcripta,1973.

    Google Scholar 

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

    Google Scholar 

  7. IBM. VisualAge for Java. http://www.ibm.com/software/ad/vajava.

  8. B. Jacobs. Objects and classes,coalgebraically. In B. Freitag, C. B. Jones, C. Lengauer,and H.-J. Schek,editors, Object-Orientation with Parallelism and Persistence,pages 83–103. Kluwer,1996.

    Google Scholar 

  9. S. Katz. A superimposition control construct for distributed systems. ACM Transactions on Programming Languages and Systems,15(2):337–356,1993.

    Article  Google Scholar 

  10. Sun Microsystems. JavaBeans specification. http://java.sun.com/products/javabeans/docs/spec.html,1997.

  11. L. Mikhajlov and E. Sekerinski. A study of the Fragile Base Class problem. In European Conference on Object-Oriented Programming,pages 355–382,1998.

    Google Scholar 

  12. B.C. Pierce. Basic Category Theory for Computer Science. MIT Press,1991.

    Google Scholar 

  13. M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall,1996.

    Google Scholar 

  14. A. Snyder. Encapsulation and inheritance in object-oriented programming languages. In M. Meyrowitz,editor, Object-Oriented Programming, Systems, Languages and Applications,pages 38–45,1986. SIGPLAN Notices 21(11).

    Google Scholar 

  15. Y. V. Srinivas and R. Jüllig. SpecWare: Formal support for composing software. In Bernhard Möller,editor, LNCS 947: Mathematics of Program Construction. Springer-Verlag,1995.

    Google Scholar 

  16. Clemens Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley,1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Oxford, Oxford

    Jeremy Gibbons

Authors
  1. Jeremy Gibbons
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Software Engineering Department, Centre for Mathematics and Computer Science, Kruislaan 413, 1098, SJ Amsterdam, The Netherlands

    Farhad Arbab

  2. SRI International, 333 Ravenswood Ave., 94025, Menlo Park, CA, USA

    Carolyn Talcott

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gibbons, J. (2002). Towards a Colimit-Based Semantics for Visual Programming. In: Arbab, F., Talcott, C. (eds) Coordination Models and Languages. COORDINATION 2002. Lecture Notes in Computer Science, vol 2315. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46000-4_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-46000-4_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43410-8

  • Online ISBN: 978-3-540-46000-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation