An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints.
Alessandro ArmandoEnrico GiunchigliaMarco MarateaSerena Elisa PontaPublished in: J. Comput. Syst. Sci. (2012)
Keyphrases
- business processes
- automatic analysis
- formal specification
- business process
- business rules
- model checking
- specification language
- web services
- process model
- business environment
- inter organizational
- formal methods
- business process models
- software components
- reverse engineering
- concurrent systems
- workflow management systems
- workflow processes
- workflow systems
- workflow management
- database
- business process management
- business process modeling
- access control
- business objectives
- conflict resolution
- database systems
- multi agent systems
- relational databases
- security policies
- service oriented architecture
- temporal logic
- business partners
- petri net
- fine grained