Due to their asynchronous interactions, testing reactive systems is a laborious activity present in any software development project.
 In this setting, the finite memory formalism of Labeled Transition Systems has been used generate test suites that can be applied check ioco conformance implementations given specification.
 work we turn more complex scenario where stronger considered,...

Quality has become one of the core factors for almost all manufacturing and service companies that aim to achieve customer satisfaction. Therefore, improving quality is considered to be one of the efforts that companies consider a must to attain customer loyalty in today’s complex global competitive environment. Studies concluded that any serious endeavour to improve quality will lead to an inc...

The strong impulse to digitize processes and operations in companies enterprises have resulted the creation automatic recording of an increasingly large amount process data information systems. These are made available form event logs. Process mining techniques enable process-centric analysis data, including automatically discovering models checking if conform a given model. In this paper, we a...

Flue gas flooding has been applied in many oilfields for its accessibility and low cost. However, the problem of channeling during flue is significantly more serious due to reservoir heterogeneity gravity override, traditional profile control agent inapplicable because acidity. In order solve this challenge, a novel acidic nanoparticle was presented first; then, performance both water slugs het...

This demonstration paper describes version 4.1 of the ProM process mining tool. Process mining techniques attempt to extract non-trivial and useful process information from so-called “event logs”. ProM allows for the discovery of different process perspectives (e.g., control-flow, time, resources, and data) and supports related techniques such as control-flow mining, performance analysis, resou...

Based on the framework of shaping the traffic at the source node and policing or reshaping the traffic at further node(s), the objective of this paper is to better understand conformance consistency in QoS contracted networks. It has been pointed out in [1] that an originally conformant packet may become non-conformant at the egress in the presence of variable packet length, even though the pac...