Design-time Compliance Verification Manager - BPCM Framework - Demo #3

Design-time Compliance Verification Manager Tool (Demo #3):
The DCVM is one of the web-based components of the Business Process Compliance Management Tool Suite. It supports the static verification of business process specifications (specified in BPEL) against formal compliance rules (specified in LTL-linear temporal logic).
For more information please visit http://eriss.uvt.nl/compas or contact via bpcm.framework@gmail.com.
For other demo videos:
1. Compliance Requirements Manager Tool (Demo #1):
http://www.youtube.com/watch?v=Kn_mBNY8r2o
2. Compliance Rule Modeler - BPCM Framework - Demo #2: http://www.youtube.com/watch?v=3lRKW6y504E


Ack: Thanks for 'Elenah' for the video music "Cositas de la vida" (originally appears in Café del Mar, Vol13).

Category:

Science & Technology

Tags:

• compliance
• regulations
• laws
• business process
• business process management
• governance
• risk
• control
• internal control
• pattern
• expression
• rule modeller
• design-time
• process verification
• process audit
• automated verification
• formal verification
• formal rules
• linear temporal logic