Omniscient debugging for executable DSLs
TL;DR: Results show that the debugger can be used with various executable DSLs implemented with different metaprogramming approaches, and is on average six times more efficient in memory, and at least 2.2 faster when exploring past execution states, while only slowing down the execution 1.6 times on average.
read more
About: This article is published in Journal of Systems and Software. The article was published on 01 Mar 2018. and is currently open access. The article focuses on the topics: Executable & Debugging.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Journal Article
An overview of AspectJ
TL;DR: AspectJ as mentioned in this paper is a simple and practical aspect-oriented extension to Java with just a few new constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns.
2.9K
Model execution tracing: a systematic mapping study
TL;DR: It is found that the majority of model execution tracing approaches has been developed for the purpose of testing and dynamic analysis, and most existing approaches were not validated empirically, raising doubts as to their effectiveness in practice.
Bacatá : Notebooks for DSLs, Almost for Free
Mauricio Verano Merino,Jurgen Vinju,Tijs van der Storm +2 more
- 14 Feb 2020
TL;DR: Bacat\'a as mentioned in this paper is a tool for generating notebook interfaces for DSLs in a language parametric fashion, in which language engineers can reuse as many language components (e.g., language processors, type checkers, code generators) as possible.
Constraint-based run-time state migration for live modeling
Ulyana Tikhonova,Jouke Stoel,Tijs van der Storm,Thomas Degueule +3 more
- 24 Oct 2018
TL;DR: This paper applies Nextep, a meta-modeling language for defining invariants and migration constraints on run-time state models, to define migration strategies for two DSLs, and reports on its expressiveness and performance.
References
Web Services Business Process Execution Language Version 2.0
Charlton Barreto,Vaughn Bullard,Thomas Erl,John Evdemon,Diane Jordan,Khanderao Kand,Dieter König,Simon Moser,Ralph Stout,Ron Ten-Hove,Ivana Trickovic,Danny van der Rijn,Alex Yiu +12 more
- 01 Jan 2007
TL;DR: The continuity of the basic conceptual model between Abstract and Executable Processes in WSBPEL makes it possible to export and import the public aspects embodied in Abstract Processes as process or role templates while maintaining the intent and structure of the observable behavior.
3.1K
•Journal Article
An overview of AspectJ
TL;DR: AspectJ as mentioned in this paper is a simple and practical aspect-oriented extension to Java with just a few new constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns.
2.9K
STATEMATE: a working environment for the development of complex reactive systems
David Harel,H. Lachover,A. Naamad,Amir Pnueli,M. Politi,R. Sherman,A. Shtull-Trauring,Mark B. Trakhtenbrot +7 more
TL;DR: The main novelty of STATEMATE is in the fact that it `understands` the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous animated executions and simulations of the described system, and to create running code automatically.
Transforming models with ATL
Frédéric Jouault,Ivan Kurtev +1 more
- 02 Oct 2005
TL;DR: This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation definitions and describes the language syntax and semantics by using examples.
A Brief Account of Runtime Verification
TL;DR: A comparison to well-known verification techniques like model checking and testing is provided, and applications in which runtime verification brings out its distinguishing features are pointed out.
917