Complex systems are everywhere and are part of our daily life. As a consequence, their failures can range from being inconvenient to being life-threatening. Testing is one of the most widely accepted techniques (especially in industry) to detect errors in a system. When the requirements of the system are described by a formal specification, conformance testing is used to guarantee a certain deg...

Conformance control treatment of oil reservoirs is one the techniques that can bring improvements in both sweep efficiency and reduction excessive co-production oily water. In this work, chemical conformance was studied through development gelling systems for situ hydrogel formation to act as blocking agents more permeable regions. For purpose, copolymers based on acrylamide were used, containi...

We introduce Symbolic Timed Automata, an amalgamation of symbolic transition systems and timed automata, which allows to express nondeterministic data-dependent control flow with inputs and outputs and real-time behaviour. In particular, input data can influence the timing behaviour. We define two semantics for STA, a concrete one as timed labelled transition systems and another one on a symbol...

Most prior work on specification-based testing of concurrent programs have postulated an equivalence relation between specifications and programs. However, the equivalence relation, which requires a specification and a program to encompass the same set of synchronization sequences, is not well-suited for testing concurrent programs against partial and nondeterministic specifications. In this pa...

Contemporary business information systems record business events in event logs. Process mining techniques permit to explore these logs to understand and analyze processes. Although, there are a number of case studies demonstrating usefulness of process mining techniques in real-life case studies, process conformance check techniques miss such practical evaluation. Also the commercial tools have...

In this report we define the semantics of a language for dynamic QoS expressions which can be evaluated at run-time for conformance. We define how expressions can be constructed from atomic expressions termed ’basic profiles’ using composition operators. Two such operators are defined: The sum ( ’+’ ) which corresponds to simple conjunction and component-sum (’⊕’) which assume that the operands...

In this papel; a formal framework is first proposed for conformance testing of communication systems, which are modeled by labeled transition systems (LTSs), in a systematic andoperational approach. In thisframework, test cases are limited to deterministic processes with finite behavior and state labels: testing is afinite set of experiments where every test case is parallelly composed with an ...

The fast growth in complexity of embedded and software enabled systems requires for automated testing strategies to achieve a high system quality. This raise of complexity is often caused by the distribution of functionality over multiple control units and their connection via a network. We define an extended symbolic transition system (ESTS) and their compositional semantics to reflect these n...

Process mining emerged in the field of business process management (BPM) as an innovative technique to exploit the large amount of data recorded by information systems in the form of event logs. It allows to discover not only relations and structure in data but also control flow, and produces a process model, which can then be visualised as a process map. In addition to discovery, process minin...

this study empirically examines whether managers manipulate reported income through the timing of sales of long-lived assets and investments. several empirical implications of the income-smoothing and debt-equity hypothesis in the context of asset sales were tested. the findings are consistent with the timing of asset sales by managers so that the recognized accounting income from these sales s...