The prevalence of mobile computing platforms and the Internet of Things applications has triggered a quest to evolve energy-efficient software systems. Thus, addressing energy efficiency at the architectural level is a booming topic of interest. By this paper, we aim to propose an energy-driven architecture that encloses the most relevant artifacts tackled throughout the software design to analyze energy consumption. Our approach combines the meta-modeling and the graph transformations to formalize the understudied system and to survey the energy consumption. The energy consumption analysis is held on different alternative solutions of software architecture in a precocious stage for design more energy-efficient applications.

Abstract Using convex subrings of * $\mathbb{C}$ , a nonstandard extension of $\mathbb{C}$ , we define several kinds of complex bounded polynomials and we provide their associated analytic functions obtained by taking the quasistandard part.

Software architecture's interoperability faces many problems when it comes to integrating different components or formalisms in describing the architecture. Even within the same modeling language such as UML, the diversity of notations and the lack of semantic information make the interoperability between models difficult. In this paper, we propose semantic foundations that unify the notations of classes, interactions and constraints, and hence provide a robust basis for models interoperability. We rely on graphs and graph transformations to describe systems structure and behavior, semantics and constraints in a combined form within an integrated framework, which constitutes a robust basis for automated software architecture analysis.