Computer software, namely, modules that author, manage and/or verify application decision logic that involves business rules and allows users to encode business rules