Search for dissertations about: "ECA rules"

Found 2 swedish dissertations containing the words ECA rules.

  2. 1. Enabling Tool Support for Formal Analysis of ECA Rules

    Author : AnnMarie Ericsson; Sten F. Andler; José Júlio Alferes; Linköpings universitet; []
    Keywords : ECA rules; Timed automata; Formal veri¯cation; TECHNOLOGY; TEKNIKVETENSKAP; Teknik;

    Abstract : Rule-based systems implemented as event-condition-action (ECA) rules utilize a powerful and flexible paradigm when it comes to specifying systems that need to react to complex situation in their environment. Rules can be specified to react to combinations of events occurring at any time in any order. READ MORE

  4. 2. Active Capability Support for Cooperation Strategies in Cooperative Information Systems

    Author : Mikael Berndtsson; Brian Lings; Sharma Chakravarthy; Högskolan i Skövde; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : One important feature for the current and next generation of information systemsis the ability to be able tocooperate. Information systems that are able to cooperateare referred to as cooperative information systems. READ MORE