TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
Keyword(s):
TemPsy (Temporal Properties made easy) is a pattern-based, domain-specific language for the specification of temporal properties. In this paper we provide an overview of TemPsy-Check, a tool that implements a model-driven approach for performing offline trace checking of temporal properties written in TemPsy. TemPsy-Check relies on an optimized mapping of temporal requirements written in TemPsy into Object Constraint Language (OCL) constraints on a conceptual model of execution traces.
2014 ◽
Vol 24
(10)
◽
pp. 1509-1531
◽
Keyword(s):
2010 ◽
Vol 7
(3)
◽
pp. 409-440
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2020 ◽
Vol 26
(9)
◽
pp. 1148-1176
2012 ◽
Vol 9
(3)
◽
pp. 1075-1103
◽