Towards rule interchange and rule verification [Elektronische Ressource] / Sergey Lukichev

Towards Rule Interchange and RuleVerificationVon der Fakult¨at fu¨r Mathematik, Naturwissenschaften und Informatikder Brandenburgischen Technischen Universit¨at Cottbuszur Erlangung des akademischen GradesDoktor der Ingenieurwissenschaften (Dr.-Ing.)genehmigte Dissertationvorgelegt vonMagister der Mathematik in der Fachrichtung AngewandteMathematik und InformatikSergey LukichevGeboren am 15. Februar 1979 in Temirtau (Kazachstan)Gutachter: Prof. Gerd WagnerGutachter: Prof. Pascal HitzlerGutachter: Prof. Grzegorz NalepaTag der mundlic¨ hen Prufung:¨ 11. Februar 2010AbstractRules are a critical technology component for the early adoption and applications ofknowledge-based techniques in e-business, especially enterprize integration and B2B e-commerce. Theyalsoplayanimportantroleininformationsystemsengineering,especiallyin the specification of functional requirements where business rules are the foundation forcapturing and modeling business application logic.Whenusingrules, companiesmayencounterobstacleswithtwoissues: Theproblemofrule interoperability, which is caused by a variety of rule languages and rule systems, andthe problem of rule quality as a consequence of a large amount of business rules createdand used in an organization.A particular solution to the rule interoperability problem is a standardized way of per-forming rule interchange between different rule languages and tools.