1 / 7

Transitioning From Software Requirements Models to Design Models

Transitioning from software requirements to design models can be complex; this research presents the SCASP approach focusing on simulation, transformation, and synthesis to bridge the gap effectively. Discover the methodology, benefits, NASA relevance, accomplishments, and future steps in this innovative process.

charlesallison
Download Presentation

Transitioning From Software Requirements Models to Design Models

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Transitioning From Software Requirements Models to Design Models PI: Jon Whittle QSS Group Inc. NASA POC: Michael Lowry Ames Research Center

  2. Problem How to cope with the problems of requirements engineering? • Complexity • Validation • Evolution • Requirements/Design gap NASA CTAS example: data uplink/downlink customers programmer designer/architect

  3. Approach Simulation of use cases (scenarios) • Complexity • Validation • Evolution • Requirements/Design gap Semi-automatic design transformation designer/architect customers programmer • Goal:Cost-effective way of simulating requirements • automatic transformation to executable form • executable form can be reused in design simulation

  4. Refine/ Generalize scenarios Identify relationships Write use cases Prioritize use cases Write nominal scenarios Overview of Research SCASP (Scenario Creation and Simulation Process) Transform to state machines Write requirements Itemized List UML2.0 Sequence Diagrams For risk, importance & metric calculation Write down what you can preempts, parallel, crosscuts etc. systematic guidelines synthesis algorithm

  5. Importance/Benefits • Thorough simulation of use cases before design/implementation • reduced cost • fewer misunderstandings • reuse of executable form of use cases • SCASP gives systematic guidelines on how to: • separate concerns in use case descriptions • elicit non-nominal scenarios (alternatives, exceptions, concurrent scenarios etc.) • transform those scenarios automatically into a set of concurrent state machines • execute those state machines, i.e., scenario simulation • NASA relevance (specific projects): • CTAS air traffic control (Ames) • weather update module • trajectory synthesizer • data link/uplink • also: Motorola test methodology (ENTITE)

  6. Accomplishments • SCASP: • Defined SCASP and evaluated on multiple case studies • CTAS weather update • Motorola call setup sequence • Univ. Paderborn shuttle system • CTAS trajectory up/downlink) • Techniques for separation of concerns (aspects) • forthcoming papers in Requirements Engineering ’04 and IEE Software • Synthesis: • outlined new algorithm for synthesizing state machines from scenarios • Metrics • defined metrics for evaluating completeness/complexity of process • Tool support (IBM Rational Rose plug-in): • Simple version of algorithm • plug-in for reusable patterns (including use case aspects) • Integrated state machine simulator from Teknowledge Corp. (Alexander Egyed) • Customer interest: • NASA CTAS • Motorola

  7. Next Steps • SCASP: • Further evaluation on case studies • Synthesis: • develop, implement and test new algorithm • Metrics: • evaluation • Simulation: • feedback simulation results • Tool support: • Full version of algorithm • Integration • Customer transfer

More Related