A FORMAL APPROACH TO VALIDATED SERVICE DISCOVERY AND EXECUTION IN CLOUD COMPUTING

Abstract

Ponte Academic JournalOct 2020, Volume 76, Issue 10 A FORMAL APPROACH TO VALIDATED SERVICE DISCOVERY AND EXECUTION IN CLOUD COMPUTINGAuthor(s): Souraya Hamida ,Okba KazarJ. Ponte - Oct 2020 - Volume 76 - Issue 10 doi: 10.21506/j.ponte.2020.10.4 Abstract:With cloud computing technology, we can move the local application resources into the cloud computing resource pool in the form of Web services. Mobile computing will continue to grow in the next few years in power and pervasiveness and is poised to become the dominant computing technology. Due to power and bandwidth constraints inherent in mobile computing, it is imperative to communicate with web services as efficiently as possible. This need for efficiency motivates our research. In this paper, we propose the use of the mobile agent for efficient discovery and invocation of M-services in cloud computing. The idea is to explore the properties of mobile agents to adapt to the characteristics of services, to eliminate the problems associated with mobile environments and mobile devices. Moreover, we exploit the advantages of the Semantic Web to automate the discovery and invocation of web services. Finally, we use the user context to better satisfy the demand of the user. On the other hand, high-level Petri nets are exploited to verify and simulate the proposed system. The verification test result demonstrates the viability and usefulness of the system. Download full text:Check if you have access through your login credentials or your institution Username Password