In Reconfigurable Manufacturing Systems (RMSs), the structure of the system can be changed during execution of the system. This reconfiguration can be motivated by a new requirement in the production process, or to avoid some problems caused by machines breakdowns. These systems offer a high flexibility leading to more productivity and efficiency. However, their design is more complicated implying new techniques and paradigms. The use of formal high level Petri Nets offers the ability to design these systems and to analyse or prove their properties. In this paper, we apply Reconfigurable Object Nets (RONs) for the modelling, simulation and analysis of reconfigurable manufacturing systems. We propose a formal approach, where the reconfiguration is specified as graph transformations, the simulation is realized using the RON-tool, and the analysis exploits some software tools such as TINA-tool and PIPE-tool.
NoSQL storage systems are used extensively by web applications and provide an attractive alternative to conventional databases due to their high security and availability with a low cost. High data availability is achieved by replicating data in different servers in order to reduce access time lag, network bandwidth consumption and system unreliability. Hence, the data consistency is a major challenge in distributed systems. In this context, strong consistency guarantees data freshness but affects directly the performance and availability of the system. In contrast, weaker consistency enhances availability and performance but increases data staleness. Therefore, an adaptive consistency strategy is needed to tune, during runtime, the consistency level depending on the criticality of the requests or data items. Although there is a rich literature on adaptive consistency approaches in cloud storage, there is a need to classify as well as regroup the approaches based on their strategies. This paper will establish a set of comparative criteria and then make a comparative analysis of existing adaptive consistency approaches. A survey of this kind not only provides the user/researcher with a comparative performance analysis of the approaches but also clarifies the suitability of these for candidate cloud systems.
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.