CfPBoK
by
Vadim Zaytsev
sle2012s/paper07
SLE 2012 SI
paper:
Specification of temporal properties with OCL
Bilal Kanso
,
Safouan Taha
DOI:
10.1016/j.scico.2014.02.029
Extended version of
Temporal Constraint Support for OCL
(
SLE 2012
)
T5D: Formal Methods
The main contribution is a formal property-specification framework (temporal extension of OCL) with formal semantics and translation to automata.
T1C: Behavioural Semantics
The paper adds behavioural/temporal semantics (scenario-based) on top of OCL’s traditionally static constraint focus.
T4A: Workbenches
Tooling is central: the approach is integrated into the Eclipse OCL plug-in and supported by an implementation pipeline.
T5C: Testing
The framework is connected to automatic test generators via the automata translation, tying the contribution to testing practice.
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.