Bimloq

Business Models Optimization for Quality (BIMLOQ)

MNiSW Research Grant no. N516 422338 Project Leader: prof. dr hab. inż. Antoni Ligęza Project Coordinator: dr hab. inż. Grzegorz J. Nalepa Timeline: 2010-05→2012-12 Duration: 32 months

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.

News

14.04.2011 The BIMLOQ Project Overview presentation during the Explicite Seminar (more on the Explicite website) presentation.pdf

Publications

<BIBTEX: file=bimloq>

Tools

0.1 BPMN to XTT Translator

0.2 Oryx-HQEd

0.3 Loki

0.4 HeaRT in Wiki

0.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

LNCS/LNAI 6359/2010 Paper: Pellet-HeaRT – Proposal of an Architecture for Ontology Systems with Rules (2010)

TCCI II, LNCS/LNAI 6450/2010 Paper: Integration Proposal for Description Logic and Attributive Logic – Towards Semantic Web Rules (2010)

0.6 SEWiki

Cases

tag>project completed_project

Go back to → projects