Towards a Colimit-Based Semantics for Visual Programming [chapter]

Jeremy Gibbons
2002 Lecture Notes in Computer Science  
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
more » ... towards a formal semantics of visual programming. Contribution and relevance: This paper concerns applications of coordination, theoretical models and foundations of coordination, tools for the development of coordinated applications, and industrial relevance of coordination. We build on existing work on superposition and on colimitbased semantics of system assemblies; our contributions are to show that superposition is a good model of the action of visual programming tools such as IBM's VisualAge, and to make the first steps in applying the colimit approach to semantics to this domain.
doi:10.1007/3-540-46000-4_18 fatcat:lgmztfoeyrfvxhsuibotn46lxq