Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach.
Alessandro ArmandoEnrico GiunchigliaSerena Elisa PontaPublished in: TrustBus (2009)
Keyphrases
- business processes
- automatic analysis
- formal specification
- business process
- business rules
- model checking
- specification language
- workflow processes
- access control
- web services
- reverse engineering
- business process models
- workflow management systems
- workflow management
- workflow systems
- formal methods
- process model
- business environment
- business process management
- business partners
- concurrent systems
- business objectives
- fine grained
- model checker
- workflow model
- inter organizational
- conflict resolution
- software components
- design methodologies
- information systems