Sökning: "Linear Temporal Logic"
Visar resultat 1 - 5 av 20 uppsatser innehållade orden Linear Temporal Logic.
1. SeqLTL and ωLTL
Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : 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. LÄS MER
2. IMPERATIVE MODELS TO DECLARATIVE CONSTRAINTS : Generating Control-Flow Constraints from Business Process Models
Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskapSammanfattning : 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
3. Linear dynamic logic on finite traces in business process management : a compositional approach
Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskapSammanfattning : 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. LÄS MER
4. Verification of Formal Requirements through Tracing
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : 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. LÄS MER
5. High Level Motion Planning for a Robot
Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : 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. LÄS MER