Politie Kennis Net

LibRT has reviewed the medium to communicate policies, regulations and best practices to the police man and provided tips on how to improve quality aspects.

Meerval

The Landbouw Economisch Institute has developed a modelling environment for their experts. LibRT enhances this environment with verification & validation techniques.

Bezoek concept

The Port of Rotterdam deals with many rules from different sources. A business rules scan has investigated in what way the port of Rotterdam should handle these rules in an optimal way.

TOP

In this project the knowledge about traffic management implemented in legacy systems of the Dutch Ministry of Transportation is translated to explicit 'business rules' which can be understood by domain experts.

LOK

The LOK program is a consortium of universities developing educational material about artificial intelligence. LibRT's rulemanager and VALENS are used in this program.

E-Power

E-Power is a program funded by the IST program of the European Commission. The partners in this program are the Dutch Tax and Custom Administration (Belastingdienst), O&I Management Partners, Application Engineers, University of Amsterdam(UvA) and Mega. LibRT will use the VALENS verification technology to improve the quality of knowledge systems and knowledge sources.

Power

LibRT helps with the development of an environment for the Dutch Tax and Customs Administration that converts UML/OCL models into CleverPath™ Aion® Business Rules Expert applications or a Java application and ultimately any programming environment that is able to support an inference engine. Eventually this environment will support:

• analysis of a UML/OCL model (determine the input and output of (parts of ) a model);
• verification of a UML/OCL model (checking the model for inconsistencies);
• testing of a UML/OCL model (generating test cases to validate the model);
• impact analysis of changes to a UML/OCL model;
• execution of a UML/OCL model (generate code into a framework and provide the application with task information e.g. interfaces);
• deployment of a UML/OCL model (building the executable model into a DLL, COM-object or other middleware).

KBMS conversion

Conversion of KBMS knowledge bases to AionDS knowledge bases. LibRT supported the process of automated migration from legacy KBMS batch applications to AionDS (version 6.5) for a ministry in British Columbia (Canada).

The Virtual Company for learning organizations

LibRT helped the Open University with the development of a methodology to design a virtual company based on the CommonKADS methodology.

InnoWW and Aansluiting

LibRT helped ASZ (now acquired by Pink Roccade) to analyze, develop and integrate assessment components into a large innovative system that deals with the social security legislation through the entire country of the Netherlands.

Postbank

Comparison of the results of the testing phase with the results of verification by VALENS. Please read the customer story to find out more about this project.