Modelling architectures of parametric weighted component-based systems.

摘要: The design of complex software systems usually lies in multiple coordinating components with an unknown number instances. For such a main challenge is modelling efficiently their architecture that determines the topology and interaction principles among components. To achieve well-founded there need to address quantitative aspects architectures. In this paper we study problem architectures applied on parametric weighted component-based where parameter instances each component. this, introduce first-order extended logic over commutative semiring order serve as language for We prove equivalence formulas decidable class (of subsemirings) skew fields. Moreover, show our can describe well-known characteristics.