226 Hits in 2.1 sec

Efficient and scalable omniscient debugging for model transformations

Jonathan Corley, Brian P. Eddy, Eugene Syriani, Jeff Gray
2016 Software quality journal  
Omniscient debugging enables enhanced navigation and exploration features during a debugging session.  ...  Model transformations (MTs) are central artifacts in model-driven engineering (MDE) because they define core operations on models.  ...  Omniscient Debugging for Model Transformations Omniscient debugging is a technique that enables a developer to reverse the execution of a system.  ... 
doi:10.1007/s11219-015-9304-4 fatcat:7j2jqvts2ngrpnuczanojlh5hy

Omniscient debugging for executable DSLs

Erwan Bousse, Dorian Leroy, Benoit Combemale, Manuel Wimmer, Benoit Baudry
2018 Journal of Systems and Software  
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.  ...  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  ...  [57] propose omniscient debugging facilities for the cloud-based modeling solution AToMPM, in order to step both forward and backward in model transformations executed in an AToMPM runtime.  ... 
doi:10.1016/j.jss.2017.11.025 fatcat:thudz42e4zhztd2xuip5ijlqny

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  ...  Being domain-specific, these facilities are tuned to the considered xDSML for better efficiency. Usability is strengthened by providing multidimensional omniscient debugging.  ...  Previously, we have separately explored both supporting efficient, generic omniscient debugging services for model transformations [6] and generating domain-specific trace metamodels [2] .  ... 
doi:10.1145/2814251.2814262 fatcat:73dsljaezjh67em2ajm5ao5xh4

Supporting Debugging in a Heterogeneous, Globally Distributed Environment

Jonathan Corley, Jeff Gray
2014 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
As these modeling environments are being explored, new challenges are being uncovered.  ...  In this paper, we discuss the need for debugging support in heterogeneous, globally distributed modeling systems and identify a number of challenges related to debugging that must be overcome to support  ...  A global omniscient debugging system could also offer facilities for both parties to independently explore the system while simultaneously enabling the two developers to share an environment.  ... 
dblp:conf/models/CorleyG14 fatcat:ifaw2vux2vhapbe2pkhjawgbzy

Special issue on program debugging

Sudipto Ghosh, J. Jenny Li
2017 Software quality journal  
Eddy, Eugene Syriani, and Jeff Gray proposes a technique for supporting omniscient debugging for model transformations.  ...  The first paper "Efficient and Scalable Omniscient Debugging for Model Transformation" by Jonathan Corley, Brian P.  ... 
doi:10.1007/s11219-017-9354-x fatcat:qk6ekqw7cjfb7cfylazps3fbtq

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  
This enables the development and use of tools such as an omniscient debugger and a trace constructor for debugging compiled models.  ...  Our implementation was achieved for the GEMOC Studio, a language and modeling workbench that provides generic model debugging tools for interpreted DSLs.  ...  Generic tools, such as an omniscient debugger (i.e., a tool to explore past and future execution states) and a trace constructor, can thereby be used for debugging compiled models at the domain level.  ... 
dblp:conf/models/BousseMW17 fatcat:vhtkmnatofgnfgc7li6xb72prm

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  ...  More recently, omniscient debugging techniques [12] , [13] allow one to explore execution states both backwards and forwards, and live modelling [14] allows one to change the model and immediately  ... 
dblp:conf/models/MierloBVWVGTB17 fatcat:sb4b6mgzdzeuvem5ssrng63swu

A New Hybrid Debugging Architecture for Eclipse [chapter]

Juan González, David Insa, Josep Silva
2014 Lecture Notes in Computer Science  
During many years, Print Debugging has been the most used method for debugging.  ...  It is based on a combination of Trace Debugging, Algorithmic Debugging and Omniscient Debugging to produce a synergy that exploits the best properties and strong points of each technique.  ...  Omniscient Debugging. Third, the debugger acts as an omniscient debugger that explores method m 2 by reproducing the concrete execution where the bug showed up during AD.  ... 
doi:10.1007/978-3-319-14125-1_11 fatcat:i3pq75d22bhbtdpf6pjekesfjq

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

Object-centric debugging

Jorge Ressia, Alexandre Bergel, Oscar Nierstrasz
2012 2012 34th International Conference on Software Engineering (ICSE)  
We present a running prototype of an object-centric debugger, and demonstrate, with the help of a series of examples, how object-centric debugging offers more effective support for many typical developer  ...  We propose object-centric debugging as an alternative approach to interacting with a running software system.  ...  We gratefully acknowledge the financial support of the Swiss National Science Foundation for the project "Synchronizing Models and Code" (SNF Project No. 200020-131827, Oct. 2010 -Sept. 2012).  ... 
doi:10.1109/icse.2012.6227167 dblp:conf/icse/RessiaBN12 fatcat:gba3d3z35zdc3aalbj7lhjgk2m

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  ...  In the field of Model-Driven Engineering, there exist numerous tools that support various consistency management operations including model transformation, synchronisation and consistency checking.  ...  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  ... 
doi:10.4204/eptcs.330.1 fatcat:wgqpajwx6bdw3m6u3oyajktluy

On Leveraging Executable Language Engineering for Domain-Specific Transformation Languages

Erwan Bousse, Manuel Wimmer, Wieland Schwinger, Elisabeth Kapsammer
2016 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
An increasing number of domain-specific transformation languages (DSTLs) are used to define model transformations in specific contexts.  ...  provide tools (e.g., editor, debugger) for any newly defined xDSML.  ...  For instance, we proposed an approach to generate the domainspecific trace metamodel of an xDSML [4] , and a generic omniscient debugging approach for model execution [2] .  ... 
dblp:conf/models/BousseWSK16 fatcat:mejghw7qljcppdxcrn7iealxku

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)  
, using a model checker; and to validate or debug traces obtained from arbitrary LF runtime environments.  ...  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  ...  the elements of the runtime state of the program that are needed for omniscient debugging and state space construction.Listing 2.  ... 
doi:10.1109/fdl53530.2021.9568383 fatcat:gwiqftjrcrbqvde2xakmjufgsm

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.  ...  Use of the proposed framework starts with modeling a MAS using a design language and transforming design model instances to a run-time model.  ...  The omniscient debugger in executable DSMLs (xDSML) is explored in [5] .  ... 
doi:10.4230/oasics.slate.2019.8 dblp:conf/slate/TezelK19 fatcat:m3qz7cjfezeibkk35rfua6hf7u

The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems [chapter]

Vincent J. Koeman, Louise A. Dennis, Matt Webster, Michael Fisher, Koen Hindriks
2020 Lecture Notes in Computer Science  
General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications  ...  that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study  ...  This research was partially funded by EPSRC grants Verifiable Autonomy (EP/LO24845/1) and the Offshore Robotics for Certification of Assets (EP/RO26173) Robotics and Artificial Intelligence Hub.  ... 
doi:10.1007/978-3-030-51417-4_8 fatcat:5zomm5th4zat3bddbvjviomalq
« Previous Showing results 1 — 15 out of 226 results