Linking Rules and Conceptual Model in a Domain Specific Language

2015 ◽  
Author(s):  
Long-Phuoc Ton ◽  
Thai-Minh Truong
Keyword(s):  
Conceptual Model ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific

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

10.29007/w2nj ◽  
2018 ◽  
Author(s):  
Wei Dou ◽  
Domenico Bianculli ◽  
Lionel Briand
Keyword(s):  
Conceptual Model ◽  
Domain Specific Language ◽  
Object Constraint Language ◽  
Specific Language ◽  
Model Driven ◽  
Domain Specific ◽  
Temporal Properties ◽  
Execution Traces ◽  
Constraint Language ◽  
Model Driven Approach

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.

Domain-Specific Language Abstractions for Compression

2021 ◽  
Author(s):  
Jessica Ray ◽  
Ajav Brahmakshatriya ◽  
Richard Wang ◽  
Shoaib Kamil ◽  
Albert Reuther ◽  
...  
Keyword(s):  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific

RML: Theory and practice of a domain specific language for runtime verification

2021 ◽  
Vol 205 ◽  
pp. 102610
Author(s):  
Davide Ancona ◽  
Luca Franceschini ◽  
Angelo Ferrando ◽  
Viviana Mascardi
Keyword(s):  
Runtime Verification ◽  
Theory And Practice ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific

SWQL: A new domain-specific language for mining the social Web

2021 ◽  
pp. 102642
Author(s):  
Xiomarah Guzmán-Guzmán ◽  
Edward Rolando Núñez-Valdez ◽  
Raysa Vásquez-Reynoso ◽  
Angel Asencio ◽  
Vicente García-Díaz
Keyword(s):  
Domain Specific Language ◽  
Social Web ◽  
Specific Language ◽  
Domain Specific ◽  
The Social
Sign in / Sign up

Export Citation Format

Share Document