Cloud computing is an emerging topic in the IT industry, it brings new design challenges and security issues, as resources rapid availability quick scalability. Since formal methods provide a reliable mathematical basis giving rise to safely analyzable models, we aim this paper propose framework for cloud architectural elasticity. Bigraphical Reactive Systems are adopted semantic their graphical aspect rigorous basis. Then, Maude language used implement obtained bigraphical model. system...

Abstract Elasticity is actually one major and important asset for cloud-based systems. This property grants this kind of systems the ability to dynamically adjust their resources allocation by scaling up/down when needed in autonomic manner, allowing them capitalize resource utilization, maintain a suitable quality service. In paper, we lean on formal methods give precise sufficient semantics cloud system elasticity. We propose unique semantic framework based bigraphical reactive (BRS)...

Many approaches on context-aware systems specification have been proposed in the literature. However, absence or poor representation of contextual information and its relationships with system entities these usually leads to low-precision irrelevant results. The aim this paper is promote ability specify verify systems. Our modeling methodology exploits Maude reflection meta-programming define a domain specific language for adopts model checker inherent properties. Moreover, runtime...

microservices are subject to an unpredictable and variant workload that challenges their quality of service. There-fore, several approaches emerge in the literature proposing auto-scaling policies as a promising solution deal with such increase/decrease workload. However, they generally specific unique service cost-aware, latency-aware other quality-awareness. We propose multicriteria approach for microservice-based applications' auto-scaling. By means layered architecture, we present hybrid...

Cloud computing is an emerging paradigm that enhances grid but in the sense of utility principle. Hence, it attracts more attention both industry and academia. However, there are still many obstacles slowing down its adoption growth. An important challenging issue this area how to associate a clear semantic cloud architecture concepts. Based on BRS (Bigraphical Reactive Systems) theory, paper presents formal framework provides mathematical definitions main elements involved architecture,...

Cloud services are designed to provide remote and scalable access applications resources. They inclined be composed for creating more complex value-added services. Services Composition (CSC) has become an increasingly active area in both research topics technological fields. An important challenging issue this is how model supporting composition with all its facets. Relying heavily on mathematical definitions, formal methods may applied context a precise of Composition. This paper...

Maintaining an acceptable level of quality service in modern complex systems is challenging, particularly the presence various forms uncertainty caused by changing execution context, unpredicted events, etc. Although self-adaptability a well-established approach for modelling such systems, and thus enabling them to achieve functional and/or objectives autonomously modifying their behavior at runtime, guaranteeing continuous satisfaction still challenging needs rigorous definition analysis...

Cloud computing is an emerging paradigm that enhances grid but in the sense of utility principle. Hence, it attracts more attention both industry and academia. However, there are still many obstacles slowing down its adoption growth. An important challenging issue this area how to associate a clear semantic cloud architecture concepts. Based on BRS (Bigraphical Reactive Systems) theory, paper presents formal framework provides mathematical definitions main elements involved architecture,...

Abstract This study undertakes a bibliometric analysis of recent investigations centered on intelligent systems in agriculture, combined quantitative and qualitative approach is adopted, which based Visualization Similarities (VOS) method. We then map prominent areas interest, evaluate international collaboration extents, identify potential research gaps. Aligned with the United Nations’ vision, Sustainable Development Goals (SDGs) place spotlight interconnection poverty eradication (SDG 1),...

Petri nets have been used as a formal semantic framework for UML activity diagrams. With 2.0 extensions, they become not able to express high level constructions in diagrams, namely the traverse-to-completion concept. This one requires global synchronization between fork and join nodes which is totally absent ordinary nets, based on local synchronization. To conserve activities behaviors, we propose zero-safe richer more adapted diagrams by giving generic mapping from this class. The...

Self-adaptive systems (SAS) have the ability to achieve functional and/or quality of service objectives by automatically modifying their behavior at runtime. Accordingly, each self-adaptive system typically consists a managed dealing with domain concerns, and feedback loop handling adaptation concerns system. In aim promote actual use these systems, it is necessary cope underlying uncertainty variability execution environments. However, existing approaches lack formal models tools engineer...

Cloud computing is a new delivery model based on simple idea, which consists of providing set virtualised resources as demand services that users can acquire according to their needs in an elastic way. In the context preserving cloud systems elasticity and ensuring reliability consistency, formal methods be very effective verify inherent properties. Thus, we present this paper framework for specifying methods. Furthermore, show usefulness our BRS-based model, propose two underlying...

Microservices auto-scaling is an attracking research domain focusing on the dynamic definition of strategies to optimize system efficiency and performance while minimizing service cost. An efficient strikes a balance between individual microservices quality requirements collaborating uphold overall quality. Maintaining such needs formal method establish relevant parameters ensure attributes enable prior accuracy verification. To that end, we extend Petri net model define Hierarchical...