Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288356711> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W4288356711 abstract "The design of complex software systems usually lies in multiple coordinating components with an unknown number of instances. For such systems a main challenge is modelling efficiently their architecture that determines the topology and the interaction principles among the components. To achieve well-founded design there is need to address the quantitative aspects of software architectures. In this paper we study the modelling problem of software architectures applied on parametric weighted component-based systems where the parameter is the number of instances of each component. For this, we introduce a weighted first-order extended interaction logic over a commutative semiring in order to serve as a modelling language for parametric quantitative architectures. We prove that the equivalence problem of formulas of that logic is decidable in the class (of subsemirings) of skew fields. Moreover, we show that our weighted logic can efficiently describe well-known parametric architectures with quantitative characteristics." @default.
- W4288356711 created "2022-07-29" @default.
- W4288356711 creator A5021900932 @default.
- W4288356711 creator A5057469509 @default.
- W4288356711 date "2019-05-14" @default.
- W4288356711 modified "2023-10-16" @default.
- W4288356711 title "Modelling architectures of parametric weighted component-based systems" @default.
- W4288356711 doi "https://doi.org/10.48550/arxiv.1905.05607" @default.
- W4288356711 hasPublicationYear "2019" @default.
- W4288356711 type Work @default.
- W4288356711 citedByCount "0" @default.
- W4288356711 crossrefType "posted-content" @default.
- W4288356711 hasAuthorship W4288356711A5021900932 @default.
- W4288356711 hasAuthorship W4288356711A5057469509 @default.
- W4288356711 hasBestOaLocation W42883567111 @default.
- W4288356711 hasConcept C105795698 @default.
- W4288356711 hasConcept C11413529 @default.
- W4288356711 hasConcept C117251300 @default.
- W4288356711 hasConcept C121332964 @default.
- W4288356711 hasConcept C149091818 @default.
- W4288356711 hasConcept C153269930 @default.
- W4288356711 hasConcept C168167062 @default.
- W4288356711 hasConcept C174683762 @default.
- W4288356711 hasConcept C199360897 @default.
- W4288356711 hasConcept C2777904410 @default.
- W4288356711 hasConcept C33923547 @default.
- W4288356711 hasConcept C41008148 @default.
- W4288356711 hasConcept C43711488 @default.
- W4288356711 hasConcept C76155785 @default.
- W4288356711 hasConcept C80444323 @default.
- W4288356711 hasConcept C97355855 @default.
- W4288356711 hasConceptScore W4288356711C105795698 @default.
- W4288356711 hasConceptScore W4288356711C11413529 @default.
- W4288356711 hasConceptScore W4288356711C117251300 @default.
- W4288356711 hasConceptScore W4288356711C121332964 @default.
- W4288356711 hasConceptScore W4288356711C149091818 @default.
- W4288356711 hasConceptScore W4288356711C153269930 @default.
- W4288356711 hasConceptScore W4288356711C168167062 @default.
- W4288356711 hasConceptScore W4288356711C174683762 @default.
- W4288356711 hasConceptScore W4288356711C199360897 @default.
- W4288356711 hasConceptScore W4288356711C2777904410 @default.
- W4288356711 hasConceptScore W4288356711C33923547 @default.
- W4288356711 hasConceptScore W4288356711C41008148 @default.
- W4288356711 hasConceptScore W4288356711C43711488 @default.
- W4288356711 hasConceptScore W4288356711C76155785 @default.
- W4288356711 hasConceptScore W4288356711C80444323 @default.
- W4288356711 hasConceptScore W4288356711C97355855 @default.
- W4288356711 hasLocation W42883567111 @default.
- W4288356711 hasOpenAccess W4288356711 @default.
- W4288356711 hasPrimaryLocation W42883567111 @default.
- W4288356711 hasRelatedWork W1503396982 @default.
- W4288356711 hasRelatedWork W172018341 @default.
- W4288356711 hasRelatedWork W2165165828 @default.
- W4288356711 hasRelatedWork W2348938246 @default.
- W4288356711 hasRelatedWork W2349883060 @default.
- W4288356711 hasRelatedWork W2364925730 @default.
- W4288356711 hasRelatedWork W2512656006 @default.
- W4288356711 hasRelatedWork W2518552594 @default.
- W4288356711 hasRelatedWork W4238190086 @default.
- W4288356711 hasRelatedWork W4285141180 @default.
- W4288356711 isParatext "false" @default.
- W4288356711 isRetracted "false" @default.
- W4288356711 workType "article" @default.