SciTePress - Affiliation Profile

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Affiliation

Select a Subject
Refine Ontology Subject

Weizmann Institute of Science, Israel

Context (please use complete words only)

Field

Sort by

9 Papers

On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers

Topics: Model Execution and Simulation; General-Purpose Modeling Languages and Standards; Constraint Modeling and Languages; Frameworks for Model-Driven Development

Authors: Guy Katz ¹ , Assaf Marron ² , Aviran Sadon ³ and Gera Weiss ³

Affiliations: ¹ The Hebrew University of Jerusalem, Jerusalem and Israel , ² Weizmann Institute of Science, Rehovot and Israel , ³ Ben-Gurion University of the Negev, Be’er Sheva and Israel

Digital Object Identifier: 10.5220/0007573801430156

Proceedings of MODELSWARD 2019, ISBN: 978-989-758-358-2

Quick Abstract

Scenario-Based Programming is a methodology for modeling and constructing complex reactive systems from simple, stand-alone building blocks, called scenarios. These scenarios are designed to model different traits of the system, and can be interwoven together and executed to produce cohesive system behavior. Existing execution frameworks for scenario-based programs allow scenarios to specify their view of what the system must, may, or must not do only through very strict interfaces. This limits the methodology’s expressive power and often prevents users from modeling certain complex requirements. Here, we propose to extend Scenario-Based Programming’s execution mechanism to allow scenarios to specify how the system should behave using rich logical constraints. We then leverage modern constraint solvers (such as SAT or SMT solvers) to resolve these constraints at every step of running the system, towards yielding the desired overall system behavior. We provide an implementation of our approach and demonstrate its applicability to various systems that could not be easily modeled in an executable manner by existing Scenario-Based approaches.

Related Ontology Subjects/Areas/Topics (11)

Applications and Software Development	Languages, Tools and Architectures	Models
Constraint Modeling and Languages	Methodologies, Processes and Platforms	Paradigm Trends
Frameworks for Model-Driven Development	Model Execution and Simulation	Software Engineering
General-Purpose Modeling Languages and Standards	Model-Driven Software Development

Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways

Topics: Domain-Specific Modeling; General-Purpose Modeling Languages and Standards

Authors: Hadas Lapid , Assaf Marron , Smadar Szekely and David Harel

Affiliation: Weizmann Institute of Science, Rehovot and Israel

Digital Object Identifier: 10.5220/0007572504560466

Proceedings of MODELSWARD 2019, ISBN: 978-989-758-358-2

Quick Abstract

Scenario-based modeling (SBM) is an emerging approach for creating executable models of complex reactive systems. In addition to its use in software and system development, SBM has been shown to serve well in modeling biological processes. In this position paper, we show that SBM can be used effectively in modeling biochemical pathways at the molecular level, complementing existing biochemical modeling techniques. One of the key benefits of these SBM models is in helping professionals and students better conceptualize and understand such complex processes.

Related Ontology Subjects/Areas/Topics (5)

Domain-Specific Modeling and Domain-Specific Languages		Languages, Tools and Architectures		Software Engineering
General-Purpose Modeling Languages and Standards		Model-Driven Software Development

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

Topics: Model Execution and Simulation; General-Purpose Modeling Languages and Standards; Reasoning about Models; Systems Engineering; Frameworks for Model-Driven Development; Model-Based Testing and Validation

Authors: Joel Greenyer ¹ , Daniel Gritzner ¹ , David Harel ² and Assaf Marron ²

Affiliations: ¹ Leibniz Universität Hannover, Germany , ² Weizmann Institute of Science, Israel

Digital Object Identifier: 10.5220/0006671105600566

Proceedings of MODELSWARD 2018, ISBN: 978-989-758-283-7

Quick 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.

Related Ontology Subjects/Areas/Topics (13)

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

Distributing Scenario-based Models: A Replicate-and-Project Approach

Topics: Model Transformation; Model Execution and Simulation; Syntax and Semantics of Modeling Languages; Reasoning about Models; Model Transformations and Generative Approaches

Authors: Shlomi Steinberg ¹ , Joel Greenyer ² , Daniel Gritzner ² , David Harel ¹ , Guy Katz ³ and Assaf Marron ¹

Affiliations: ¹ The Weizmann Institute of Science, Israel , ² Leibniz Universität Hannover, Germany , ³ Stanford University, United States

Digital Object Identifier: 10.5220/0006271301820195

Proceedings of MODELSWARD 2017, ISBN: 978-989-758-210-3

Quick Abstract

In recent years, scenario-based modeling has been proposed to help mitigate some of the underlying difficulties in modeling complex reactive systems, by allowing modelers to specify system behavior in a way that is intuitive and directly executable. This modeling approach simplifies the specification of systems that include events occurring in distinct system components. However, when these system components are physically distributed, executing the scenario-based model requires inter-component coordination that may negatively affect system performance or robustness. We describe a technique that aims to reduce the amount of joint event-selection decisions that require coordination and synchronization among distributed system components. The technique calls for replicating the entire scenario-based executable specification in each of the components, and then transforming it in a component-specific manner that induces the required differences in execution while reducing synchronization requirements. In addition to advantages in streamlining design and improving performance, our approach captures the fact that in certain ``smart' distributed systems it is often required that components know what rules govern the behavior of other components. Our evaluation of the technique shows promising results.

Related Ontology Subjects/Areas/Topics (12)

Applications and Software Development	Model Transformation	Paradigm Trends
Languages, Tools and Architectures	Model Transformations and Generative Approaches	Reasoning about Models
Methodologies, Processes and Platforms	Model-Driven Software Development	Software Engineering
Model Execution and Simulation	Models	Syntax and Semantics of Modeling Languages

An Initial Wise Development Environment for Behavioral Models

Topics: Component-Based Software Engineering; Model Execution and Simulation; Reasoning about Models; Frameworks for Model-Driven Development; Model-Based Testing and Validation

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

Affiliation: The Weizmann Institute of Science, Israel

Digital Object Identifier: 10.5220/0005811806000612

Proceedings of MODELSWARD 2016, ISBN: 978-989-758-168-7

Quick 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 the 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.

Related Ontology Subjects/Areas/Topics (12)

Applications and Software Development	Methodologies, Processes and Platforms	Models
Component-Based Software Engineering	Model Execution and Simulation	Paradigm Trends
Frameworks for Model-Driven Development	Model-Based Testing and Validation	Reasoning about Models
Languages, Tools and Architectures	Model-Driven Software Development	Software Engineering

The Effect of Concurrent Programming Idioms on Verification - A Position Paper

Topics: General-Purpose Modeling Languages and Standards; Reasoning about Models; Systems Engineering; Model-Based Testing and Validation

Authors: David Harel ¹ , Guy Katz ¹ , Assaf Marron ¹ and Gera Weiss ²

Affiliations: ¹ The Weizmann Institute of Science, Israel , ² Ben Gurion University, Israel

Digital Object Identifier: 10.5220/0005324203630369

Proceedings of MODELSWARD 2015, ISBN: 978-989-758-083-3

Quick Abstract

In recent years formal verification techniques have become an important part of the development cycle of concurrent software. In order to tackle the state explosion problem and verify larger systems, a great deal of work has been put into improving the scalability of verification tools. In this work, we seek to draw attention to an alternative/complementary approach to improving scalability, which sometimes receives less notice: the effect the concurrent programming model itself has on one’s ability to verify programs encoded within it. Recent work suggests that a suitable choice of model, tailored to the problem at hand, may render the produced software more amenable to verification techniques. We recapitulate some recent and new results demonstrating this effect in programming models for discrete, synchronous reactive systems, and outline some directions for future work. We hope that the paper will trigger additional research on this important topic.

Related Ontology Subjects/Areas/Topics (9)

Applications and Software Development	Methodologies, Processes and Platforms	Reasoning about Models
General-Purpose Modeling Languages and Standards	Model-Based Testing and Validation	Software Engineering
Languages, Tools and Architectures	Model-Driven Software Development	Systems Engineering

Extending Recognition in a Changing Environment

Topics: Machine Learning Technologies for Vision; Object Detection and Localization; Optical Flow and Motion Analyses

Authors: Daniel Harari and Shimon Ullman

Affiliation: The Weizmann Institue of Science, Israel

Digital Object Identifier: 10.5220/0004281106320640

Proceedings of VISAPP 2013/VISIGRAPP, ISBN: 978-989-8565-47-1

Quick Abstract

We consider the task of visual recognition of objects and their parts in a dynamic environment, where the appearances, as well as the relative positions between parts, change over time. We start with a model of an object class learned from a limited set of view directions (such as side views of cars or airplanes). The algorithm is then given a video input which contains the object moving and changing its viewing direction. Our aim is to reliably detect the object as it changes beyond its known views, and use the dynamically changing views to extend the initial object model. To achieve this goal, we construct an object model at each time instant by combining two sources: consistency with the measured optical flow, together with similarity to the object model at an earlier time. We introduce a simple new way of updating the object model dynamically by combining approximate nearest neighbors search with kernel density estimation. Unlike tracking-by-detection methods that focus on tracking a specific object over time, we demonstrate how the proposed method can be used for learning, by extending the initial generic object model to cope with novel viewing directions, without further supervision. The results show that the adaptive combination of the initial model with even a single video sequence already provides useful generalization of the class model to novel views.

Related Ontology Subjects/Areas/Topics (3)

Computer Vision, Visualization and Computer Graphics

Motion, Tracking and Stereo Vision

Optical Flow and Motion Analyses

Synthesizing Decentralized Components from a Variant of Live Sequence Charts

Topics: Business Process Modeling; Model Execution and Simulation; General-Purpose Modeling Languages and Standards; Syntax and Semantics of Modeling Languages; Model Transformations

Authors: Dirk Fahland ¹ and Amir Kantor ²

Affiliations: ¹ Eindhoven University of Technology, Netherlands , ² Weizmann Institute of Science, Israel

Digital Object Identifier: 10.5220/0004320500250038

Proceedings of MODELSWARD 2013, ISBN: 978-989-8565-42-6

Quick Abstract

Live sequence charts (LSC) is a visual, executable, language for the modeling of reactive systems. Each chart depicts an inter-object scenario arising in the modeled system, partitioned into two: a monitored prechart, and a main chart. Despite the intuitive use of the language, complications arise when one wants to implement an LSC specification with decentralized components. In this paper, we introduce a variant of LSC, called distributed LSC (dLSC), which is targeted for the modeling and synthesis of decentralized systems, composed of several interacting components. While LSCs are commonly interpreted in terms of an interleaved execution of the scenarios in a sequential run, dLSCs employ partially ordered runs. We investigate the expressive power of dLSC compared to an established model of concurrent systems, namely, Petri nets, and show that dLSCs are, computationally, strictly more expressive than low-level Petri nets and subsumed by higher-level Petri nets. Specifically, we present an algorithm that synthesizes, given a dLSC specification, an equivalent token history net, which can serve as an executable implementation of the specification. Most importantly, the implementation is decentralized --- components can be automatically extracted from the net. The synthesis of Petri-net components from a dLSC specification is supported by a tool.

Related Ontology Subjects/Areas/Topics (20)

Applications and Software Development	Knowledge Management and Information Sharing	Model-Driven Software Development
Artificial Intelligence	Knowledge-Based Systems	Models
Business Process Management	Languages, Tools and Architectures	Paradigm Trends
e-Business	Methodologies, Processes and Platforms	Software Engineering
Enterprise Engineering	Model Execution and Simulation	Symbolic Systems
Enterprise Information Systems	Model Transformation	Syntax and Semantics of Modeling Languages
General-Purpose Modeling Languages and Standards	Model Transformations and Generative Approaches

DRUG ADDICTION: A COMPUTATIONAL MULTISCALE MODEL COMBINING NEUROPSYCHOLOGY, COGNITION AND BEHAVIOR

Topic: Physiological Processes and Bio-Signal Modeling, Non-Linear Dynamics

Authors: Yariv Z. Levy ¹ , Dino Levy ² , Jerrold S. Meyer ¹ and Hava T. Siegelmann ¹

Affiliations: ¹ University of Massachusetts Amherst, United States , ² The Weizmann Institute of Science, Israel

Digital Object Identifier: 10.5220/0001539100870094

Proceedings of BIOSIGNALS 2009/BIOSTEC, ISBN: 978-989-8111-65-4

Quick Abstract

According to the United Nations, approximately 24.7 million people used amphetamines, 16 million used cocaine, and 12 million used heroin in 2006/07 (Costa, 2008). Full recovery from drug addiction by chemical treatment and/or social and psychological support is uncertain. The present investigation was undertaken to expand our understanding of the factors that drive the dynamics of addiction. A new multiscale computational model is presented which integrates current theories of addiction, unlike previous models, considers addiction as a reversible process (Siegelmann, 2008). Explicit time dependency is added to the inhibition and the compulsion processes. Preliminary computational predictions of drug-seeking behavior are presented and potential correlation with experimental data is discussed. Validation of the model appears promising, however additional investigation is required.

Related Ontology Subjects/Areas/Topics (3)

Biomedical Engineering

Biomedical Signal Processing

Physiological Processes and Bio-Signal Modeling, Non-Linear Dynamics