Architectural Interoperability Checking in Visual Coordination Networks
David Šafránek · Electronic Notes in Theoretical Computer Science · 2007
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.