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 (848Kb) | Preview

DOI (Digital Object Identifier) Link:	http://dx.doi.org/doi: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:	Article
Copyright Holders:	2007 Elsevier B.V.
ISSN:	0167-6423
Extra Information:	Special Issue on Experimental Software and Toolkits
Academic Unit/Department:	Mathematics, Computing and Technology > Computing
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 09:06
Last Modified:	07 Dec 2010 05:10
URI:	http://oro.open.ac.uk/id/eprint/23227

	Repository Staff Only: edit this item
Public: Report issue/request change

Policies | Disclaimer