27,377 Hits in 6.4 sec

A Generalized Stepping Semantics for Model Debugging

Simon Van Mierlo, Yentl Van Tendeloo, Hans Vangheluwe
2018 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
Stepping is arguably one of the most important operations for model execution, and model debugging specifically.  ...  In this paper, we define a hierarchical terminology of stepping operations to provide a generalized vocabulary for both users and developers of debuggers.  ...  ACKNOWLEDGMENTS This work was partly funded by a PhD fellowship from the Research Foundation -Flanders (FWO).  ... 
dblp:conf/models/MierloTV18 fatcat:hilywjns2bavxjboybeukwewce

Debugging in Domain-Specific Modelling [chapter]

Raphael Mannadiar, Hans Vangheluwe
2011 Lecture Notes in Computer Science  
In Domain-Specific Modelling (DSM), debugging activities have a wider scope: designers debug model transformations (MTs) and synthesized artifacts, while domain-specific modellers debug their models, unaware  ...  This work surveys the state-of-the-art of debugging in the context of DSM and proposes a mapping between debugging concepts (e.g., breakpoints, assertions) in the software and DSM realms. 1 See [2] for  ...  We distinguished between MT and DSm debugging, and between debug-ging scenarios for designers, who are fully aware of the MTs that describe their models' semantics and generate artifacts, and modellers  ... 
doi:10.1007/978-3-642-19440-5_17 fatcat:n7m4daomjnbdrjzfqgesbldkiq

Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17)

Simon Van Mierlo, Erwan Bousse, Hans Vangheluwe, Manuel Wimmer, Clark Verbrugge, Martin Gogolla, Matthias Tichy, Arnaud Blouin
2017 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
Although debugging techniques are well-established for programming languages, only a few debugging techniques and tools for models have been proposed.  ...  Debugging models faces various challenges: handling a wide variety of models and modelling languages; adapting debugging techniques initially proposed for programming languages; tailoring debugging approaches  ...  This suggests that debugging only makes sense for behavioural models, and therefore for modelling languages with execution semantics implemented by a code generator or an interpreter.  ... 
dblp:conf/models/MierloBVWVGTB17 fatcat:sb4b6mgzdzeuvem5ssrng63swu

Execution framework of the GEMOC studio (tool demo)

Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja Mayerhofer, Julien Deantoni, Benoit Combemale
2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering - SLE 2016  
The development and evolution of an advanced modeling environment for a Domain-Specific Modeling Language (DSML) is a tedious task, which becomes recurrent with the increasing number of DSMLs involved  ...  It also integrates generic runtime services that are shared among the approaches used to implement the execution semantics, such as graphical animation or omniscient debugging.  ...  The authors also thank Dorian Leroy (Inria) and Cédric Brun (Obeo) for their help in the development of the GEMOC execution framework.  ... 
doi:10.1145/2997364.2997384 fatcat:raseqwv4wnfphoz6hezarbcjry

Supporting efficient and advanced omniscient debugging for xDSMLs

Erwan Bousse, Jonathan Corley, Benoit Combemale, Jeff Gray, Benoit Baudry
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering  
While some General-Purpose Languages (GPLs) already have support for omniscient debugging, developing such a complex tool for any executable Domain-Specific Modeling Language (xDSML) remains a challenging  ...  Results show that our approach is on average 3.0 times more efficient in memory and 5.03 more efficient in time when compared to a generic solution that copies the model at each step.  ...  : addState • Just before a big step: bigStepStarted • Just after a big step: bigStepEnded Generic Trace Metamodel Our approach relies on the generation of a domain-specific trace metamodel for the considered  ... 
doi:10.1145/2814251.2814262 fatcat:73dsljaezjh67em2ajm5ao5xh4

Towards Providing Debugging in the Domain-Specific Modeling Languages for Software Agents

Baris Tekin Tezel, Geylani Kardas
2018 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
However, they do not have a built-in support for debugging MAS models which makes the control of model correctness difficult.  ...  The first alternative is based on the construction of a mapping between MAS model entities and the generated code while the second one considers the metamodel-based description of the operational semantics  ...  ACKNOWLEDGMENTS The first author would like to thank TUBITAK-BIDEB for their financial support during his Ph.D. studies.  ... 
dblp:conf/models/TezelK18 fatcat:4ds63k6asbas5jsd4s2wy3ag4i

Domain-level Debugging for Compiled DSLs with the GEMOC Studio

Erwan Bousse, Tanja Mayerhofer, Manuel Wimmer
2017 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
Our implementation was achieved for the GEMOC Studio, a language and modeling workbench that provides generic model debugging tools for interpreted DSLs.  ...  This enables the development and use of tools such as an omniscient debugger and a trace constructor for debugging compiled models.  ...  For instance, when lower-level code or models are generated from a model, it is common to only rely on the debugger of the target language to debug the execution, but without the possibility to directly  ... 
dblp:conf/models/BousseMW17 fatcat:vhtkmnatofgnfgc7li6xb72prm

Omniscient debugging for executable DSLs

Erwan Bousse, Dorian Leroy, Benoit Combemale, Manuel Wimmer, Benoit Baudry
2018 Journal of Systems and Software  
A generic solution must: support a wide range of executable DSLs independently of the metaprogramming approaches used for implementing their semantics; be efficient for good responsiveness.  ...  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  ...  approach used to define the execution transformation of the semantics, and that a variant of the operational semantics must be generated for each test model.  ... 
doi:10.1016/j.jss.2017.11.025 fatcat:thudz42e4zhztd2xuip5ijlqny

Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper)

Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers, Michael Wagner
2019 European Conference on Object-Oriented Programming  
As a solution, we propose multiverse debugging, a new approach for debugging non-deterministic programs that allows developers to observe all possible execution paths of a parallel program and debug it  ...  We apply multiverse debugging to AmbientTalk, an actor-based language, resulting in Voyager, a multiverse debugger implemented on top of the AmbientTalk operational semantics.  ...  Acknowledgements We would like to thank Thomas Dupriez (ENS Paris-Saclay -RMoD, Inria, Lille-Nord Europe) for an initial implementation of the underlying visualization and reduction code. 27:27  ... 
doi:10.4230/lipics.ecoop.2019.27 dblp:conf/ecoop/LopezSMBS19 fatcat:7b5k34sografbhtkduvu2t6twu

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  
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  ...  modeling and code generation for system-to-be-developed can be performed properly.  ...  Finally, section 6 concludes the paper. 2 The conceptual generic debugging framework for MAS DSMLs In this study, our goal is to provide a generic framework for debugging during MAS modeling inside IDEs  ... 
doi:10.4230/oasics.slate.2019.8 dblp:conf/slate/TezelK19 fatcat:m3qz7cjfezeibkk35rfua6hf7u

Interactive Debugging for Extensible Languages in Multi-Stage Transformation Environments

Domenik Pavletic, Kim Haßlbauer
2016 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
However, due to the semantic gap between generated code and the intermediate program where a bug is introduced, users have to map between abstraction levels manually, which is error prone and requires  ...  In this paper we present an approach to build multi-level debuggers for extensible languages that allow language users to debug their code on the source level and language engineers to debug on intermediate  ...  First, we define debugging semantics for mock component and sequence step.  ... 
dblp:conf/models/PavleticH16 fatcat:e5bbpohevveq5nqp55zvqwtbey

Declaratively defining domain-specific language debuggers

Ricky T. Lindeman, Lennart C.L. Kats, Eelco Visser
2011 Proceedings of the 10th ACM international conference on Generative programming and component engineering - GPCE '11  
This paper shows how such a specification can be extended to describe a debugger for a language.  ...  With language workbenches, domain-specific languages and their tool support can be generated from a combined, high-level specification.  ...  As a basis for our approach we use an event-based debugging model to model DSL execution flow in a generic way.  ... 
doi:10.1145/2047862.2047885 dblp:conf/gpce/LindemanKV11 fatcat:xpbyq75wmjfkrfr3tczwuyhfki

A debugging model for functional logic programs [chapter]

Michael Hanus, Berthold Josephs
1993 Lecture Notes in Computer Science  
The responsibility for the contents of this publication lies with the authors.  ...  Acknowledgements The research described in this paper was partially funded by the German Ministry for Research and Technology (BMFT) under grant ITS 9103.  ...  In Section 6 we will see how the debugging model can be simplified if a less sophisticated operational semantics is used.  ... 
doi:10.1007/3-540-57186-8_69 fatcat:bfj7gn4ynrh2xeu7zduhxfrnjy

Explicitly Modelling Model Debugging Environments

Simon Van Mierlo
2015 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
This paper presents a method for constructing model debugging environments for deterministic, operational formalisms.  ...  There is hence a need for model-level debuggers, that are adapted to the semantics of the modelling formalism(s) used, and can properly deal with the timed nature of many of these models.  ...  ACKNOWLEDGMENT This work was funded by a PhD fellowship from the Agency for Innovation by Science and Technology in Flanders (IWT).  ... 
dblp:conf/models/Mierlo15 fatcat:sefkhjhmgzepzjit6fkdnz3hbm

A Debugging Approach for Trigger-Action Programming

Luigi De Russis, Alberto Monge Roffarello
2018 Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems - CHI '18  
., a door that is unexpectedly unlocked. In this paper, we present a novel debugging approach for trigger-action programming.  ...  The goal is to assists end users during the composition of trigger-action rules by: a) highlighting possible problems that the rules may generate, and b) allowing their step-by-step simulation.  ...  The main difference with other Colored Petri Net based approaches is that we use a semantic model to generate and analyze the net.  ... 
doi:10.1145/3170427.3188641 dblp:conf/chi/RussisR18 fatcat:rwk7tsm3rfhhtkhejh6533zhge
« Previous Showing results 1 — 15 out of 27,377 results