TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties | Zendy

Dou Wei | Zendy; Domenico Bianculli | Zendy; Lionel Briand | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties

Author(s) -

Dou Wei,

Domenico Bianculli,

Lionel Briand

Publication year - 2018

Publication title -

kalpa publications in computing

Language(s) - English

Resource type - Conference proceedings

ISSN - 2515-1762

DOI - 10.29007/w2nj

Subject(s) - trace (psycholinguistics) , computer science , temporal logic , constraint (computer aided design) , programming language , object constraint language , temporal database , model checking , domain (mathematical analysis) , linear temporal logic , unified modeling language , data mining , software , philosophy , mechanical engineering , mathematical analysis , linguistics , mathematics , engineering , applications of uml

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research