A formal representation for context-aware business processes · Study