دانلود مقاله ISI انگلیسی شماره 157991
ترجمه فارسی عنوان مقاله

منطق پیکربندی: سبک های معماری مدل سازی

عنوان انگلیسی
Configuration logics: Modeling architecture styles
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی
157991 2017 28 صفحه PDF
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Journal of Logical and Algebraic Methods in Programming, Volume 86, Issue 1, January 2017, Pages 2-29

پیش نمایش مقاله
پیش نمایش مقاله  منطق پیکربندی: سبک های معماری مدل سازی

چکیده انگلیسی

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of architectures as generic coordination schemes involving a configuration of interactions between typed components; and 2) configuration logics for the specification of architecture styles as sets of interaction configurations. The presented results build on previous work on architecture modeling in BIP. We show how propositional interaction logic can be extended into a corresponding configuration logic by adding new operators on sets of interaction configurations. In addition to the usual set-theoretic operators, configuration logic is equipped with a coalescing operator + to express combination of configuration sets. We provide a complete axiomatization of propositional configuration logic as well as decision procedures for checking that an architecture satisfies given logical specifications. To allow genericity of specifications, we study first-order and second-order extensions of the propositional configuration logic. First-order logic formulas involve quantification over component variables. Second-order logic formulas involve additional quantification over sets of components. We provide several examples illustrating the application of the results to the characterization of various architecture styles. We also provide an experimental evaluation using the Maude rewriting system to implement the decision procedure for the propositional flavor of the logic.