Essays about: "Conformance Checking"
Showing result 1 - 5 of 7 essays containing the words Conformance Checking.
-
1. Method and Tooling for Automated Conformance Checking between Architecture - design and Implementation
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : Many software and/or automotive companies use UML models to write the requirements and later they are implemented by coding. Involving multiple engineers from different teams makes the whole process complex and cumbersome. READ MORE
-
2. IMPERATIVE MODELS TO DECLARATIVE CONSTRAINTS : Generating Control-Flow Constraints from Business Process Models
University essay from Umeå universitet/Institutionen för datavetenskapAbstract : In complex information systems, it is often crucial to evaluate whether a sequence of activities obtained from a system log complies with behavioural rules. This process of evaluation is called conformance checking, and the most classical approach to specifying the behavioural rules is in the form of flow chartlike process diagrams, e.g. READ MORE
-
3. Detection of performance anomalies through Process Mining
University essay from Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)Abstract : Anomaly detection in computer systems operating within complex environments,such as cyber-physical systems (CPS), has become increasingly popularduring these last years due to useful insights this process can provide aboutcomputer systems’ health conditions against known reference nominal states.As performance anomalies lead degraded service delivery, and, eventually,system-wide failures, promptly detecting such anomalies may trigger timelyrecovery responses. READ MORE
-
4. Run-time Anomaly Detection with Process Mining: Methodology and Railway System Compliance Case-Study
University essay from Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)Abstract : Detecting anomalies in computer-based systems, including Cyber-Physical Systems (CPS), has attracted a large interest recently. Behavioral anomalies represent deviations from what is regarded as the nominal expected behavior of the system. Both Process science and Data science can yield satisfactory results in detecting behavioral anomalies. READ MORE
-
5. A Front-end to LBTest for Conformance Testing of Embedded Systems
University essay from KTH/Skolan för informations- och kommunikationsteknik (ICT)Abstract : This report presents the work creating and evaluating a front-end for conformance testing with the LBTest software and the viability of a tool of this kind. LBTest is a tool designed for learning-based testing of embedded systems using model checking. READ MORE