Oliveira, Cristóvão and Wermelinger, Michel
(2007).
![[img]](http://oro.open.ac.uk/style/images/fileicons/application_pdf.png)
|
PDF (Accepted Manuscript)
- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (848Kb) |
| DOI (Digital Object Identifier) Link: | http://doi.org/10.1016/j.scico.2006.09.005 |
|---|---|
| Google Scholar: | Look up in Google Scholar |
Abstract
CommUnity is a formal approach to Software Architecture with a strict separation of the computation, coordination, and distribution aspects. The approach is based on a parallel design language with state, which facilitates the specification of computations compared to the process calculi used by other formal approaches, and on category theory, which provides an intuitive yet precise graph-based semantics for the configuration of components and connectors.
The CommUnity Workbench is being developed as a proof of concept of the CommUnity framework, providing a graphical integrated development environment to write components, draw configurations, and execute the resulting system.
The CommUnity Workbench is being developed as a proof of concept of the CommUnity framework, providing a graphical integrated development environment to write components, draw configurations, and execute the resulting system.
| Item Type: | Journal Article |
|---|---|
| Copyright Holders: | 2007 Elsevier B.V. |
| ISSN: | 0167-6423 |
| Extra Information: | Special Issue on Experimental Software and Toolkits |
| Academic Unit/Department: | Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications Faculty of Science, Technology, Engineering and Mathematics (STEM) |
| Interdisciplinary Research Centre: | Centre for Research in Computing (CRC) |
| Related URLs: |
|
| Item ID: | 23227 |
| Depositing User: | Michel Wermelinger |
| Date Deposited: | 23 Sep 2010 08:06 |
| Last Modified: | 02 Aug 2016 15:48 |
| URI: | http://oro.open.ac.uk/id/eprint/23227 |
| Share this page: |     |
Altmetrics | Scopus Citations |
Download history for this item
These details should be considered as only a guide to the number of downloads performed manually. Algorithmic methods have been applied in an attempt to remove automated downloads from the displayed statistics but no guarantee can be made as to the accuracy of the figures.