Statecharts: A visual formalism for complex systems
Science of Computer Programming
On the development of reactive systems
Logics and models of concurrent systems
Handbook of theoretical computer science (vol. B)
Genetic programming: on the programming of computers by means of natural selection
Genetic programming: on the programming of computers by means of natural selection
Pad: an alternative approach to the computer interface
SIGGRAPH '93 Proceedings of the 20th annual conference on Computer graphics and interactive techniques
Journal of the ACM (JACM)
Reachability analysis of dynamical systems having piecewise-constant derivatives
Theoretical Computer Science - Special issue on hybrid systems
Visualizing interactions in program executions
ICSE '97 Proceedings of the 19th international conference on Software engineering
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Multiple instances and symbolic variables in executable sequence charts
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Visualizing the Execution of Java Programs
Revised Lectures on Software Visualization, International Seminar
Formal Modeling of C. elegans Development: A Scenario-Based Approach
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Scenario-Based Monitoring and Testing of Real-Time UML Models
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Visualization of program-execution data for deployed software
Proceedings of the 2003 ACM symposium on Software visualization
Visualisation of object oriented program execution
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
The Eyes Have It: A Task by Data Type Taxonomy for Information Visualizations
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
Cluster and Calendar Based Visualization of Time Series Data
INFOVIS '99 Proceedings of the 1999 IEEE Symposium on Information Visualization
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Playing with Time: On the Specification and Execution of Time-Enriched LSCs
MASCOTS '02 Proceedings of the 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Dynamic query tools for time series data sets: timebox widgets for interactive exploration
Information Visualization
A survey of trace exploration tools and techniques
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
Visualizing and discovering non-trivial patterns in large time series databases
Information Visualization
Visualizing program execution using user abstractions
SoftVis '06 Proceedings of the 2006 ACM symposium on Software visualization
Visualisations of execution traces (VET): an interactive plugin-based visualisation tool
AUIC '06 Proceedings of the 7th Australasian User interface conference - Volume 50
From multi-modal scenarios to code: compiling LSCs into aspectJ
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Software Visualization: Visualizing the Structure, Behaviour, and Evolution of Software
Software Visualization: Visualizing the Structure, Behaviour, and Evolution of Software
Visual representations of executing programs
Journal of Visual Languages and Computing
Visualizing time-oriented data-A systematic view
Computers and Graphics
Towards Trace Visualization and Exploration for Reactive Systems
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Visualizing inter-dependencies between scenarios
Proceedings of the 4th ACM symposium on Software visualization
Execution trace analysis through massive sequence and circular bundle views
Journal of Systems and Software
Models in Software Engineering
Mining Scenario-Based Triggers and Effects
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Model-Based Testing Using LSCs and S2A
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Polymorphic Scenario-Based Specification Models: Semantics and Applications
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
S2A: a compiler for multi-modal UML sequence diagrams
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Object composition in scenario-based programming
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Check it out: on the efficient formal verification of live sequence charts
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Temporal logic for scenario-based specifications
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
PlayGo: towards a comprehensive tool for scenario based programming
Proceedings of the IEEE/ACM international conference on Automated software engineering
Behavioral programming, decentralized control, and multiple time scales
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Spaghetti for the main course?: observations on the naturalness of scenario-based programming
Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education
Polymorphic scenario-based specification models: semantics and applications
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
We present a rich and highly dynamic technique for analyzing, visualizing, and exploring the execution traces of reactive systems. The two inputs are a designer's inter-object scenario-based behavioral model, visually described using a UML2-compliant dialect of live sequence charts (LSC), and an execution trace of the system. Our method allows one to visualize, navigate through, and explore, the activation and progress of the scenarios as they "come to life" during execution. Thus, a concrete system's runtime is recorded and viewed through abstractions provided by behavioral models used for its design, tying the visualization and exploration of system execution traces to model-driven engineering. We support both event-based and real-time-based tracing, and use details-on-demand mechanisms, multi-scaling grids, and gradient coloring methods. Novel model exploration techniques include semantics-based navigation, filtering, and trace comparison. The ideas are implemented and tested in a prototype tool called the Tracer.