Architectural Interoperability Checking in Visual Coordination Networks

Authors:
David Šafránek
Affiliations:
Department of Computer Science, Faculty of Informatics, Masaryk University Brno, Czech Republic
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 6
Cited 0

A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
Architecting families of software systems with process algebras

ACM Transactions on Software Engineering and Methodology (TOSEM)
Architectural Interaction Diagrams: AIDs for system modeling

Proceedings of the 25th International Conference on Software Engineering
A Survey of Architecture Description Languages

IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Reo: a channel-based coordination model for component composition

Mathematical Structures in Computer Science
On the usability of process algebra: an architectural view

Theoretical Computer Science - Process algebra

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, the approach [Alessandro Aldini and Marco Bernardo. On the usability of process algebra: An architectural view. Theor. Comput. Sci. 335 (2-3) (2005) 281-329] of architectural interoperability checking is revisited and utilized for interoperability checking of architectures with connectors and components treated as behaviorally and expressively different elements of architecture description. By that way, the framework of architectural interoperability checking for a diagrammatic language Visual Coordination Networks is established.