Mise En Scene: Conversion of Scenarios to CSP Traces for the Requirements-To-Design-To-Code Project

By: Nasa, National Aeronautics and Space Adm

The "Requirements-to-Design-to-Code" (R2D2C) project at NASA's Goddard Space Flight Center is based on deriving a formal specification expressed in Communicating Sequential Processes (CSP) notation from system requirements supplied in the form of CSP traces. The traces, in turn, are to be extracted from scenarios, a user-friendly medium often used to describe the required behavior of computer systems under development. This work, called Mise en Scene, defines a new scenario medium (Scenario Notation Language, SNL) suitable for control-dominated systems, coupled with a two-stage process for automatic translation of scenarios to a new trace medium (Trace Notation Language, TNL) that encompasses CSP traces. Mise en Scene is offered as an initial solution to the problem of the scenarios-to-traces "D2" phase of R2D2C. A survey of the "scenario" concept and some case studies are also provided. Carter. John D. and Gardner, William B. and Rash, James L. and Hinchey, Michael G. Goddard Space Flight Center

• Format: Paperback
• Language: English
• ISBN: 1793966133
• ISBN13: 9781793966131
• Release Date: January 1
• Publisher: Independently Published
• Length: 28 Pages
• Weight: 0.20 lbs.
• Dimensions: 0.1" x 8.5" x 11.0"