Towards Integrated Modelling of Dynamic Access Control with UML and Event-B.
Inna VistbakkaElena TroubitsynaPublished in: IMPEX/FM&MDD (2017)
Keyphrases
- dynamic access control
- uml profile
- access control
- conceptual modeling
- object oriented
- software engineering
- event detection
- database design
- metamodel
- unified modelling language
- software systems
- database
- software architecture
- database systems
- news articles
- case study
- sequence diagrams
- artificial intelligence
- neural network