Sökning: "Declarative Modelling"
Hittade 3 uppsatser innehållade orden Declarative Modelling.
1. 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
2. Mixed-Initiative Tile-Based Designer : Examining Expressive Range And Controllability For 2D Tile-Based Levels
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : 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. LÄS MER
3. Declarative modelling of parameter setting
Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)Sammanfattning : 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 . LÄS MER