{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T16:53:03Z","timestamp":1753894383640,"version":"3.41.2"},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T00:00:00Z","timestamp":1640822400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>One of the key aspects in component-based design is specifying the software\narchitecture that characterizes the topology and the permissible interactions\nof the components of a system. To achieve well-founded design there is need to\naddress both the qualitative and non-functional aspects of architectures. In\nthis paper we study the qualitative and quantitative formal modelling of\narchitectures applied on parametric component-based systems, that consist of an\nunknown number of instances of each component. Specifically, we introduce an\nextended propositional interaction logic and investigate its first-order level\nwhich serves as a formal language for the interactions of parametric systems.\nOur logics achieve to encode the execution order of interactions, which is a\nmain feature in several important architectures, as well as to model recursive\ninteractions. Moreover, we prove the decidability of equivalence,\nsatisfiability, and validity of first-order extended interaction logic\nformulas, and provide several examples of formulas describing well-known\narchitectures. We show the robustness of our theory by effectively extending\nour results for parametric weighted architectures. For this, we study the\nweighted counterparts of our logics over a commutative semiring, and we apply\nthem for modelling the quantitative aspects of concrete architectures. Finally,\nwe prove that the equivalence problem of weighted first-order extended\ninteraction logic formulas is decidable in a large class of semirings, namely\nthe class (of subsemirings) of skew fields.<\/jats:p>","DOI":"10.46298\/lmcs-17(4:26)2021","type":"journal-article","created":{"date-parts":[[2022,1,5]],"date-time":"2022-01-05T09:41:40Z","timestamp":1641375700000},"source":"Crossref","is-referenced-by-count":0,"title":["Architectures in parametric component-based systems: Qualitative and quantitative modelling"],"prefix":"10.46298","volume":"Volume 17, Issue 4","author":[{"given":"Maria","family":"Pittou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Rahonis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"25203","published-online":{"date-parts":[[2021,12,30]]},"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/8901\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/8901\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T20:18:23Z","timestamp":1687292303000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/6894"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,30]]},"references-count":0,"URL":"https:\/\/doi.org\/10.46298\/lmcs-17(4:26)2021","relation":{"has-preprint":[{"id-type":"arxiv","id":"1904.02222v14","asserted-by":"subject"},{"id-type":"arxiv","id":"1904.02222v13","asserted-by":"subject"}],"is-same-as":[{"id-type":"arxiv","id":"1904.02222","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.1904.02222","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2021,12,30]]},"article-number":"6894"}}