Essays about: "linear temporal logic"

Showing result 1 - 5 of 20 essays containing the words linear temporal logic.

  1. 1. SeqLTL and ωLTL

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Oskar Grekula; [2023-10-19]
    Keywords : Linear Temporal Logic; Co-safety LTL; Tight Witness; Compositional;

    Abstract : Linear Temporal Logic (LTL) is worthwhile for its applications in, among others, model checking, runtime verification and reactive synthesis. However, many useful properties are not expressible in LTL, or not in a natural way. READ MORE

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

    University essay from Umeå universitet/Institutionen för datavetenskap

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

    Abstract : 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

  4. 3. Linear dynamic logic on finite traces in business process management : a compositional approach

    University essay from Umeå universitet/Institutionen för datavetenskap

    Author : Mathias Hedqvist; [2022]
    Keywords : linear dynamic logic on finite traces; ldlf; linear temporal logic on finite traces; ltlf; business process management; bpm;

    Abstract : One way of modeling workflows in business process management (BPM) is by using a declarative approach, that is, instead of imperatively specifying what needs to be done, and in what order, one can specify constraints on what is allowed. The result is a more flexible model as everything that does not violate the specified constraints is allowed. READ MORE

  5. 4. Verification of Formal Requirements through Tracing

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Jorrit Olthuis; [2020]
    Keywords : ;

    Abstract : Software development in the railway application is governed by strict standards which aim to ensure safety. It is for example highly recommended to use formal methods when specifying requirements. Moreover, it is mandatory to have certain roles be fulfilled by different people. A common technique is developing software tests for the requirements. READ MORE

  6. 5. High Level Motion Planning for a Robot

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Axel Kelsey Lundqvist; Fabian Tidner; [2019]
    Keywords : ;

    Abstract : Robots and automated systems are becoming an ever present part of modern life. The simplicity with which a technology can be used by people without a technological background is paramount to its adoption by the general public. READ MORE