Cargando…

Architecture Modelling of Parametric Component-Based Systems

We study formal modelling of architectures applied on parametric component-based systems consisting of an unknown number of instances of each component. Architecture modelling is achieved by means of logics. We introduce an extended propositional interaction logic and investigate its first-order lev...

Descripción completa

Detalles Bibliográficos
Autores principales: Pittou, Maria, Rahonis, George
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7282847/
http://dx.doi.org/10.1007/978-3-030-50029-0_18

Ejemplares similares