Parallel program design: a foundation
Parallel program design: a foundation
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Architectural primitives for distribution and mobility
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
A graph transformation approach to software architecture reconfiguration
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Behaviour Analysis of Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Semantics of Architectural Connectors
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Higher-order architectural connectors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Categories for Software Engineering
Categories for Software Engineering
A Model-Driven Approach to Extract Views from an Architecture Description Language
WICSA '07 Proceedings of the Sixth Working IEEE/IFIP Conference on Software Architecture
Modelling the GSM Handover Protocol in CommUnity
Electronic Notes in Theoretical Computer Science (ENTCS)
Mobile distributed programming in X-KLAIM
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
A formal approach to event-based architectures
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
| Hi-index | 0.00 |
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.