Workflow systems have become a major vehicle for easy and efficient development of scientific applications. This type of systems can benefit from the resource provisioning technology offered by the cloud computing. In fact, the latter offers on-demand virtualized resources to its users. These virtual resources can be added and released dynamically. Also, users are charged on a pay-per-use basis. How to make appropriate decisions when allocating resources to the tasks and dispatching the computing tasks to resource pool has become the main issue in cloud computing. The amount of allocated resources affects the execution time of the applications and the cost incurred by the user. In fact, resource under-provisioning will necessarily affect the performance. In contrast, over-provisioning can result in idle instances and cause additional costs. Then, efficient scheduling algorithms are required for selection of best suitable resources for task execution. This paper focuses on some of the important workflow scheduling strategies. It brings out an exhaustive survey of such strategies in cloud computing and includes a detailed classification of them. Then, it presents a comparative analysis of the studied approaches. Finally, it stands out a critical challenge for further research.
Needless to say, distributed algorithms are usually hard to design mush harder to prove and to use in real distributed systems. In these systems, local computations theory has proved its power to formalize and prove in an intuitive way distributed algorithms. This paper uses this formalism to present solutions to the election problem in several network topologies using mobile agents at the design and the implementation levels. We formalized the proposed solutions in the local computations model using transition systems [11]. This facilitates the proof of the proposed solutions using the mathematical tool-box provided by the local computation theory. Using mobile agents, the proposed solutions get rid of synchronization and do not need continuous use of all machines computational resources. Proposed solutions are also simulated within the VISIDIA [3] platform.
SummaryModeling Cyber‐physical systems (CPS) is a challenging step that requires a lot of background from both the cyber and physical fields. However, there is a lack of studies in the existing literature that discuss the state of the art in modeling CPS or explore the research gaps in this area. In this paper, we survey existing approaches to modeling CPS. We focus on studying the considered CPS properties. Based on this study, we classify these properties and discuss their importance in different application domains. Moreover, research directions are presented to address key challenges in the specification of CPS models.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.