1 Hit in 5.7 sec

2-Term Charters

Alexander Knapp, María Victoria Cengarle
2020 Journal of Object Technology  
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) .  ... 
doi:10.5381/jot.2020.19.3.a10 fatcat:ehpnyvsrj5fy5fqdkkq4pdyavy