ECAPNVer: A Software Tool to Verify Active Rule Bases

Active rules are a powerful mechanism to represent reactive behavior. Constructing an active rule base is not an easy work since errors may be (unnoticed) introduced during rule development. In this paper we describe ECAPNVer, a software tool that supports active systems development by automatically verifying an active rule base based on an extension of Petri nets CCPN. ECAPNVer can detected and correct structural errors as well as potential errors such as redundancy and partial redundancy, inconsistency and partial inconsistency, incompleteness and circularity. In this paper, an example of inconsistency analysis is used to demonstrate ECAPNVer tool functionality.