Essays about: "Declarative Modelling"

Found 3 essays containing the words Declarative Modelling.

  1. 1. 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

  3. 2. Mixed-Initiative Tile-Based Designer : Examining Expressive Range And Controllability For 2D Tile-Based Levels

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

    Author : Rafael Dolfe; [2022]
    Keywords : Procedural Content Generation; Expressive Range; Controllability; Mixed- Initiative; Declarative Modelling; Level Design; Procedurell innehållsgenerering; Uttrycksomfång; Kontrollerbarhet; Blandinitiativ; Deklarativ Modellering; Nivådesign;

    Abstract : This paper investigates the effectiveness of expressive range and controllability for 2-dimensional tile-based procedural content generation. Procedural content generation (PCG) is the automation of content, often in games, and tile-based PCG is when the generated content is constrained to a grid structure. READ MORE

  4. 3. Declarative modelling of parameter setting

    University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

    Author : Didrik Nordström; [2015]
    Keywords : parameter; setting; declarative programming; lazy execution;

    Abstract : The parameter setting problem is part of a complex, automated process for customizing Scania's products; primarily trucks and buses. The problem is modelled as a stateless, acyclic graph of pure functions and variables. A subset of a deterministic, concurrent, demand-driven, declarative programming model is implemented under the Microsoft . READ MORE