CommUnity
Rotating Logo

CommUnity  

 



CommUnity was born as a language for parallel program design in the style of Unity, but based on action sharing
.

CommUnity supports the complete separation of "coordination" from "computation" concerns, providing a paradigmatic architectural description language in which connectors are first-class entities.

CommUnity has a categorical semantics that brings it to the realm of General Systems for which global behaviour emerges from the computations performed locally in components and the way their interactions are coordinated.

CommUnity is now a framework in which prototypical methods, languages and modelling techniques can be developed to test ideas and explore new paradigms on the basis of a sound mathematical foundation.

This site makes available information about what there is and what is going on about CommUnity. Send us a message if you want to be informed of what becomes available.

 
[*] Spotlights

º Event-based extension@

º Workbench 1.4 is out!

 
 
[*] Resources

º People

º Publications

º Case studies

º Tools

º Projects

 
The Core
The bare primitives for designing and interconnecting components in a short presentation.
 
The Workbench
A platform in which CommUnity designs can be defined and interconnected to build configurations of complex systems.(more…)
 
CommSA
CommUnity supports the definition of architectural connectors and their instantiation with system components (a comprehensive overview).
 
The Mob
CommUnity offers primitives for modelling distribution and mobility at the architectural level (a paper and a presentation).
 
Operational semantics
CommUnity is being given operational semantics for its computational, configuration, and mobility aspects.(more…)
 
New Generation

A new generation of CommUnity is being developed that includes event-based interactions. A preliminary paper will be presented at FASE'06.

[*] Important Links

A project that is developping extensions for service-oriented systems


A company that uses CommUnity as a testbed for its technology


The Formal Methods community

CommUnity is used in

for illustrating the application of Category Theory to architectural modelling of systems.

Last updated: 8 January 2006