Architectural Interoperability Checking in Visual Coordination Networks 1

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.