Towards the Formal Analysis of UML Activity Diagrams in a Calculus of Context-aware Ambients.
François SiewePublished in: COMPSAC (2023)
Keyphrases
- context aware
- formal analysis
- uml activity diagrams
- contextual information
- mobile devices
- business process models
- ubiquitous computing
- context awareness
- formal methods
- ambient intelligence
- agent model
- graphical representation
- context aware systems
- business process
- expert systems
- mobile users
- high level
- user context
- context aware services
- artificial intelligence
- case study
- web services