Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/11232
Title: Taming Hierarchical Connectors
Authors: Madeira,A
José Paiva Proença
Issue Date: 2019
Abstract: Building and maintaining complex systems requires good software engineering practices, including code modularity and reuse. The same applies in the context of coordination of complex component-based systems. This paper investigates how to verify properties of complex coordination patterns built hierarchically, i.e., built from composing blocks that are in turn built from smaller blocks. Most existing approaches to verify properties flatten these hierarchical models before the verification process, losing the hierarchical structure. We propose an approach to verify hierarchical models using containers as actions; more concretely, containers interacting with their neighbours. We present a dynamic modal logic tailored for hierarchical connectors, using Reo and Petri Nets to illustrate our approach. We realise our approach via a prototype implementation available online to verify hierarchical Reo connectors, encoding connectors and formulas into mCRL2 specifications and formulas. © 2019, IFIP International Federation for Information Processing.
URI: http://repositorio.inesctec.pt/handle/123456789/11232
http://dx.doi.org/10.1007/978-3-030-31517-7_13
metadata.dc.type: Publication
conferenceObject
Appears in Collections:Non INESC TEC publications - Articles in International Conferences

Files in This Item:
File Description SizeFormat 
P-00R-FN8.pdf398.97 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.