NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Mise en Scene: Conversion of Scenarios to CSP Traces for the Requirements-to-Design-to-Code ProjectThe "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.
Document ID
20070031562
Acquisition Source
Goddard Space Flight Center
Document Type
Technical Memorandum (TM)
Authors
Carter. John D. (Guelph Univ. Ontario, Canada)
Gardner, William B. (Guelph Univ. Ontario, Canada)
Rash, James L. (NASA Goddard Space Flight Center Greenbelt, MD, United States)
Hinchey, Michael G. (NASA Goddard Space Flight Center Greenbelt, MD, United States)
Date Acquired
August 23, 2013
Publication Date
September 1, 2007
Subject Category
Systems Analysis And Operations Research
Report/Patent Number
Rept-2007-02241
NASA/TM-2007-214155
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available