The quest for runware: On compositional, executable and intuitive models

David Harel, Assaf Marron

Research output: Contribution to journalArticlepeer-review


We believe that future models of complex software and systems will combine the crucial traits of intuitiveness, compositionality, and executability. The importance of each of these to modeling is already well recognized, but our vision suggests a far more powerful synergy between them. First, models will be aligned with cognitive processes used by humans to think about system behavior and will be understood, and perhaps creatable, by almost anyone. Second, one will be able to build models incrementally, adding to, refining or sculpting away already-specified behaviors without changing most existing parts of the model. Third, there will be powerful ways to execute such intuitive and compositional models, in whole or in part, at any stage of the development. The presence of these three traits in a single artifact will blur the boundaries between natural-language requirements, formal models, and actual software, bringing in its wake a major advance in the way systems are built, and in their cost and quality. We propose the term runware to refer to this kind of higher level artifact.

Original languageEnglish
Pages (from-to)599-608
Number of pages10
JournalSoftware and Systems Modeling
Issue number4
StatePublished - Oct 2012

All Science Journal Classification (ASJC) codes

  • Software
  • Modelling and Simulation


Dive into the research topics of 'The quest for runware: On compositional, executable and intuitive models'. Together they form a unique fingerprint.

Cite this