GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:projects:bimloq:start

Bimloq

Business Models Optimization for Quality (BIMLOQ)

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

Publications

[2012, ali2012aikm | pdf] (BIB)
Ligęza, A., Kluza, K., Nalepa, G. J., Adrian, W. T., & Potempa, T. (2012). Artificial Intelligence for Knowledge Management with BPMN and Rules. Paper presented at the AI4KM 2012 : 1st international workshop on Artificial Intelligence for Knowledge Management at the biennial European Conference on Artificial Intelligence (ECAI 2012): August 28, 2012, Montpellier, France.
[2012, kluza2012kese | pdf | url] (BIB)
Kluza, K., & Kaczor, K. (2012). Overview of BPMN model equivalences: towards normalization of BPMN diagrams. Paper presented at the 8th Workshop on Knowledge Engineering and Software Engineering (KESE2012) at the at the biennial European Conference on Artificial Intelligence (ECAI 2012): August 28, 2012, Montpellier, France.
[2012, kluza2012bpmnmetrics | pdf | url] (BIB)
Kluza, K., & Nalepa, G. J. (2012). Proposal of Square Metrics for Measuring Business Process Model Complexity. Paper presented at the Proceedings of the Federated Conference on Computer Science and Information Systems – FedCSIS 2012, Wroclaw, Poland, 9-12 September 2012.
[2012, ali2012abict | pdf | url] (BIB)
Ligęza, A., Kluza, K., & Potempa, T. (2012). AI approach to formal analysis of BPMN models. Towards a logical model for BPMN diagrams. Paper presented at the Proceedings of the Federated Conference on Computer Science and Information Systems – FedCSIS 2012, Wroclaw, Poland, 9-12 September 2012.
[2012, kluza2012icaisc | pdf | url] (BIB)
Kluza, K., Kaczor, K., & Nalepa, G. J. (2012). 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.
[2012, gjn2011ijseke | url] (BIB)
Nalepa, G. J., & Kluza, K. (2012). UML Representation for Rule-Based Application Models with XTT2-based Business Rules. International Journal of Software Engineering and Knowledge Engineering (IJSEKE), 22(4), 485-524.
[2011, ali2011kam] (BIB)
Ligęza, A. (2011). A note on a logical model of an inference process : from ARD and RBS to BPMN. In M. L. O. Małgorzata Nycz (Ed.), (232 ed.pp. 41-49). Wrocław : Publishing House of Wrocław University of Economics.
[2011, ali2011par] (BIB)
Ligęza, A. (2011). A note on analysis of BPMN diagrams. {PAR} Pomiary Automatyka Robotyka, 15(12), 210-212.
[2011, gjn2011wikiheart | pdf | url] (BIB)
Nalepa, G. J., & Bobek, S. (2011). 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.
[2011, ali2011automatyka | pdf | url] (BIB)
Ligęza, A., Maślanka, T., Kluza, K., & Nalepa, G. J. (2011). Modeling BPMN diagrams within XTT2 framework: a critical analysis. Automatyka: półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie, 15(2), 299.
[2011, ali2011dmms] (BIB)
Ligęza, A. (2011). BPMN – a logical model and property analysis. Decision Making in Manufacturing and Services, 5(1-2), 57-67.
[2011, kluza2011kese | pdf | url] (BIB)
Kluza, K., Nalepa, G. J., Szpyrka, M., & Ligęza, A. (2011). Proposal of a Hierarchical Approach to Formal Verification of BPMN Models Using Alvis and XTT2 Methods. Paper presented at the 7th Workshop on Knowledge Engineering and Software Engineering (KESE2011) at the Conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011): November 10, 2011, La Laguna (Tenerife), Spain.
[2011, kaczor2011iccci | pdf | url] (BIB)
Kaczor, K., Nalepa, G. J., Łysik, &., & Kluza, K. (2011). Visual Design of Drools Rule Bases Using the XTT2 Method. In R. Katarzyniak, T. Chiu & C. Hong & N. Nguyen (Eds.), (Vol. 381, pp. 57). Springer-Verlag.
[2011, szpyrka2011idc | pdf | url] (BIB)
Szpyrka, M., Nalepa, G. J., Ligęza, A., & Kluza, K. (2011). Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language. In F. M. T. Brazier, K. Nieuwenhuis & G. Pavlin & M. Warnier & C. Badica (Eds.), (Vol. 382, pp. 249). Springer-Verlag.
[2011, kluza2011idc | pdf | url] (BIB)
Kluza, K., Maślanka, T., Nalepa, G. J., & Ligęza, A. (2011). Proposal of Representing BPMN Diagrams with XTT2-based Business Rules. In F. M. T. Brazier, K. Nieuwenhuis & G. Pavlin & M. Warnier & C. Badica (Eds.), (Vol. 382, pp. 243). Springer-Verlag.
[2011, gjn2011nova] (BIB)
Nalepa, G. J., Kluza, K., & Ernst, S. (2011). Modeling and Analysis of Business Processes with Business Rules. In J. A. Beckmann (Ed.), (pp. 135). Nova Science Publishers.
[2011, gjn2011ruleml-halva | pdf | url] (BIB)
Nalepa, G., Bobek, S., Ligęza, A., & Kaczor, K. (2011). HalVA – Rule Analysis Framework for XTT2 Rules. Paper presented at the Rule-Based Reasoning, Programming, and Applications.
[2011, ali2011widm] (BIB)
Ligęza, A., & Nalepa, G. J. (2011). A study of methodological issues in design and development of rule-based systems: proposal of a new approach. Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery, 1(2), 117.
[2011, gjn2011tcci | pdf | url] (BIB)
Nalepa, G. J. (2011). Loki – Semantic Wiki with Logical Knowledge Representation. In N. T. Nguyen (Ed.), (Vol. 6560, pp. 96-114). Springer.
[2011, maslanka2011csltr | url] (BIB)
Maślanka, T., Ligęza, A., Kluza, K., & Nalepa, G. J. (2011). Proposal of the translation of BPMN model to the XTT2 knowledge representation (No. CSLTR 1/2011). AGH University of Science and Technology.
[2010, ali2010wnt] (BIB)
Ligęza, A., & Nalepa, G. J. (2010). Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego. (pp. 261-283). Warszawa: Wydawnictwa Naukowo-Techniczne.
[2010, ali2010kam] (BIB)
Ligęza, A., & Nalepa, G. J. (2010). Pozyskiwanie wiedzy i zarządzanie wiedzą. In M. O. L. Malgorzata Nycz (Ed.), (pp. 58-68). Wrocław: Wydawnictwo Uniwersytetu Ekonomicznego.
[2010, wta2010csltr | pdf | url] (BIB)
Adrian, W. T., Nalepa, G. J., Kaczor, K., & Noga, M. (2010). Overview of selected approaches to rule representation on the Semantic Web (No. CSLTR 2/2010). AGH University of Science and Technology.
[2010, gjn2010ki | pdf | url] (BIB)
Nalepa, G. J., & Furmańska, W. T. (2010). 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.
[2010, kkr-gjn-llk2010deris-xtt2drools | pdf | url] (BIB)
Kaczor, K., Nalepa, G. J., & Bobek, S. (2010). Rule Modularization and Inference Solutions – a Synthetic Overview. Paper presented at the Crossing Borders within ABC. Automation, Biomedical Engineering and Computer Science: 55 IWK Internationales Wissenschaftliches Kolloquium: International Scientific Colloquium, Illmenau, Germany.
[2010, gjn2010kese-vism | pdf | url] (BIB)
Kluza, K., Nalepa, G. J., & Łysik, &. (2010). Visual Inference Specification Methods for Modularized Rulebases. Overview and Integration Proposal. Paper presented at the Proceedings of the 6th Workshop on Knowledge Engineering and Software Engineering (KESE6) at the 33rd German Conference on Artificial Intelligence September 21, 2010, Karlsruhe, Germany, Karlsruhe, Germany.
[2010, gjn2010jucs | pdf | url] (BIB)
Nalepa, G. J. (2010). Collective Knowledge Engineering with Semantic Wikis. Journal of Universal Computer Science, 16(7), 1006.
[2010, bobek2010ict] (BIB)
Bobek, S., Kaczor, K., & Nalepa, G. J. (2010). Overview of Rule Inference Algorithms for Structured Rule Bases. Gdansk University of Technology Faculty of ETI Annals, 18(8), 57-62.
[2010, noga2010ict] (BIB)
Noga, M., Kaczor, K., & Nalepa, G. J. (2010). Lightweight reasoning methods in selected Semantic Wikis. Gdansk University of Technology Faculty of ETI Annals, 18(8), 103-108.
[2010, gjn2010tcci-daal | pdf | url] (BIB)
Nalepa, G. J., & Furmańska, W. T. (2010). Integration Proposal for Description Logic and Attributive Logic – Towards Semantic Web Rules. In N. T. Nguyen & R. Kowalczyk (Eds.), (Vol. 6450, pp. 1-23). Springer Berlin,Heidelberg.

Tools

1 BPMN to XTT Translator

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

2 Oryx-HQEd

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

Download

3 Loki

Description

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

Download

4 HeaRT in Wiki

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

Download

5 Pellet-HeaRT

Description

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

6 SEWiki

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

Download

simplebpmn.zip

Cases

Student Project Evaluation
Credit Card
Order fulfillment
Cashpoint
Hiring a new employee
Polish Liability Insurance

Go back to → projects

pub/projects/bimloq/start.txt · Last modified: 2013/03/26 12:33 by gjn