From Play-In Scenarios to Code: An Achievable Dream

Authors:
David Harel
Affiliations:
-
Venue:
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Year:
2000

Citing 26
Cited 10

Petri nets: an introduction

Petri nets: an introduction
Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends

Current trends in concurrency. Overviews and tutorials
Strategies for real-time system specification

Strategies for real-time system specification
On visual formalisms

Communications of the ACM
Statemate: a working environment for the development of complex reactive systems

ICSE '88 Proceedings of the 10th international conference on Software engineering
On the synthesis of a reactive module

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the development of reactive systems

Logics and models of concurrent systems
Object-oriented software engineering

Object-oriented software engineering
The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Biting the Silver Bullet: Toward a Brighter Future for System Development

Computer
Object-oriented modeling and design

Object-oriented modeling and design
Real-time object-oriented modeling

Real-time object-oriented modeling
Object-oriented analysis and design with applications (2nd ed.)

Object-oriented analysis and design with applications (2nd ed.)
Designing object systems: object-oriented modelling with Syntropy

Designing object systems: object-oriented modelling with Syntropy
Temporal verification of reactive systems: safety

Temporal verification of reactive systems: safety
The Unified Modeling Language reference manual

The Unified Modeling Language reference manual
Model checking

Model checking
Communicating sequential processes

Communications of the ACM
An axiomatic basis for computer programming

Communications of the ACM
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Modeling Reactive Systems with Statecharts: The Statemate Approach

Modeling Reactive Systems with Statecharts: The Statemate Approach
Executable Object Modeling with Statecharts

Computer
On the Synthesis of an Asynchronous Reactive Module

ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
LSCs: Breathing Life into Message Sequence Charts

Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Structured Analysis and System Specification

Structured Analysis and System Specification
Chapter I: Notes on structured programming

Structured programming

Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design

GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Increasing Reusability in Information Systems Development by Applying Generic Methods

CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Smart Play-out of Behavioral Requirements

FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)

EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Synthesizing State-Based Object Systems from LSC Specifications

CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
A Combined Testing and Verification Approach for Software Reliability

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)

ICGT '02 Proceedings of the First International Conference on Graph Transformation
On the power of play-out for scenario-based programs

Concurrency, Compositionality, and Correctness
The effect of previous programming experience on the learning of scenario-based programming

Proceedings of the 12th Koli Calling International Conference on Computing Education Research
Translation of Z specifications to executable code: Application to the database domain

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

We discuss the possibility of a complete system development scheme, supported by semantically rigorous automated tools, within which one can go from an extremely high-level, user-friendly requirement capture method, which we call play-in scenarios, to a final implementation. A cyclic process consisting of verification against requirements and synthesis from requirements plays an important part in the scheme, which is not quite as imaginary as it may sound.