Towards formal model for location aware workflows.

Doriana Medic Marco Aldinucci

Published in: COMPSAC (2023)

Keyphrases

formal model
location aware
context aware
location based services
mobile devices
mobile computing
location information
web services
business processes
business process
formal models
security patterns