Rules for Business
Generic Verification using Diagrams and Log-files.
Policy Specification, Evaluation, and Visualization on the Cloud.
Diagrammatic, Sequencing, and Temporal Queries.
Specify, visualize, and validate business rules
Financial Rule Examples: “Notify when Employee makes more than 5 purchases of $100 or more per month on his corporate card”,
“Notify when average b-weekly credit card expense is more than $500”
Warehousing Rule Example: “Notify when ‘Part 1752’ is ordered fewer than 3 times within 8 weeks of contract start”
Travel-agent Rule Example: “Notify when bookings for the Valley River cruise are up by 20% or more from the previous week”
Security Rule Example: “Notify when two credit score application were submitted for the same SSN in a single week and within 6 months of that person loosing his or her credit card“
Signup to learn more