ConceptBase.cc

ConceptBase provides deductive and active rules as computational models. The engine for deductive rules can also be used for defining recursive functions (like Fibonacci numbers), and thus also for defining so-called hierarchical software metrics ... [More] (c.f. Norman E. Fenton, Shari Lawrence Pfleeger:Software Metrics – A Rigorous & Practical Approach. 2nd Edition, PWS Publishing, Boston, USA). An [...] [Less]

The active rule subsystem (ECA) has been further optimized. Events on system objects are now detected to support cascading delete operations (see earlier post). The CBiva user interface now points to an improved user manual (web version) and there is a direct link in the help menu to branch to the ConceptBase Forum, which contains [...]

We  are now using the hevea package to transform the ConceptBase User Manual to HTML. The previous package latex2html served well for years but is unsupported and virtually non-operational. The new HTML version is at http://conceptbase.sourceforge.net/userManual73/ Manfred Jeusfeld (1-Dec-2011)

ConceptBase has about 30 builtin axioms (as deductive rules and integrity constraints) defining proper attribution, instantiation, and specialization for the underlying Telos data model (created by Mylopoulos, Borgida, Koubarakis, Greenspan). On top ... [More] of these axioms, a user can define further integrity constraints and rules, that are all affecting how the user can create and delete [...] [Less]

There growing installed base of Mac OS computers leads to some requests on whether ConceptBase is also available for Mac OS. The answer is yes and no. Well, we do not supply binaries of ConceptBase for Mac OS but it should be rather easy to compile ConceptBase on Mac OS once you have all compilers [...]

The active rule component (ECArules) has been improved in three respects. First, the condition part (IF-part) is now subject to similar query optimization, including semantic query optimization. The optimization improves the performance of large ... [More] ECArule sets (many rules, large conditions) by orders of magnitude if the conditions are not in optimal order in the source [...] [Less]

This new ConceptBase release improves performance of query evaluation in presence of ECA rules, solves some minor bugs in the meta formula compiler, and slightly improves performance of function evaluation. More info is in the release notes. Download from http://sourceforge.net/projects/conceptbase/files/

A new ConceptBase release for both binaries and sources is now available from http://conceptbase.cc. The release fixes some bugs with meta formulas and certain recursive rules. The semantic optimizer now exploits functional dependencies in certain predicate call patterns.

Process-Data Diagrams (PDDs, developed by I. vd Weerd and S. Brinkkemper) are used in situated method engineering to combine the “data part” (typically meta models) of a method with the process part. If you formalize PDDs with ConceptBase, you can ... [More] extract the PDDs as Graphviz specifications ant let them be layed out automatically, e.g. These fragments [...] [Less]

The data model of ConceptBase is founded on the Telos knowledge representation language developed in the 1980-ties  by John Mylopoulos, Alex Borgida, Sol Greenspan, Manolis Koubarakis, and others. Telos puts specific emphasis on the temporal aspect ... [More] of knowledge, i.e. when a statement is true in some reality (valid time) and when the statement is part [...] [Less]