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

º Categories for CommUnity

º Let a thousand operational semantics bloom!

º Workbench 0.4.2 is out!

 
 
[*] Resources

º Human

º Publications

º Case studies

º Tools

º Projects

 
The Core
The bare primitives for designing and interconnecting components, and their mathematical semantics.
 
CommUML
Modelling techniques and semantic primitives built over the core. (Boxes and lines with semantics.)
 
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.
 
The Mob
CommUnity is being extended with primitives for modelling distribution and mobility.
 
Operational semantics
CommUnity is being given operational semantics for its computational, configuration, and mobility aspects.(more…)
[*] Important Links

A project that supports the development of The Mob


A company that uses CommUnity as a testbed for its technology


The Formal Methods community
Last updated: 6 October 2003