An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions · Study