A Typeful Composition Model for Dynamic Software Architectures
نویسندگان
چکیده
6+7+8 7+9 :<; :>= : 9 ? 8 @BA5=+CDA EFC A E/8HG0? 9 :IC J C 8 :>KLCLC M A 7 NPORQS:T? Q+NB:T8 A : U"A5NBU":FV>A = C @BC 8 :>= 8 NWJXG3M @BNB:Y8 M+: JZ? 9 :[9 7 =+= @B= ; \ ]^A_?5O+O 9 :>C C 8 M @BC
منابع مشابه
مدل عملکردی تحلیلی FPGA برای پردازش با قابلیت پیکربندی مجدد
Optimizing FPGA architectures is one of the key challenges in digital design flow. Traditionally, FPGA designers make use of CAD tools for evaluating architectures in terms of the area, delay and power. Recently, analytical methods have been proposed to optimize the architectures faster and easier. A complete analytical power, area and delay model have received little attention to date. In addi...
متن کاملSpecifying Dynamic Software Architectures with Dynamic Description Logic
Dynamic software architectures provide support for building long running and reconfigurable applications. Formal specification is useful to the design of correct and robust dynamic software architectures. In this paper, dynamic software architectures are specified with dynamic description logic. Dynamic description logic inherits the expressiveness and decidability of description logic and it h...
متن کاملModels for Composing Heterogeneous Software Architectures
A persistent problem in software engineering is the problem of software composition. The emergence of software architectures and architectural styles has focused attention on a new set of abstractions with which we can create and compose software systems. We examine the problem of providing a model for the composition of different architectural styles within software systems, i.e. the problem o...
متن کاملK-Maude Definition of Dynamic Software Architecture
One of the complex issues in developing architectural models of software systems is the capturing of architectures dynamics, i.e., systems for which composition of interacting components, changes at run time. In this paper, we argue that it is possible and valuable to provide a Dynamic Software Architecture Meta-model (DySAM) that accounts for interactions between architectural components and t...
متن کاملAn Adaptive High-Performance Service Architecture
This paper introduces an approach to dynamic software composition in the context of scientific computing where hight demands on performance seem to prevent such flexible solutions. In our concrete scenario, however, dynamic software composition is rather a way to guarantee highperformance that an obstacle to it. We achieve this by combining dynamic architectures and task graph scheduling.
متن کامل