Abstract This paper provides an introduction to the topic of water shutoff and conformance improvement. After indicating volumes produced during oilfield operations, a strategy is provided for attacking excess production problems. Problem types are categorized, typical methods problem diagnosis mentioned, range solutions introduced each type. In third section paper, concept disproportionate per...

We have implemented a contract checker for asynchronous, message-passing applications to check that service implementations conform to behavioural contracts. Our contract checker is based on a process algebraic theory of conformance and is implemented on top of a software model checker, Zing. The purpose of this paper is to explain the model construction implemented by our contract checker and ...

Recent works in Model-Driven Engineering (MDE) advocate the need for more flexibility in modelling environments by relaxing the conformance relation between a model and its metamodel. Most of the current works on flexibility only focus on the creation of the concrete syntax, leaving out important considerations about the development of the abstract syntax. Different approaches to relaxing the c...

Standard process analysis techniques, like conformance checking or performance evaluation, are enabled by the existence of event logs that trace the process executions and by the presence of a model that formally represents the process. Such analysis techniques use only part of the huge amount of data recorded in event logs. In this paper the goal is to exploit this data to extract useful infor...

Conformance testing is a formal and structured approach to verifying system correctness. We propose a conformance testing algorithm for cyber-physical systems, based on the notion of hybrid conformance by Abbas and Fainekos. We show how the dynamics of system specification and the sampling rate play an essential role in making sound verdicts. We specify and prove error bounds that lead to sound...

This paper introduces global session nets, an integration of multiparty session types (MPST) and Petri nets, for role-based choreographic specifications to verify distributed multiparty systems. The graphical representation of session nets enables more liberal combinations of branch, merge, fork and join patterns than the standard syntactic MPST. We use session net token dynamics to verify a fl...

This paper presents the latest developments in the “Formal Methods in Conformance Testing” (FMCT) project of ISO and ITU–T. The project has been initiated to study the role of formal description techniques in the conformance testing process. The goal is to develop a standard that defines the meaning of conformance in the context of formal description techniques. We give an account of the curren...

The paper deals with the problem of agents conformance with multiparty protocols. We introduce a notion of conformance of a set of k agents with a multiparty protocol with k roles, which requires the agents to be interoperable and to produce correct executions of the protocol. We introduce conditions that enable each agent to be independently verified with respect to the protocol. We assume tha...

Preformed Particle Gels (PPGs) treatment is one of the most promising solutions to improve conformance control in mature water flooded oil reservoirs. It is very important to be able to evaluate and predict performance of PPGs in porous media. In this paper, we will first introduce new class of enhanced PPGs designed for harsh reservoir conditions (high salinity and temperature) and then pr...