Sökning: "statecharts"

Hittade 5 avhandlingar innehållade ordet statecharts.

  1. 1. Steps Towards Creating Socially Competent Game Characters

    Författare :Jenny Brusk; Torbjörn Lager; Högskolan i Skövde; []
    Nyckelord :HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; dialogue systems; non-playable characters; computer games; SCXML; statecharts; socially oriented dialogues; Humaniora-samhällsvetenskap; Humanities and Social sciences; Media; Technology and Culture MTEC ; Media; Technology and Culture MTEC ; dialogue systems; computer games; non-playable characters; statecharts; scxml;

    Sammanfattning : This thesis investigates and presents approaches towards creating more socially competent NPCs by means of natural language dialogues. The aim is to provide hands-on solutions for game developers who want to offer interactions with the NPCs in the game that are socially driven rather than functionally motivated and that encourage the player to build and maintain relationships between the character they control and the other game characters. LÄS MER

  3. 2. Modelling object-oriented dynamic systems using a logic-based framework

    Författare :Choong-ho Yi; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap; Information Systems;

    Sammanfattning : We observe that object-oriented (OO) formalisms and specification languages are popular and obviously useful, and, in particular, that they are increasingly used even for systems that change over time. At the same time, however, the system specification is not precise enough in these approaches. LÄS MER

  4. 3. Integrating the Z notation and behavioural formalisms

    Författare :Kenji Taguchi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Informatics; computer and systems science; Integrated Formal Methods; CCS; Z; Informatik; data- och systemvetenskap; Informatics; computer and systems science; Informatik; data- och systemvetenskap; datorteknik; Computer Systems;

    Sammanfattning : The last several years have witnessed an increasing interest in integrating different formalisms in the formal methods research community. Particularly a number of notations have been proposed by different authors which integrate existing state-based formalisms such as Z, VDM and B and behavioural formalisms such as CCS, CSP and Statecharts. LÄS MER

  5. 4. Exception Handling in Recipe-Based Batch Control

    Författare :Rasmus Olsson; Institutionen för reglerteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; S88; grafchart; exception handling; recipe; batch;

    Sammanfattning : The focus of this thesis is exception handling in recipe-based batch control. Exception handling is a critical element for achieving long-term success in batch production. It is reported to constitute 40-60 percent of the batch control design and implementation effort. LÄS MER

  7. 5. The effects of modeling requirements in early phases of buyer-supplier relations

    Författare :Göran Backlund; Linköpings universitet; []
    Nyckelord :;

    Sammanfattning : This work is an attempt to attack waste of resources during development of embedded systems. Modern systems, in aircraft or automobiles, constantly grow in complexity and also become more integrated. LÄS MER