RDF Model Checking: A Technique to Verify Behavioral Properties in Semantically Annotated Business Processes.
María José IbáñezPedro ÁlvarezJoaquin EzpeletaPublished in: ICSC (2009)
Keyphrases
- business processes
- model checking
- temporal properties
- semantically annotated
- verification method
- semantic web
- business process
- temporal logic
- metadata
- semantic annotation
- model checker
- process model
- formal verification
- formal specification
- web services
- workflow management systems
- semantic web technologies
- business process management
- formal methods
- computation tree logic
- business rules
- bounded model checking
- epistemic logic
- business partners
- knowledge representation
- workflow systems
- data sources
- semi automatic
- domain knowledge
- data model
- case study
- decision making
- machine learning
- database