Formalizing the situation of a business process activity | IEEE Conference Publication | IEEE Xplore