The CommUnity Workbench

Oliveira, Cristóvão and Wermelinger, Michel (2007). The CommUnity Workbench. Science of Computer Programming, 69(1-3) pp. 46–55.

Full text available as:

Preview

PDF (Accepted Manuscript) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (868kB)

DOI (Digital Object Identifier) Link:	https://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 Item
Copyright Holders:	2007 Elsevier B.V.
ISSN:	0167-6423
Extra Information:	Special Issue on Experimental Software and Toolkits
Academic Unit/School:	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:	http://oro.open.ac.uk/1175(ORO Item) http://oro.open.ac.uk/1162(ORO Item) http://oro.open.ac.uk/1169(ORO Item)
Item ID:	23227
Depositing User:	Michel Wermelinger
Date Deposited:	23 Sep 2010 08:06
Last Modified:	15 Sep 2017 11:02
URI:	http://oro.open.ac.uk/id/eprint/23227
Share this page:

Altmetrics

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.

Actions (login may be required)

CORE (COnnecting REpositories)

Policies | Disclaimer