Differences

This shows you the differences between two versions of the page.

--- pub:projects:samurai [2013/01/02 10:51] – kkr
+++ pub:projects:samurai [2013/01/10 12:57] – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
+~~NOTOC~~
 ====== SaMURaI ======
 //**S**emantic **M**ethod for **U**nified **R**ules **I**nteroperability in Knowledge-Based Systems// (**SaMURaI**)
-<WRAP center round box 60%>
+<WRAP center round info 60%>
+{{  :pub:projects:samurai-logo.png?direct&w180|}}
   * Preludium 2 NCN Grant no. UMO-2011/03/N/ST6/00886
-  * Start time: 05.09.2012
+  * **Project Leader:** [[pub:about_us:kkr|mgr inż. Krzysztof Kaczor]]
-  * Duration: 24 months
+  * **Scientific Supervisor:** [[pub:about_us:gjn|dr hab. inż. Grzegorz J. Nalepa]]
-  * Budget: 67 600 PLN
+  * **Start time:** 05.09.2012
+  * **Duration:** 24 months
 </WRAP>
+===== Motivation =====
-The main objective of this project is to propose a new knowledge interoperability formalism for rules.
+The main objective of this project is to propose a new knowledge interoperability formalism for business rules.
-Existing Rule-Based System shells (e.g. CLIPS , Jess , Drools , OpenRules) provide different rule  languages, which are merely a programming solution.
+The motivation for this project involves the fact that existing technologies and languages for rule interchange (e.g. RIF, RuleML, R2ML, KIF) suﬀer from their general nature and complexity.
+Hence, their practical support is very difficult.
+What is more, existing Rule-Based System shells (e.g. CLIPS, Jess, Drools, OpenRules) provide different rule  languages, which are merely only a programming solution.
 Even though the syntax of these languages is precisely defined, they rarely provide any underlying logical interpretation.
-The proposed solution would allow for formalization of the knowledge interchange for common rule languages (CLIPS, Jess, Drools, OpenRules) thanks to unified logical interpretation.
+This research aims at developing a unified business rule representation model which will play a key role in formulation of formalized methods for rule interoperability supported by tools.
-===== Description =====
-==== Motivation ====
-Apparently there are two main persistent problems with the existing approaches to integration of Business Processes (BP) with Business Rules (BR):
-  - Semantic mismatch problem -- a semantic mismatch between a general workflow (defined by Business Process) and a specific task logic (defined using Business Rules).
-  - Structure hierarchization problem -- lack of a hierarchical, standardized and coherent methodology for designing systems using Business Processes with Business Rules.
-The aim of the project is to address these problems by providing an efficient integration method and developing a hierarchical methodology for design and integration of these technologies. Such a design methodology fits into the MDE (Model-Driven Engineering) paradigm, which focuses on creating and exploiting domain models and simplifies the design process.
-==== Expected benefits ====
-Although Business Process and Business Rules technologies are an active field of research and development in the world, there is a lack of a coherent and standardized solution in the field of their integration.
-Our solution proposes the consistent methodology which will be effectively using the BPMN notation for modeling Business Processes with logic tasks defined using Business Rules based on SKE.
-==== Intended results ====
-  * **Conceptual:** A hierarchical design methodology combining BPMN Business Processes and SKE Business Rules developed in this project will be a promising application of the MDE paradigm that eliminates a semantic mismatch between BP and BR, and the structure hierarchization problem.
+===== Intended results =====
-  * **Practical**: The results of the project will conceptually contribute to the Business Process and Business Rules field of research. From the practical point of view the proposed methodology can be further extended and adapted for applications.
+The most important results of this research include development of the formalized methods for rule interoperability.
-  * **Evaluative**: To show the effectiveness of the method, a number of case study examples will be specified and modeled. These benchmark examples will provide the input cases for evaluation.
+In this project the following rule languages are considered: CLIPS, Jess, Drools, OpenRules.
+Nevertheless, the proposed approach can be later extended to others rule languages.
+From the practical point of view, the project outcome will constitute a semantically coherent knowledge interoperability method for rules, which brings the following advantages:
+  - Uniﬁed logical interpretation of the common rule languages.
+  - Unequivocal knowledge exchange between rule language formats.
+  - Improved rule base maintenance methods.
-{{tag>project }}
+{{tag>project current_project}}
 Go back to -> [[start|projects]]