Model/Session framework for Event Calculus