Business process specification and enactment for context-aware environments Conference Paper uri icon