Synthesizing advanced transaction models using the situation calculus