30 Hits in 5.8 sec

Omniscient debugging for executable DSLs

Erwan Bousse, Dorian Leroy, Benoit Combemale, Manuel Wimmer, Benoit Baudry
2018 Journal of Systems and Software  
While a few General-Purpose Languages (GPLs) already have support for omniscient debugging, developing such a complex tool for any executable Domain Specific Language (DSL) remains a challenging and error  ...  Omniscient debugging is a promising technique that relies on execution traces to enable free traversal of the states reached by a model (or program) during an execution.  ...  Generic Omniscient Debugging for Executable DSLs. To our knowledge, no approaches aim at providing omniscient debugging to any executable DSL.  ... 
doi:10.1016/j.jss.2017.11.025 fatcat:thudz42e4zhztd2xuip5ijlqny

Language Engineering with the GEMOC Studio

Benoit Combemale, Olivier Barais, Andreas Wortmann
2017 2017 IEEE International Conference on Software Architecture Workshops (ICSAW)  
omniscient debugging.  ...  semantics, and automatically get an advanced and extensible environment for model execution supporting graphical animation and omniscient debugging [4] .  ... 
doi:10.1109/icsaw.2017.61 dblp:conf/icsa/CombemaleBW17 fatcat:ybm2hctx6vg7fjvloip4c5skzm

Domain-Level Observation and Control for Compiled Executable DSLs

Erwan Bousse, Manuel Wimmer
2019 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)  
To address this problem, we propose a language engineering architecture for compiled DSLs that enables the observation and control of executions using source domain concepts.  ...  An interpreted DSL relies on domain concepts to specify the possible execution states and steps, which enables the observation and control of executions using the very same domain concepts.  ...  National Foundation for Research, Technology and Development, and by the French project ELOGE (Atlanstic 2020 Amorçage) financed by Région des Pays de la Loire.  ... 
doi:10.1109/models.2019.000-6 dblp:conf/models/BousseW19 fatcat:qpksbyx4qnclzmcovzo4eiup4m

Debugging and Verification Tools for Lingua Franca in Gemoc Studio

Julien Deantoni, Joao Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh
2021 2021 Forum on specification & Design Languages (FDL)  
Our instrumentation provides the ability to navigate the execution of LF programs using an omniscient debugger with graphical model animation; to check assertions in particular execution runs, or exhaustively  ...  , using a model checker; and to validate or debug traces obtained from arbitrary LF runtime environments.  ...  There also exists related work in the field of embedded DSLs, where the DSL is defined as syntactic sugar for the host DSL and the execution/analysis relies on the execution capabilities of the host language  ... 
doi:10.1109/fdl53530.2021.9568383 fatcat:gwiqftjrcrbqvde2xakmjufgsm

Practical domain-specific debuggers using the Moldable Debugger framework

Andrei Chiş, Marcus Denker, Tudor Gîrba, Oscar Nierstrasz
2015 Computer languages, systems & structures  
debugging operations for stepping through the execution, setting breakpoints, checking invariants [25, 26, 27] and querying stack-related information [28, 29, 65  ...  We further motivate the need for domain-specific debugging, identify a set of key requirements and show how our approach improves debugging by adapting the debugger to several domains.  ...  We 935 thank Alexandre Bergel, Jorge Ressia, Mircea Lungu, and the anonymous reviewers for their suggestions in improving this paper.  ... 
doi:10.1016/ fatcat:6c5kmzim4jb45fwagz3ixe3ete

A Conceptual Generic Framework to Debugging in the Domain-Specific Modeling Languages for Multi-Agent Systems

Baris Tekin Tezel, Geylani Kardas, Michael Wagner
2019 Symposium on Languages, Applications and Technologies  
According to the framework, the run-time model is simulated on a built-in simulator for debugging.  ...  Although IDEs of these MAS DSMLs provide some sort of checks on modeled systems according to the related DSML's syntax and semantics descriptions, currently they do not have a built-in support for debugging  ...  The omniscient debugger in executable DSMLs (xDSML) is explored in [5] .  ... 
doi:10.4230/oasics.slate.2019.8 dblp:conf/slate/TezelK19 fatcat:m3qz7cjfezeibkk35rfua6hf7u

Semantic deltas for live DSL environments

Tijs van der Storm
2013 2013 1st International Workshop on Live Programming (LIVE)  
I present early experiences in building a live DSL environment and identify areas for future research.  ...  This paper introduces semantic deltas as a foundation for building live DSL environments to bridge the "gulf of evaluation" between DSL code and the running application.  ...  Research in omniscient debugging [12] , [19] has shown that maintaining execution histories can be made practical.  ... 
doi:10.1109/live.2013.6617347 dblp:conf/icse/Storm13 fatcat:tg7zt4nk4zhmzo74qqrfvpfzk4

VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems

Nils Weidmann, Anthony Anjorin, James Cheney
2020 Electronic Proceedings in Theoretical Computer Science  
As a step towards improving this situation, we present VICToRy, a debugger for model generation and transformation based on Triple Graph Grammars, a well-known rule-based approach to bidirectional transformation  ...  Acknowledgments We would like to thank all members of the project group VICToRy at Paderborn University for taking part in the tool development, namely Asher Ahsan, Philipp Giakoupian, Rifat Hussain, Jane  ...  A wide range of facilities for DSL debugging is presented in previous work.  ... 
doi:10.4204/eptcs.330.1 fatcat:wgqpajwx6bdw3m6u3oyajktluy

Debugging Parallel DEVS

Simon Van Mierlo, Yentl Van Tendeloo, Hans Vangheluwe
2016 Simulation (San Diego, Calif.)  
The authors introduce a new way of visualization for both the design of the DEVS system, as the execution trace.  ...  operations, such as as-fast-as-possible simulation and (scaled) real-time execution.  ...  Acknowledgements This work was partly funded by the Automotive Partnership Canada (APC) in the NECSIS project and with PhD fellowship grants from the Agency for Innovation by Science and Technology in  ... 
doi:10.1177/0037549716658360 fatcat:xgq24jdymbc2doijqeycs7odza

Constraint-based run-time state migration for live modeling

Ulyana Tikhonova, Jouke Stoel, Tijs van der Storm, Thomas Degueule
2018 Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018  
We apply Nextep to define migration strategies for two DSLs, and report on its expressiveness and performance.  ...  We illustrate the approach using Nextep, a meta-modeling language for defining invariants and migration constraints on run-time state models.  ...  Acknowledgments We would like to thank the anonymous reviewers for their helpful comments.  ... 
doi:10.1145/3276604.3276611 dblp:conf/sle/TikhonovaSSD18 fatcat:4vofsvxnirds7odmkntinqtxti

Debugging for reactive programming

Guido Salvaneschi, Mira Mezini
2016 Proceedings of the 38th International Conference on Software Engineering - ICSE '16  
We analyze the problem of debugging reactive programs, show that the reactive style requires a paradigm shift in the concepts needed for debugging, and propose RP Debugging, a methodology for effectively  ...  debugging reactive programs.  ...  However, this approach is only applicable for GUI software -hence our choice to use the dependency graph as the reference model for RP Debugging. Omniscient Debugging.  ... 
doi:10.1145/2884781.2884815 dblp:conf/icse/SalvaneschiM16 fatcat:2kgm6ihpebbmncnrecrivmxxom

The evolution of model editors: browser- and cloud-based solutions

Jeff Gray, Bernhard Rumpe
2016 Journal of Software and Systems Modeling  
and omniscient debugging features.  ...  A strength of AtoMPM is its support for the specification, execution, and debugging of model transformations within the browser, allowing the user to debug their model transformations using both stepwise  ... 
doi:10.1007/s10270-016-0524-2 fatcat:fdad2bj2azhnblftxqmpqyq2qi

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  ...  Executable domain-specific languages (DSLs) enable the execution of behavioral models.  ...  generation for xDSLs, or identifying various purposes for which behavioral interfaces can be designed (e.g., debugging interface, animation interface, execution management interface, …).  ... 
doi:10.1007/s10270-020-00798-2 pmid:32728354 pmcid:PMC7374479 fatcat:psx6nz4j6napva5cfjgegwatxa

Toward live domain-specific languages

Riemer van Rozen, Tijs van der Storm
2017 Journal of Software and Systems Modeling  
We illustrate rmpatch in a case study of a live programming environment for a simple Communicated by Prof. DSL implemented in Rascal for simultaneously defining and executing state machines.  ...  Since the model deltas are derived from the static source code of the program, they are unaware of any run-time state maintained during model execution.  ...  Acknowledgements We thank the reviewers for their insightful comments that helped improve this paper.  ... 
doi:10.1007/s10270-017-0608-7 fatcat:rxwnoke35rbhbey24x6imqqnyi

A debug interface for debugging multiple domain specific aspect languages

Yoav Apter, David H. Lorenz, Oren Mishali
2012 Proceedings of the 11th annual international conference on Aspect-oriented Software Development - AOSD '12  
For validation we demonstrate a simple command line AWESOMEDEBUGGER that uses the debug interface.  ...  We define a multi-DSAL debug interface (MDDI) for inspecting the composition specification and the runtime state and behavior of applications written in multiple DSALs.  ...  AOP debugging The debugging of AOP programs has been considered before. One approach is omniscient debugging [19] .  ... 
doi:10.1145/2162049.2162056 dblp:conf/aosd/ApterLM12 fatcat:ofdfbjpsprbknh4bngl5d4cxpq
« Previous Showing results 1 — 15 out of 30 results