Bedrijfsregels voor conforme en flexibele bedrijfsprocessen.

Bedrijfsprocessen moeten enerzijds conform zijn met het bedrijfsbeleid en allerhande regelgeving en anderzijds ook flexibel genoeg zijn om het hoofd te bieden aan steeds wijzigende marktomstandigheden. Beide doelstellingen kan men realiseren door het bedrijfsbeleid en de regelgeving te expliciteren in termen van zogenaamde bedrijfsregels. Bedrijfsregels zijn uitgedrukt in een gemeenschappelijke taal: begrijpbaar aan de business-zijde en automatisch inzetbaar in de informatiesystemen aan IT-zijde. Op die manier verzekeren bedrijfsregels een betere afstemming tussen business en IT.Knowledge; Data; Business;

Формальная спецификация свойств баз нечетких знаний Мамдани на основе метаграфа

У роботі розглянуто подання бази нечітких знань Мамдані у вигляді метаграфа. Проведено аналіз властивостей бази нечітких знань для підвищення достовірності нечіткого логічного виведення. Сформульовано визначення властивостей бази нечітких знань Мамдані: ненадлишковості, лінгвістичної несуперечливості, відсутності зациклювання та лінгвістичної повноти бази нечітких знань Мамдані. Визначено вимоги до структури метаграфа, який подає базу нечітких знань Мамдані, для випадків, коли база нечітких знань є ненадлишковою, лінгвістично несуперечливою, не містить зациклювання та є лінгвістично повною. Запропоновано проводити статичну верифікацію баз нечітких знань на основі структури метаграфа, а також його графічного подання.The paper describes Mamdani fuzzy knowledge base representation in the form of a metagraph. The fuzzy knowledge base properties which have an influence on confidence of fuzzy inference are analyzed. The definitions of non-redundant, linguistic non-contradicted, without circularity and linguistic complete Mamdani fuzzy knowledge base are given. The metagraph structure requirements corresponding to non-redundant, linguistic non-contradicted and linguistic complete Mamdani fuzzy knowledge base are defined. Mamdani fuzzy knowledge base properties static verification based on metagraph structure analysis is proposed.В работе рассмотрено представление базы нечетких знаний Мамдани в виде метаграфа. Проведен анализ свойств базы нечетких знаний для повышения достоверности нечеткого логического вывода. Сформулированы определения свойств базы нечетких знаний Мамдани: неизбыточности, лингвистической непротиворечивости, отсутствия зацикливания и лингвистической полноты, базы нечетких знаний Мамдани. Определены требования к структуре метаграфа, соответствующего базе нечетких знаний Мамдани, для случаев, когда база нечетких знаний является неизбыточной, лингвистически непротиворечивой, не содержит зацикливания и является лингвистически полной. Предложено проводить статическую верификацию баз нечетких знаний на основе структуры метаграфа, а также его графического представления

Misconfiguration in Firewalls and Network Access Controls: Literature Review

Firewalls and network access controls play important roles in security control and protection. Those firewalls may create an incorrect sense or state of protection if they are improperly configured. One of the major configuration problems in firewalls is related to misconfiguration in the access control roles added to the firewall that will control network traffic. In this paper, we evaluated recent research trends and open challenges related to firewalls and access controls in general and misconfiguration problems in particular. With the recent advances in next-generation (NG) firewalls, firewall roles can be auto-generated based on networks and threats. Nonetheless, and due to the large number of roles in any medium to large networks, roles’ misconfiguration may occur for several reasons and will impact the performance of the firewall and overall network and protection efficiency

Efficient rule base verification using binary decision diagrams

As their field of application has evolved and matured, the importance of verifying knowledge-based systems is now widely recognized. Nevertheless, some problems have remained. In this paper, we address the poor scalability to larger systems of the computation methods commonly applied to rule-chain anomaly checking. To tackle this problem, we introduce a novel anomaly checking method based on binary decision diagrams (BDDs), a technique emanating mainly from the hardware design community. In addition, we present empirical evidence of its computational efficiency, especially on rule bases with a deeper inference space

Efficient rule base verification using binary decision diagrams

As their field of application has evolved and matured, the importance of verifying knowledge-based systems is now widely recognized. Nevertheless, some problems have remained. In this paper, we address the poor scalability to larger systems of the computation methods commonly applied to rule-chain anomaly checking. To tackle this problem, we introduce a novel anomaly checking method based on binary decision diagrams (BDDs), a technique emanating mainly from the hardware design community. In addition, we present empirical evidence of its computational efficiency, especially on rule bases with a deeper inference space

Tool Support for Finding and Preventing Faults in Rule Bases

This thesis analyzes challenges for the correct creation of rule bases. Based on experiences and data from three rule base development projects, dedicated experiments and a survey of developers, ten main problem areas are identified. Four approaches in the area of Testing, Debugging, Anomaly Detection and Visualization are proposed and evaluated as remedies for these problem areas