Towards a Colimit−Based Semantics for Visual Programming
Software architects such as Garlan and Katz promote the separation of <em>computation</em> from <em>coordination</em>. They encourage the study of <em>connectors</em> as first-class entities, and <em>superposition</em> of connectors onto components as...
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
2002
|
| Summary: | Software architects such as Garlan and Katz promote the separation of <em>computation</em> from <em>coordination</em>. They encourage the study of <em>connectors</em> as first-class entities, and <em>superposition</em> of connectors onto components as a paradigm for component-oriented programming. We demonstrate that this is a good model for what <em>visual programming tools</em> 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. |
|---|