5,124 Hits in 2.8 sec

Behavioral interfaces for executable DSLs

Dorian Leroy, Erwan Bousse, Manuel Wimmer, Tanja Mayerhofer, Benoit Combemale, Wieland Schwinger
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

Ivan Kurtev, Mathijs Schuts, Jozef Hooman, Dirk-Jan Swagerman
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]

Johan S. Laursen, Jacob P. Buch, Lars C. Sørensen, Dirk Kraft, Henrik G. Petersen Lars-Peter Ellekilde, Ulrik P. Schultz
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

George Edwards, Yuriy Brun, Nenad Medvidovic
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

Ulyana Tikhonova
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

Andre C. Santos, Pedro C. Diniz, Joao M.P. Cardoso, Diogo R. Ferreira
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

Ulyana Tikhonova
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]

A. Romero-Garces, L.J. Manso, Marco A. Gutierez, R. Cintas, P. Bustos
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]

Charles Consel, Fabien Latry, Laurent Réveillère, Pierre Cointe
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]

Julien Deantoni, Cédric Brun, Benoit Caillaud, Robert B. France, Gabor Karsai, Oscar Nierstrasz, Eugene Syriani
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

André C. Santos, João M. P. Cardoso, Pedro C. Diniz, Diogo R. Ferreira, Marc Herbstritt
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

Pierre Jeanjean, Benoit Combemale, Olivier Barais
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

David Méndez-Acuña, José A. Galindo, Benoît Combemale, Arnaud Blouin, Benoît Baudry
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]

David Méndez-Acuña, José A. Galindo, Benoit Combemale, Arnaud Blouin, Benoit Baudry, Gurvan Le Guernic
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]

Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto
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