A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Filters
Behavioral interfaces for executable DSLs
2020
Journal of Software and Systems Modeling
In this paper, we propose a metalanguage for complementing the definition of executable DSLs with explicit behavioral interfaces to enable external tools to interact with executed models in a unified way ...
We implemented the proposed metalanguage in the GEMOC Studio and show how behavioral interfaces enable the realization of tools that are generic and thus usable for different executable DSLs. ...
Fig. 6 6 Behavioral interface for Arduino DSL Fig. 7 ActivatableInterface behavioral interface
Fig. 8 8 Excerpt of behavioral interface (right) derived from the Arduino DSL operational semantics (left ...
doi:10.1007/s10270-020-00798-2
pmid:32728354
pmcid:PMC7374479
fatcat:psx6nz4j6napva5cfjgegwatxa
Integrating Interface Modeling and Analysis in an Industrial Setting
2017
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development
Precise specification of system component interfaces enables analysis of component behavior and checking of conformance of an implementation to the interface specification. ...
Very often component interfaces are only defined by their signature and without a formal description of the admissible behavior and timing assumptions. ...
The behavior is defined as state machines accompanied by timing rules. • DSL for capturing execution traces. ...
doi:10.5220/0006133103450352
dblp:conf/modelsward/KurtevSHS17
fatcat:qrgq2ktruvh23djglhm5masfaa
Towards Error Handling in a DSL for Robot Assembly Tasks
[article]
2014
arXiv
pre-print
This work-in-progress paper presents our work with a domain specific language (DSL) for tackling the issue of programming robots for small-sized batch production. ...
In this paper we present an initial design and implementation of extending an existing DSL for assembly operations with error specification, error handling and advanced move commands incorporating error ...
THE DOMAIN SPECIFIC LANGUAGE A key part of the software framework is the DSL which serves as the primary programming interface for the user. ...
arXiv:1412.4538v1
fatcat:2kaik3ryufdlvpwywfkbk7f6yy
Automated Analysis and Code Generation for Domain-Specific Models
2012
2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture
Domain-specific languages (DSLs) concisely express the essential features of system designs. However, using a DSL for automated analysis and code generation requires developing specialized tools. ...
We describe how to create model analysis and code generation tools that can be applied to a large family of DSLs, and show how we created the LIGHT platform, a suite of such tools for the family of software ...
Custom semantics must be directly executable because LIGHT cannot translate this logic and treats custom behavior definitions as a black box.
B. ...
doi:10.1109/wicsa-ecsa.212.24
dblp:conf/wicsa/EdwardsBM12
fatcat:ogax3s7udbb2xaekqbielblxlq
Reusable specification templates for defining dynamic semantics of DSLs
2017
Journal of Software and Systems Modeling
implements the DSL, rather than requirements for the behavior expected from DSL programs. ...
In the context of model-driven engineering, the dynamic (execution) semantics of domain-specific languages (DSLs) is usually not specified explicitly and stays (hard) coded in model transformations and ...
We would also like to show our gratitude to Marc Hamilton (Altran) for sharing very interesting insights into the world of DSL engineering. ...
doi:10.1007/s10270-017-0590-0
fatcat:3vlpfixht5hothzqk26zzx4xlq
A Domain-Specific Language for the Specification of Adaptable Context Inference
2011
2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing
Developing applications with such adaptable behavior, however, is notoriously cumbersome, as developers need to deal with low-level system interfacing and programming issues. ...
In this paper we describe a domain-specific language (DSL) and a middleware infrastructure to support the specification, deployment and maintenance of run-time adaptable context inference processes. ...
The DSL interpreter relies on a workflow engine and on a rule engine for executing the instructions written in the DSL specification. ...
doi:10.1109/euc.2011.4
dblp:conf/euc/SantosDCF11
fatcat:qdrh4rktjrbsxehitdychg3ctu
Reusable Specification Templates for Defining Dynamic Semantics of DSLs
2017
2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)
implements the DSL, rather than requirements for the behavior expected from DSL programs. ...
In the context of model-driven engineering, the dynamic (execution) semantics of domain-specific languages (DSLs) is usually not specified explicitly and stays (hard) coded in model transformations and ...
We would also like to show our gratitude to Marc Hamilton (Altran) for sharing very interesting insights into the world of DSL engineering. ...
doi:10.1109/models.2017.37
dblp:conf/models/Tikhonova17
fatcat:ha7vxugrqnexvas42w5e2ln66a
Improving the lifecycle of robotics components using Domain-Specific Languages
[article]
2013
arXiv
pre-print
Four different DSLs are proposed in this paper: i) CDSL for specifying the structure of the components, ii) IDSL for the description of their interfaces, iii) DDSL for describing the deployment process ...
Examples of the usage of these DSLs are shown along with experiments that demonstrate the benefits they bring to the lifecycle of the components. ...
PDSL The Parameter Definition Specific Language provides a generic structure for the configuration parameters that define the run-time behavior of the components. ...
arXiv:1301.6022v1
fatcat:6w3da2wdujhjvm257h37kspgjq
A Generative Programming Approach to Developing DSL Compilers
[chapter]
2005
Lecture Notes in Computer Science
We illustrate our approach with a DSL for telephony services. The structure of the DSL compiler is presented, as well as practical uses of generative tools for some compilation facets. ...
Because these tools are high level, they match the needs of a DSL, facilitating the development of the DSL compiler, and making it modular and retargetable. ...
Each aspect defines a specific DSL behavior whose cross-cutting nature makes it an ideal target for AOP. ...
doi:10.1007/11561347_4
fatcat:cv3pptec6nhvpkzoandb3mlgtm
Domain Globalization: Using Languages to Support Technical and Social Coordination
[chapter]
2015
Lecture Notes in Computer Science
In this context a Domain Specific Language (DSL) supports the work of a group of stakeholders who are responsible for addressing a specific set of concerns. ...
After presenting an overview of the current state of the art, we discuss first the open challenges arising from the composition of multiple DSLs, and then the open challenges associated to the collaboration ...
Based on purpose, a DSL may be declarative, executable, prescriptive or descriptive. ...
doi:10.1007/978-3-319-26172-0_5
fatcat:rrm4sockgfcizdfenrq4swagfi
Specifying Adaptations through a DSL with an Application to Mobile Robot Navigation
2013
Symposium on Languages, Applications and Technologies
The DSL is used here to define adaptation rules that change the run-time behavior of the application depending on various operational factors, such as time constraints. ...
In this paper we introduce an architecture that allows the specification of adaptable behavior through an external, high-level and platformindependent domain-specific language (DSL). ...
This configurable interface allows for the selection of a number of system configurations thus enabling dynamic and adaptive application behavior. ...
doi:10.4230/oasics.slate.2013.219
dblp:conf/slate/SantosCDF13
fatcat:ahh2a5a7nzg73hoz6y42anlt54
From DSL specification to interactive computer programming environment
2019
Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019
While DSLs are usually well tailored for the main scenarios, the cost of developing mature tools prevents the ability to develop additional capabilities for alternative scenarios targeting specific tasks ...
and the execution semantics. ...
By using the open class syntax, we can define the behavior for the classes we added in the syntax, and drive the execution with @init and @main annotations on operations. ...
doi:10.1145/3357766.3359540
dblp:conf/sle/JeanjeanCB19
fatcat:tdqtgbwu3jd4hkv36g5zifuzmy
Reverse engineering language product lines from existing DSL variants
2018
Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18
The validation is performed in a project involving industrial partners that required three different variants of a DSL for finite state machines. ...
In such a case, the challenge for language designers is to reuse, as much as possible, previously defined language constructs to narrow implementation from scratch. ...
So, at the end of the language development process, language designers release an executable DSL whose behavior complies the UML specification. ...
doi:10.1145/3233027.3236394
dblp:conf/splc/Mendez-AcunaGCB18
fatcat:g27vppnwjfgejlwulk6mmhgtfu
Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages
[chapter]
2016
Lecture Notes in Computer Science
well defined interfaces that facilitate their assembly. ...
The use of domain-specific languages (DSLs) has become a successful technique in the development of complex systems. ...
Figure 7 shows a table with the language constructs provided by each DSL. In turn, semantic differences are reified by the fact that not all the DSLs have the same behavior at execution time. ...
doi:10.1007/978-3-319-35122-3_24
fatcat:p7p4h5mrjffzhh7i4bhapqiaaq
Modbat: A Model-Based API Tester for Event-Driven Systems
[chapter]
2013
Lecture Notes in Computer Science
Model-based testing generates test executions from an abstract model that describes the system behavior. ...
We present a new tool called "Modbat", which is specialized for testing the application programming interface of systems where these issues are common. * , JSPS kaken-hi 23240003. using finite-state machines ...
Modbat uses a DSL based
on the Scala language to succinctly express various
event-driven properties. ...
doi:10.1007/978-3-319-03077-7_8
fatcat:5hsd7aycirbwzphquiyqlg6ove
« Previous
Showing results 1 — 15 out of 5,124 results