scholarly journals USL: A Domain-Specific Language for Precise Specification of Use Cases and Its Transformations

Informatica ◽  
2018 ◽  
Vol 42 (3) ◽  
Author(s):  
Chu Thi Minh Hue ◽  
Dang Duc Hanh
Keyword(s):  
Use Cases ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific

Automated Context Formalization for Context-aware Specification Approach

2018 ◽  
Vol 9 (3) ◽  
pp. 23-47
Author(s):  
Amel Benabbou ◽  
Safia Nait-Bahloul
Keyword(s):  
Environmental Conditions ◽  
Use Cases ◽  
Domain Specific Language ◽  
Context Aware ◽  
Effective Technique ◽  
Specific Language ◽  
Requirement Specification ◽  
Domain Specific ◽  
High Level ◽  
Formal Requirements

Requirement specification is a key element in model-checking verification. The context-aware approach is an effective technique for automating the specification of requirement considering specific environmental conditions. In most of existing approaches, there is no support of this crucial task and are mainly based on the considerable efforts and expertise of engineers. A domain-specific language, called CDL, has been proposed to facilitate the specification of requirement by formalizing contexts. However, the feedback has shown that manually writing CDL is hard, error prone and difficult to grasp on complex systems. In this article, the authors propose an approach to automatically generate CDL models using (IODs) elaborated through transformation chains from textual use cases. They offer an intermediate formalism between informal use cases scenarios and CDL models allowing to engineers to manipulate with familiar artifacts. Thanks to such high-level formalism, the gap between informal and formal requirements is reduced; consequently, the requirement specification is facilitated.

BOAST

2017 ◽  
Vol 32 (1) ◽  
pp. 28-44 ◽  
Author(s):  
Brice Videau ◽  
Kevin Pouget ◽  
Luigi Genovese ◽  
Thierry Deutsch ◽  
Dimitri Komatitsch ◽  
...  
Keyword(s):  
Wave Propagation ◽  
High Performance Computing ◽  
High Performance ◽  
Use Cases ◽  
Domain Specific Language ◽  
Electronic Density ◽  
Performance Portability ◽  
Specific Language ◽  
Domain Specific ◽  
Performance Computing

The portability of real high-performance computing (HPC) applications on new platforms is an open and very delicate problem. Especially, the performance portability of the underlying computing kernels is problematic as they need to be tuned for each and every platform the application encounters. This article presents BOAST, a metaprogramming framework dedicated to computing kernels. BOAST allows the description of a kernel and its possible optimizations using a domain-specific language. BOAST runtime will then compare the different versions’performance as well as verify their exactness. BOAST is applied to three use cases: a Laplace kernel in OpenCL and two HPC applications BigDFT (electronic density computation) and SPECFEM3D (seismic and wave propagation).

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

Proxemic Environments Modelling based on a Graphical Domain-Specific Language

2020 ◽  
Author(s):  
Paulo Perez ◽  
Philippe Roose ◽  
Yudith Cardinale ◽  
Marc Dalmau ◽  
Dominique Masson ◽  
...  
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