the framework of term charters for faithfully integrating OCL's features in a step-wise and compositional manner.  ...  Building on Martin Gogolla's algebraic formalisation of the "Object Constraint Language" (OCL), its expression part has been formalised as a syntactically and semantically heterogeneous language using  ...  For temporal logic and whole sequences of states, Reggio, Astesiano, and Choppy extend the algebraic specification language CASL by a linear temporal logic (Reggio et al. 2003) .  ...