scholarly journals A Domain Specific Language for High-level Process Control Programming in Smart Buildings

2015 ◽  
Vol 63 ◽  
pp. 65-73 ◽  
Author(s):  
Abdaladhem Albreshne ◽  
Jacques Pasquier
Keyword(s):  
Process Control ◽  
Domain Specific Language ◽  
Smart Buildings ◽  
Specific Language ◽  
Domain Specific ◽  
High Level ◽  
Level Process ◽  
Level Process Control

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.

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 High-Level Process Control in Eden

2003 ◽  
pp. 732-741 ◽  
Author(s):  
Jost Berthold ◽  
Ulrike Klusik ◽  
Rita Loogen ◽  
Steffen Priebe ◽  
Nils Weskamp
Keyword(s):  
Process Control ◽  
High Level ◽  
Level Process ◽  
Level Process Control

Monaco—A domain-specific language solution for reactive process control programming with hierarchical components

2013 ◽  
Vol 39 (3) ◽  
pp. 67-94 ◽  
Author(s):  
Herbert Prähofer ◽  
Roland Schatz ◽  
Christian Wirth ◽  
Dominik Hurnaus ◽  
Hanspeter Mössenböck
Keyword(s):  
Process Control ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific ◽  
Reactive Process
Sign in / Sign up

Export Citation Format

Share Document