scholarly journals Dawn: a High Level Domain-Specific Language Compiler Toolchain for Weather and Climate Ap plications

2020 ◽  
Vol 7 (2) ◽  
Keyword(s):  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific ◽  
Weather And Climate ◽  
High Level

A high-level domain-specific language for SIEM (design, development and formal verification)

2017 ◽  
Vol 20 (3) ◽  
pp. 2423-2437 ◽  
Author(s):  
Anam Nazir ◽  
Masoom Alam ◽  
Saif U. R. Malik ◽  
Adnan Akhunzada ◽  
Muhammad Nadeem Cheema ◽  
...  
Keyword(s):  
Formal Verification ◽  
Domain Specific Language ◽  
Design Development ◽  
Specific Language ◽  
Domain Specific ◽  
High Level

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.

scholarly journals High-Level and Efficient Stream Parallelism on Multi-core Systems with SPar for Data Compression Applications

2017 ◽  
Author(s):  
Dalvan Griebler ◽  
Renato B. Hoffmann ◽  
Junior Loff ◽  
Marco Danelutto ◽  
Luiz Gustavo Fernandes
Keyword(s):  
Data Compression ◽  
State Of The Art ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific ◽  
Code Refactoring ◽  
Real World Applications ◽  
Significant Performance ◽  
High Level ◽  
Level Parallelism

The stream processing domain is present in several real-world applications that are running on multi-core systems. In this paper, we focus on data compression applications that are an important sub-set of this domain. Our main goal is to assess the programmability and efficiency of domain-specific language called SPar. It was specially designed for expressing stream parallelism and it promises higher-level parallelism abstractions without significant performance losses. Therefore, we parallelized Lzip and Bzip2 compressors with SPar and compared with state-of-the-art frameworks. The results revealed that SPar is able to efficiently exploit stream parallelism as well as provide suitable abstractions with less code intrusion and code refactoring.

scholarly journals SPar: A DSL for High-Level and Productive Stream Parallelism

2017 ◽  
Vol 27 (01) ◽  
pp. 1740005 ◽  
Author(s):  
Dalvan Griebler ◽  
Marco Danelutto ◽  
Massimo Torquati ◽  
Luiz Gustavo Fernandes
Keyword(s):  
Shared Memory ◽  
Stream Processing ◽  
Parallel Applications ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific ◽  
Implementation Techniques ◽  
High Level

This paper introduces SPar, an internal C++ Domain-Specific Language (DSL) that supports the development of classic stream parallel applications. The DSL uses standard C++ attributes to introduce annotations tagging the notable components of stream parallel applications: stream sources and stream processing stages. A set of tools process SPar code (C++ annotated code using the SPar attributes) to generate FastFlow C++ code that exploits the stream parallelism denoted by SPar annotations while targeting shared memory multi-core architectures. We outline the main SPar features along with the main implementation techniques and tools. Also, we show the results of experiments assessing the feasibility of the entire approach as well as SPar’s performance and expressiveness.

Design and Implementation of a Domain Specific Language for Phylogenetic Inference

2003 ◽  
Vol 01 (02) ◽  
pp. 201-230 ◽  
Author(s):  
Enrico Pontelli ◽  
Desh Ranjan ◽  
Gopal Gupta ◽  
Brook Milligan
Keyword(s):  
Denotational Semantics ◽  
Phylogenetic Inference ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Experts ◽  
Domain Specific ◽  
Level Of Abstraction ◽  
Inference Problems ◽  
High Level ◽  
Very High

Domain experts think and reason at a high level of abstraction when they solve problems in their domain of expertise. We present the design and motivation behind a domain specific language, called ΦLOG, to enable biologists to program solutions to phylogenetic inference problems at a very high level of abstraction. The implementation infrastructure (interpreter, compiler, debugger) for the DSL is automatically obtained through a software engineering framework based on Denotational Semantics and Logic Programming.

scholarly journals Design, Implementation and Evaluation of IPv4/IPv6 Longest Prefix Match support in P4 Dataplanes

2018 ◽  
Author(s):  
Fabricio E. Rodriguez Cesen ◽  
P Gyanesh Kumar Patra ◽  
Christian Esteve Rothenberg ◽  
Gergely Pongracz
Keyword(s):  
Software Defined Networking ◽  
Domain Specific Language ◽  
Multiple Targets ◽  
Specific Language ◽  
Domain Specific ◽  
Definition Of ◽  
High Level ◽  
Compiler System ◽  
Target Platform

New trends in dataplane programmability inside Software Defined Networking (SDN) paradigm are in an effort to bring multi-platform support with a high-level definition of the dataplane pipeline functions. The MultiArchitecture Compiler System for Abstract Dataplanes (MACSAD) can integrate the Protocol-Independent Packet Processors (P4) domain-specific language and the OpenDataPlane Project (ODP) APIs, to define a programmable dataplane across multiple targets in a unified compiler system. In this paper, we present and evaluate the IPv4/IPv6 Longest Prefix Match (LPM) support in MACSAD. We develop a new ODP Helper library implementing the IPv6 lookup mechanism based on the current IPv4 solution and evaluate its performance and scalability for diverse workloads and target platform configurations.

scholarly journals Using code generation approach in developing kiosk applications

2008 ◽  
Vol 5 (1) ◽  
pp. 41-59 ◽  
Author(s):  
Zarko Zivanov ◽  
Predrag Rakic ◽  
Miroslav Hajdukovic
Keyword(s):  
Programming Languages ◽  
Code Generation ◽  
Touch Screen ◽  
Present Approach ◽  
Domain Specific Language ◽  
Web Browser ◽  
Specific Language ◽  
Domain Specific ◽  
High Level ◽  
Vast Range

Today, kiosk automata (kiosks, for short) are used for variety of services from all sort of kiosks for providing information's, to kiosks for paying tickets and ATM's. Kiosks are usually programmed either using high level programming languages, like C++, or using HTML in conjunction with web browser. In this paper, we analyzed a vast range of kiosk automata and derived common characteristics. We present approach for programming kiosk applications based on Domain Specific Language (DSL), designed specifically to meet the needs of developing kiosk applications that are usually programmed using high level programming languages and are deployed on kiosks with touch-screen monitors. Our goal is to make development of such kiosk applications more rapid, while minimizing number of programming errors.

scholarly journals The ATLAS Metadata Interface (AMI) 2.0 metadata ecosystem: new design principles and features

2019 ◽  
Vol 214 ◽  
pp. 05046
Author(s):  
Jérôme Odier ◽  
Fabian Lambert ◽  
Jérôme Fulachier
Keyword(s):  
Design Principles ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific ◽  
Web Framework ◽  
Metadata Aggregation ◽  
High Level

ATLAS Metadata Interface (AMI) is a generic ecosystem for metadata aggregation, transformation and cataloging. Benefiting from 18 years of feedback in the LHC context, the second major version was recently released. This paper describes the design choices and their benefits for providing high-level metadata-dedicated features. In particular, the Metadata Querying Language (MQL) - a domain-specific language allowing to query databases without knowing the relation between entities - and on the AMI Web framework are described.

Sign in / Sign up

Export Citation Format

Share Document