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.ududThe 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.ududThe 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.
展开▼
机译：CommUnity是一种软件架构的正式方法，它在计算，协调和分发方面进行了严格的分离。该方法基于带有状态的并行设计语言，与其他形式化方法所使用的过程计算相比，它便于进行计算规范，并且基于类别理论，它为组件和组件的配置提供了直观而精确的基于图的语义。 ud ud CommUnity Workbench的开发是CommUnity框架的概念证明，它提供了一个图形化的集成开发环境来编写组件，绘制配置并执行生成的系统。 ud ud CommUnity Workbench的开发如下CommUnity框架的概念证明，提供了图形化的集成开发环境来编写组件，绘制配置并执行生成的系统。
展开▼
