Business Processes Meet Spatial Concerns: The sBPMN Verification Framework.

Rim Saddem-Yagoubi Pascal Poizat Sara Houhou

Published in: FM (2021)

Keyphrases

business processes
business process
process model
business environment
spatial information
decision making
web services
reference models
model checking
business applications
workflow systems