Testing is a necessary step in systems integration. Testing in the context of interenterprise, business-to-business (B2B) integration is more difficult and expensive than intra-enterprise integration. Traditionally, the difficulty is alleviated by conducting the testing in two stages: conformance testing and then interoperability testing. In conformance testing, systems are tested independently...

The conformance of semantic technologies has to be systematically evaluated to measure and verify the real adherence of these technologies to the Semantic Web standards. Current evaluations of semantic technology conformance are not exhaustive enough and do not directly cover user requirements and use scenarios, which raises the need for a simple, extensible and parameterizable method to genera...

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...

In object-aware process management, processes are represented as multiple interacting objects rather than a sequence of activities, enabling data-driven and highly flexible processes. such scenarios, however, it is crucial to be able check what degree the executed according model (i.e., guided behavior). Conformance checking algorithms (e.g., Token Replay or Alignments) deal with this issue for...

The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps to apply the usual formal testing theory based on LTS models to incompletely specified systems, which are often met in practice. Another topic concerned in the article is compositional conformance. More precisely, we ...

We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one hand, upon formal testing and conformance theory that has originally been developed in the context of process algebras and Labeled Transition Systems (LTSs), and, on the other hand, upon our previous work on formal seman...

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...