Modeling and Validating Role-Based Authorization Policies for a Port Communication System with UML and OCL.
Christian MaederKarsten SohrRodrigue Wete NguempnangNils Meyer-LarsenRainer MüllerPublished in: J. Object Technol. (2020)
Keyphrases
- modeling language
- access control
- role based access control
- sequence diagrams
- metamodel
- unified modeling language
- access control policies
- uml diagrams
- uml class diagrams
- fine grained
- model driven
- constraint language
- uml profile
- formal methods
- class diagram
- class diagrams
- data security
- tool support
- conflict resolution
- model driven engineering
- information systems
- software design
- rbac model
- petri net
- software systems
- test cases
- trust negotiation
- object oriented