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
|
| _version_ | 1797088335244558336 |
|---|---|
| author | Gibbons, J |
| author_facet | Gibbons, J |
| author_sort | Gibbons, J |
| collection | OXFORD |
| description | 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. |
| first_indexed | 2024-03-07T02:48:33Z |
| format | Conference item |
| id | oxford-uuid:ace04300-3947-475c-9f4c-3c94f8348686 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T02:48:33Z |
| publishDate | 2002 |
| record_format | dspace |
| spelling | oxford-uuid:ace04300-3947-475c-9f4c-3c94f83486862022-03-27T03:31:46ZTowards a Colimit−Based Semantics for Visual ProgrammingConference itemhttp://purl.org/coar/resource_type/c_5794uuid:ace04300-3947-475c-9f4c-3c94f8348686Department of Computer Science2002Gibbons, JSoftware 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. |
| spellingShingle | Gibbons, J Towards a Colimit−Based Semantics for Visual Programming |
| title | Towards a Colimit−Based Semantics for Visual Programming |
| title_full | Towards a Colimit−Based Semantics for Visual Programming |
| title_fullStr | Towards a Colimit−Based Semantics for Visual Programming |
| title_full_unstemmed | Towards a Colimit−Based Semantics for Visual Programming |
| title_short | Towards a Colimit−Based Semantics for Visual Programming |
| title_sort | towards a colimit based semantics for visual programming |
| work_keys_str_mv | AT gibbonsj towardsacolimitbasedsemanticsforvisualprogramming |