ASM-based formal design of an adaptivity component for a Cloud system

摘要: The request of formal methods for the specification and analysis distributed systems is nowadays increasing, especially when considering development Cloud Web applications. This due to fact that modeling languages currently used in these areas have informal definitions ambiguous semantics, therefore their use may be unreliable. Thanks mathematical foundation, can guarantee rigorous system design, leading precise models where requirements validated properties assured, already at early stages development. In this paper, we present a engineering process systems, based on Abstract State Machines (ASM) method. We rely foundational notions ASM ground model refinement obtain client-server application systems. has been proposed tackle problem making services usable different end-devices by adapting on-the-fly content coming from devices contexts. ASM-based supported number validation verification activities exploited component under consistency, correctness, reliability properties.