Combining UML and B for the specification and validation of RBAC policies in business process activities.
Salim ChehidaAkram IdaniYves LedruMustapha Kamel RahmouniPublished in: RCIS (2016)
Keyphrases
- business process
- business processes
- process execution
- role based access control
- business rules
- business process modeling
- workflow model
- specification language
- formal methods
- access control
- process model
- access control policies
- web services
- ws bpel
- formal specification
- requirements engineering
- process mining
- business process models
- workflow technology
- database design
- workflow management systems
- modeling language
- case study
- metamodel
- sequence diagrams
- user interface
- rbac model
- model driven architecture
- platform independent
- bpel ws
- information systems
- uml diagrams
- software development
- business process management
- multi domain
- life cycle
- conceptual models
- virtual organization
- conflict resolution