Welcome to the InfoSci Platform
Reference Hub3
First Steps Towards a Wise Development Environment for Behavioral Models

First Steps Towards a Wise Development Environment for Behavioral Models

David Harel, Guy Katz, Rami Marelly, Assaf Marron
Copyright: © 2016 |Volume: 7 |Issue: 3 |Pages: 22
ISSN: 1947-8186|EISSN: 1947-8194|EISBN13: 9781466691889|DOI: 10.4018/IJISMD.2016070101
Cite Article Cite Article

MLA

Harel, David, et al. "First Steps Towards a Wise Development Environment for Behavioral Models." IJISMD vol.7, no.3 2016: pp.1-22. http://doi.org/10.4018/IJISMD.2016070101

APA

Harel, D., Katz, G., Marelly, R., & Marron, A. (2016). First Steps Towards a Wise Development Environment for Behavioral Models. International Journal of Information System Modeling and Design (IJISMD), 7(3), 1-22. http://doi.org/10.4018/IJISMD.2016070101

Chicago

Harel, David, et al. "First Steps Towards a Wise Development Environment for Behavioral Models," International Journal of Information System Modeling and Design (IJISMD) 7, no.3: 1-22. http://doi.org/10.4018/IJISMD.2016070101

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

The authors present an initial wise development framework: a development environment that proactively and interactively assists the software engineer in modeling complex reactive systems. Their 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, to derive emergent properties of interest, and to assist in system testing and debugging. Upon request, the environment can instrument the system model in order to monitor or test the execution for certain behaviors, or even augment it in order to repair or avoid detected behavior that is undesired. The direction and prioritization of the analysis and related tasks is based on the relevance of the observed properties and the expected impact of actions to be taken, and is performed by specialized automated and human-assisted techniques that have been incorporated into the framework. The authors' development environment is an initial step in the direction of their 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. They have implemented their tool within the context of behavioral programming (BP) – a scenario-based modeling approach, in which components are aligned with how humans often describe desired system behavior. The authors' work thus further enhances the naturalness and incrementality of developing in BP.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.