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
Efficient and scalable omniscient debugging for model transformations
2016
Software quality journal
Preserved Fulltext
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
2018
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2014
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2017
Software quality journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2017
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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)
2017
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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)
2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering - SLE 2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2012
2012 34th International Conference on Software Engineering (ICSE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2020
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
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.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2012.01655v1 fatcat:iyez3ndgnnelra643ihkeaj7zu
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
2016
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2021
2021 Forum on specification & Design Languages (FDL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
, 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
2019
Symposium on Languages, Applications and Technologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2020
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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