On executable models for rule-based prototyping

Authors:
Stanley Lee
Affiliations:
Computer Science Laboratory, GTE Laboratories Incorporated, 40 Sylvan Road, Waltham, Massachusetts
Venue:
ICSE '85 Proceedings of the 8th international conference on Software engineering
Year:
1985

Citing 3
Cited 3

Programming in Prolog (2nd ed.)

Programming in Prolog (2nd ed.)
Specification and verification of distributed systems using prolog interpreted petri nets.

ICSE '84 Proceedings of the 7th international conference on Software engineering
Testing Formal Specifications to Detect Design Errors

IEEE Transactions on Software Engineering

A Distributed Specification Model and its Prototyping

IEEE Transactions on Software Engineering
An Executable Language for Modeling Simple Behavior

IEEE Transactions on Software Engineering
An approach to executable specifications, based on formal source_to_source conversion

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a particular style of executable specifications as a method for rapid prototyping. Using a general state-transition framework, system behavior is specified by pattern-oriented rules containing pre- and post-conditions for each transition. The specification method is introduced by two small examples in which a finite-state machine and database are modeled. The main example is an executable model of a backtracking Prolog interpreter, which is specified using five transition rules adapted from the formal-semantic literature. All models in the paper are executable and written in Prolog; minimal familiarity with Prolog is assumed.