Ponte Academic Journal Oct 2020, Volume 76, Issue 10 |
A FORMAL APPROACH TO VALIDATED SERVICE DISCOVERY AND EXECUTION IN CLOUD COMPUTING Author(s): Souraya Hamida ,Okba Kazar J. 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 |
|
Guide for Authors
This guideline has been prepared for the authors to new submissions and after their manuscripts have been accepted |
Authors Login
We welcome refrees who would be willing to act as reviewers |
Paper Tracking
You can track your submitted article from this tab |
Editorial Board
The international editorial board is headed by Dr. Maria E. Boschi |
General Policies
Papers that are published or held by the Journal may not be published elsewhere |
Peer Review Process
Papers will be sent to three peer reviewers for evaluation |