loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: David Harel ; Guy Katz ; Rami Marelly and Assaf Marron

Affiliation: The Weizmann Institute of Science, Israel

ISBN: 978-989-758-168-7

Keyword(s): Behavioral Models, Interactive Development, Proactive Analysis, Reactive Models, Wise Computing.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Component-Based Software Engineering ; Frameworks for Model-Driven Development ; 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

Abstract: We present a development environment that proactively and interactively assists the software engineer in modeling complex reactive systems. Our framework repeatedly analyzes models of the system under development at various levels of abstraction, and then reasons about these models in order to detect possible errors and to derive emergent properties of interest. Upon request, the environment can then augment the system model in order to repair or avoid detected behavior that is undesired, or instrument it in order to monitor the execution for certain behaviors. Specialized automated and human-assisted techniques are incorporated to direct and prioritize the analysis and related tasks, based on the relevance of the observed properties and the expected impact of actions to be taken. Our development environment is an initial step in the direction of the very recent Wise Computing vision, which calls for turning the computer (namely, the development environment) into an equal member of th e development team: knowledgeable, independent, concerned and proactively involved in the development process. Our tool is implemented within the context of behavioral programming (BP), a scenario-based modeling approach, where components are aligned with how humans often describe desired system behavior. Thus, our work further enhances the naturalness and incrementality of developing in BP. (More)

PDF ImageFull Text

Download
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.234.245.125

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:
Harel, D.; Katz, G.; Marelly, R. and Marron, A. (2016). An Initial Wise Development Environment for Behavioral Models.In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-168-7, pages 600-612. DOI: 10.5220/0005811806000612

@conference{modelsward16,
author={David Harel. and Guy Katz. and Rami Marelly. and Assaf Marron.},
title={An Initial Wise Development Environment for Behavioral Models},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2016},
pages={600-612},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005811806000612},
isbn={978-989-758-168-7},
}

TY - CONF

JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - An Initial Wise Development Environment for Behavioral Models
SN - 978-989-758-168-7
AU - Harel, D.
AU - Katz, G.
AU - Marelly, R.
AU - Marron, A.
PY - 2016
SP - 600
EP - 612
DO - 10.5220/0005811806000612

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.