Using Propositional Logic for Requirements Verification of Service Workflow.
Li Da XuWattana ViriyasitavatPuripant RuchikachornAndrew P. MartinPublished in: IEEE Trans. Ind. Informatics (2012)
Keyphrases
- propositional logic
- belief revision
- web services
- first order logic
- workflow systems
- possibilistic logic
- quantified boolean formulae
- lattice theory
- service oriented
- business processes
- proof procedure
- horn logic
- workflow engine
- davis putnam
- propositional satisfiability
- prime implicates
- inference rules
- model checking
- satisfiability testing
- business process
- workflow management systems
- propositional formulas
- belief change
- service composition
- petri net