A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes.
Simone MarchesiniLuca ViganòPublished in: CRiSIS (2011)
Keyphrases
- business processes
- formal analysis
- business process
- ban logic
- competitive advantage
- business partners
- business rules
- web services
- workflow systems
- process model
- knowledge base
- business process management
- business environment
- knowledge based systems
- knowledge representation
- workflow management
- artificial intelligence
- business goals
- business process models
- knowledge acquisition
- inter organizational
- workflow management systems
- access control
- expert systems
- business activities
- business analysts
- data model
- enterprise wide
- formal methods
- business objectives
- design patterns