loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Joel Greenyer 1 ; Daniel Gritzner 1 ; David Harel 2 and Assaf Marron 2

Affiliations: 1 Leibniz Universität Hannover, Germany ; 2 Weizmann Institute of Science, Israel

Keyword(s): Software Engineering, System Engineering, Scenario-based Programming, Behavioral Programming, Abstraction, Debugging, Program Repair, Execution Trace, Event Log.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Frameworks for Model-Driven Development ; General-Purpose Modeling Languages and Standards ; Languages, Tools and Architectures ; Methodologies, Processes and Platforms ; Model Execution and Simulation ; Model-Based Testing and Validation ; Model-Driven Software Development ; Models ; Paradigm Trends ; Reasoning about Models ; Software Engineering ; Systems Engineering

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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.239.57.87

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - MODELSWARD; ISBN 978-989-758-283-7; ISSN 2184-4348, SciTePress, pages 560-566. DOI: 10.5220/0006671105600566

@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 - MODELSWARD},
year={2018},
pages={560-566},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006671105600566},
isbn={978-989-758-283-7},
issn={2184-4348},
}

TY - CONF

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