Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models

Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron

2018

Abstract

Scenario-based specification approaches offer system engineering advantages with their intuitiveness, executability, and amenability to formal verification and synthesis. However, many engineering tasks such as debugging or maintenance are still far from trivial even when using such specifications. Specifically, it is hard to find out why a complex system behaves as it does, or how it would behave under certain conditions. Here, we present work in progress towards the (semi-)automatic analysis of event traces emanating from simulation runs and actual executions. These traces may be large, yet developers are often interested only in specific properties thereof, like is any specification property violated? are particular properties demonstrated? is there a smaller sub-sequence of events that violates or demonstrates the same properties? which trace properties are common to multiple traces and which are unique? etc. Our approach includes automatic techniques for discovering and distilling relevant properties of traces, analyzing properties of sets of traces, using (sets of) execution traces for understanding specified and actual system behavior and problems therein, planning system enhancement and repair, and more. Our work leverages and extends existing work on trace summarization, formal methods for model analysis, specification mining from execution traces, and others, in the context of scenario-based specifications. A key guiding perspective for this research is that interesting properties of a trace often can be associated with one or very few concise scenarios, depicting desired or forbidden behavior, which are already in the specification, or should be added to it.

Download


Paper Citation


in Harvard Style

Greenyer J., Gritzner D., Harel D. and Marron A. (2018). Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models.In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-283-7, pages 560-566. DOI: 10.5220/0006671105600566


in Bibtex Style

@conference{modelsward18,
author={Joel Greenyer and Daniel Gritzner and David Harel and Assaf Marron},
title={Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2018},
pages={560-566},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006671105600566},
isbn={978-989-758-283-7},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models
SN - 978-989-758-283-7
AU - Greenyer J.
AU - Gritzner D.
AU - Harel D.
AU - Marron A.
PY - 2018
SP - 560
EP - 566
DO - 10.5220/0006671105600566