Table of Contents
Specification
Validation and Verification
Formalism
Tunable Formalism
An Approach to Specification
System Automation Boundary
Interaction Transformations
Relationship-Set Transformations
Boundary-Crossing Active Object Set
Transformed Active Object Set
Mitosis
OSM-L A Formal Specification Language
OSM-L: Declarations
OSM-L: High-Level Declarations
OSM-L: Queries
OSM-L: State Nets
OSM-L: State Nets
OSM-L: Updates
OSM-L: Interactions
OSM-L: Control Structures
OSM-L: Parameters and Local Variables
Functional Specification
Sample Unanswered Questions
Sample Formalization
Interaction Formalization
Form Interface: Insertion
Form Interface: Retrieval
Form Interface: Deletion
Form Interface: Modification
|
Author: David W. Embley
Email: embley@cs.byu.edu
Home Page: http://osm7.cs.byu.edu/CS552/CS552.html
|