Sökning: "Conformance Checking"

Visar resultat 1 - 5 av 7 uppsatser innehållade orden Conformance Checking.

  1. 1. Method and Tooling for Automated Conformance Checking between Architecture - design and Implementation

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Vibha Satyam; [2023-10-25]
    Nyckelord :Architecture Model; UML diagram; implementation; coding; conformance checking; mapping schema; parsing tool;

    Sammanfattning : 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. LÄS MER

  3. 2. IMPERATIVE MODELS TO DECLARATIVE CONSTRAINTS : Generating Control-Flow Constraints from Business Process Models

    Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskap

    Författare :Arvid Bergman Thörn; [2023]
    Nyckelord :Business Process Management; Imperative modelling; Declarative constraints; Conformance checking; Process querying; Process Mining;

    Sammanfattning : 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. LÄS MER

  4. 3. Detection of performance anomalies through Process Mining

    Master-uppsats, Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)

    Författare :Carmine Marra; [2022]
    Nyckelord :Process mining; Conformance Checking; performance anomalies; ERTMS ETCS; Railway system; complex computer systems.;

    Sammanfattning : 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. LÄS MER

  5. 4. Run-time Anomaly Detection with Process Mining: Methodology and Railway System Compliance Case-Study

    Magister-uppsats, Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)

    Författare :Francesco Vitale; [2021]
    Nyckelord :Anomaly Detection; Autonomous Maintenance; Cyber-Physical Systems; Internet of Things; Data science; Process science; Process Mining; Conformance Checking; ERTMS ETCS;

    Sammanfattning : 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. LÄS MER

  7. 5. A Front-end to LBTest for Conformance Testing of Embedded Systems

    Uppsats för yrkesexamina på grundnivå, KTH/Skolan för informations- och kommunikationsteknik (ICT)

    Författare :Johan Gasslander; [2014]
    Nyckelord :;

    Sammanfattning : 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. LÄS MER