Book Chapter10.1007/978-3-642-13675-7_2
Some thoughts on behavioral programming
David Harel
- 20 Jun 2011
- pp 2-2
TL;DR: The talk will propose that -- or rather ask whether -- programming can be made a lot closer to the way humans think about dynamics, and the way the authors somehow manage to get others to do what they have in mind.
read more
Abstract: The talk starts from a dream/vision paper I published in 2008, whose title is a play on that of John Backus' famous Turing Award Lecture (and paper). I will propose that -- or rather ask whether -- programming can be made a lot closer to the way we humans think about dynamics, and the way we somehow manage to get others (e.g., our children, our employees, etc.) to do what we have in mind. Technically, the question is whether we can liberate programming from its three main straightjackets: (1) having to directly produce a precise artifact in some language; (2) having actually to produce two separate artifacts (the program and the requirements) and having then to pit one against the other; (3) having to program each piece/part/object of the system separately. The talk will then get a little more technical, providing some evidence of feasibility of the dream, via LSCs and the play-in/play-out approach to scenario-based programming, and its more recent Java variant. The entire body of work around these ideas can be framed as a paradigm, which we call behavioral programming.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Towards Agile Model-Driven Web Engineering
José Matías Rivero,José Matías Rivero,Julián Grigera,Gustavo Rossi,Gustavo Rossi,Esteban Robles Luna,Esteban Robles Luna,Nora Koch +7 more
- 20 Jun 2011
TL;DR: This work proposes an agile approach to MDWE methodologies (called Mockup-Driven Development, or MockupDD) by inverting the development process: the authors start from user interface mockups that facilitate the generation of software prototypes and models, then they enrich them and apply heuristics in order to obtain software specifications at different abstraction levels.
Improving Agility in Model-Driven Web Engineering.
José Matías Rivero,Julián Grigera,Gustavo Rossi,Esteban Robles Luna,Nora Koch +4 more
- 01 Jan 2011
TL;DR: This work proposes an agile approach to MDWE methodologies (called Mockup-Driven Development, or MockupDD) by inverting the development process: the authors start from user interface mockups that facilitate the generation of software prototypes and models, then they enrich them and apply heuristics in order to obtain software specifications at different abstraction levels.
References
LSCs: Breathing Life into Message Sequence Charts
Werner Damm,David Harel +1 more
- 01 Jul 2001
TL;DR: Live sequence charts (LSCs) as discussed by the authors allow the distinction between possible and necessary behavior both globally, on the level of an entire chart and locally, when specifying events, conditions and progress over time within a chart.
Behavioral programming
TL;DR: A novel paradigm for programming reactive systems centered on naturally specified modular behavior that addresses the dilemma of how to specify modular behavior in a reactive system.
151
Can Programming Be Liberated, Period?
TL;DR: The author describes his dream about freeing ourselves from the straightjackets of programming, making the process of getting computers to do what the authors want intuitive, natural, and also fun.