~~NOCACHE~~
====== Bimloq ======

//**B**us**i**ness **M**ode**l**s **O**ptimization for **Q**uality// (**BIMLOQ**)

<WRAP center round info 60%>
  * MNiSW Research Grant no. N516 422338 {{  :pub:projects:bimloq:bimloq-logo-transparent.png?w215|}}
  * **Project Leader:** [[pub:about_us:ali|prof. dr hab. inż. Antoni Ligęza]] 
  * **Project Coordinator:** [[pub:about_us:gjn|dr hab. inż. Grzegorz J. Nalepa]] 
  * **Timeline:**  2010-05->2012-12
  * **Duration:**  32 months
</WRAP>

===== Motivation =====

The main aim of Business Models Optimization for Quality (BIMLOQ) is to build a declarative model for business processes, including business rules specification, with an emphasis on analysis and optimization of those processes.  

  * **Semantic:** lack of a common ontology, lack of unified semantics, difficult unambiguous logical representation.
  * **Functional:** aims and tasks in the business logic layer cannot be mapped to logical quality assessment methods.
  * **Technical:** technologies used in the visual design layer are incompatible with the declarative logical representation.

===== Intended results =====
  * **Conceptual:** declarative model for logical business process representation and analysis.
  * **Practical:**
    * new tools for analysis and optimisation of specification quality,
    * integration of visual BPMN tools and logical knowledge processing.
  * **Evaluative:** modeling and analysis of real-life application use cases.

** Expected benefits: ** 

  * Real-time quality assessment during development.
  * Maintainability assurance.
  * Formal analysis of business software quality.
  * High adaptability in dynamic environments.

===== Project Presentation=====

  * //The BIMLOQ Project Overview// presentation during the Explicite Seminar 14.04.2011 ([[http://cslab.ia.agh.edu.pl/explicite:explicite20110414:start|more on the Explicite website]]) {{:pub:projects:bimloq:presentation.pdf|}}

===== Publications =====

<BIBTEX: file=bimloq>

===== Tools =====
==== - BPMN to XTT Translator ====
<WRAP column 20%>
{{:pub:projects:bimloq:bpmn2xtt.png|}}
</WRAP>
<WRAP column 50%>
=== Description ===
The tool provides a translation of the Business Process models to a custom Business Rule representation XTT.
The goal was to consider a consistent approach to modeling and executing BPMN (Business Process Modeling Notation) processes using the XTT2 (Extended Tabular Trees version 2) rules. 
The benefit of this solution is that it takes advantage of visual rule modeling and does not require to use a dedicated tool for Business Process modeling. 
Using this approach it is possible to execute selected BPMN models using the HeaRT (HeKatE Run-Time) rule engine.

=== Papers ===
  * Maślanka, T., Ligęza, A., Kluza, K., & Nalepa, G. J. (2011). [[#maslanka2011csltr|Proposal of the translation of BPMN model to the XTT2 knowledge representation]]  (No. CSLTR 1/2011). AGH University of Science and Technology.
</WRAP>

<WRAP column 20%>
<WRAP center round download>
=== Download ===
{{:pub:projects:bimloq:bpmn2xtt-translator.tar.gz|}}
</WRAP>
</WRAP>

<WRAP clear></WRAP>



==== - Oryx-HQEd ====
<WRAP column 20%>
{{:pub:projects:bimloq:oryx-hqed.jpg|}}
</WRAP>
<WRAP column 50%>

=== Description ===
Oryx-HQEd is a framework based on the Oryx BPMN editor integrated with HQEd rule-base editor.
The goal of the integration of the BPMN editor with the XTT2 rule framework is to provide an environment for visual modeling processes with formally described business rules.
=== Papers ===
  * Kluza, K., Kaczor, K., & Nalepa, G. J. (2012). [[#kluza2012icaisc|Enriching Business Processes with Rules using the Oryx BPMN Editor]]. Paper presented at the Artificial Intelligence and Soft Computing: 11th International Conference, ICAISC 2012: Zakopane, Poland, April 29–May 3, 2012.
</WRAP>

<WRAP column 20%>
<WRAP center round download>
=== Download ===
  * [[http://xp-dev.com/svn/oryx-hqed/trunk/|sources]]
</WRAP>

</WRAP>
<WRAP clear></WRAP>




==== - Loki ====
<WRAP column 20%>
{{:pub:projects:bimloq:loki-book-annotated.png|}}
</WRAP>
<WRAP column 50%>

=== Description ===
**[[http://loki.ia.agh.edu.pl|Loki]]** is a semantic wiki that uses strong logic-based knowledge representation. It implements semantic annotation mechanism as well as enable intelligent aggregation and querying. It serves as a flexible platform for collaborative knowledge engineering.

=== Papers ===
  * Nalepa, G. J. (2010). [[#gjn2010jucs|Collective Knowledge Engineering with Semantic Wikis]]. Journal of Universal Computer Science, 16(7), 1006.
  * Nalepa, G. J. (2011). [[#gjn2011tcci|Loki – Semantic Wiki with Logical Knowledge Representation]]. In N. T. Nguyen (Ed.), (Vol. 6560, pp. 96-114). Springer.
</WRAP>

<WRAP column 20%>
<WRAP center round download>
=== Download ===
  * [[http://loki.ia.agh.edu.pl/download.php|www]]
  * [[http://loki.ia.agh.edu.pl/download/loki.zip|loki.zip]]
</WRAP>

</WRAP>
<WRAP clear></WRAP>

==== - HeaRT in Wiki ====
<WRAP column 20%>
{{:pub:projects:bimloq:movies-wiki.png|}}
</WRAP>
<WRAP column 50%>
=== Description ===
This tool integrates a semantic wiki Loki with a rule engine HeaRT.
Annotations embedded within the wiki markup are automatically interpreted by the HeaRT engine so that appropriate rules can be fired and reasoning performed. 
The results of the reasoning are presented in real-time on a wiki page.
=== Papers ===
  * Nalepa, G. J., & Bobek, S. (2011). [[#gjn2011wikiheart|Embedding the HeaRT Rule Engine into a Semantic Wiki]]. In R. Katarzyniak, T. Chiu & C. Hong & N. Nguyen (Eds.), (Vol. 381, pp. 265-275). Springer Berlin / Heidelberg.

</WRAP>
<WRAP column 20%>
<WRAP center round download>
=== Download ===
</WRAP>

</WRAP>
<WRAP clear></WRAP>



==== - Pellet-HeaRT ====  
<WRAP column 20%>
{{:pub:projects:bimloq:daal-runtime.png|}}
</WRAP>
<WRAP column 50%>
=== Description ===
**[[http://geist.agh.edu.pl/pub:software:pelletheart|PelletHeaRT]]** is a prototype of a hybrid rule reasoner for ontologies.
It assumes an integration of classic forward chaining rule reasoning implemented by HeaRT with the Pellet resoner.
The project and implementation is based on a proposal of integrating //Attribute Logic with Set Values over Finite Domains (ALSV(FD))// and //Description Logics (DL)//.
 
=== Papers ===
  * Nalepa, G. J., & Furmańska, W. T. (2010). [[#gjn2010ki|Pellet-HeaRT – proposal of an architecture for ontology systems with rules]]. Paper presented at the KI 2010: Advances in Artificial Intelligence: 33rd annual German conference on AI: Karlsruhe, Germany, September 21-24, 2010, Berlin; Heidelberg.

</WRAP>
<WRAP column 20%>
<WRAP center round download>
=== Download ===
{{:pub:projects:bimloq:pellet-heart.tar.gz|}}
</WRAP>

</WRAP>
<WRAP clear></WRAP>



==== - SEWiki ====
<WRAP column 20%>
{{:pub:projects:bimloq:ciaputa-sewiki.png|}}
</WRAP>
<WRAP column 50%>
=== Description ===
SEWiki is an implementation of a wiki environment supporting collaborative BPMN modeling and evaluation.
It is based on a Dokuwiki installation with a ''simplebpmn'' plugin that interprets a simplified syntax for BPMN models.
=== Website ===
  * [[http://urszula.ciaputa.com/sewiki/]]
</WRAP>
<WRAP column 20%>
<WRAP center round download>
=== Download ===

[[http://urszula.ciaputa.com/sewiki/_media/simplebpmn-2012-09-06.zip?DokuWiki=8s5ske3tjl84b1rq6lp0j3esv7|simplebpmn.zip]]
</WRAP>

</WRAP>
<WRAP clear></WRAP>

===== Cases =====

| Student Project Evaluation \\ [[.cases_bimloq:bimloq_case_studentproject:start|{{:pub:projects:bimloq:cases_bimloq:bimloq_case_studentproject:studentproject.png?400}}]] | Credit Card \\ [[.cases_bimloq:bimloq_case_creditcard:start|{{:pub:projects:bimloq:cases_bimloq:bimloq_case_creditcard:creditcard.png?400}}]] | Order fulfillment \\ [[.cases_bimloq:bimloq_case_orderfulfillment:start|{{:pub:projects:bimloq:cases_bimloq:bimloq_case_orderfulfillment:orderfulfillment.png?400}}]] |
| Cashpoint \\ [[.cases_bimloq:bimloq_case_cashpoint:start|{{:pub:projects:bimloq:cases_bimloq:bimloq_case_cashpoint:cashpoint.png?400}}]] | Hiring a new employee \\ [[.cases_bimloq:bimloq_case_hiringemployee:start|{{:pub:projects:bimloq:cases_bimloq:bimloq_case_hiringemployee:hiringemployee.png?400}}]] | Polish Liability Insurance \\ [[.cases_bimloq:bimloq_case_plli:start|{{:pub:projects:bimloq:cases_bimloq:bimloq_case_plli:plli.png?400}}]] |

----

{{tag>project completed_project}}

Go back to -> [[start|projects]]