[소프트웨어공학] 7장. 요구사항 분석 모델링

7장. 요구사항 분석 모델링

4. Flow-oriented Modeling : 흐름 지향 모델링

모든 컴퓨터 기반 시스템은 정보의 변환이다. (input → Transformation → output)

오늘날 flow 기반 모델은 가장 널리 사용되는 분석 모델.

 

• DFD (Data Flow Diagram)
  • 데이터 개체 : Labeled 화살표
  • 변환 : 원
  • DFD는 계층적 방식이다.
  • 레벨 0 DFD는 시스템 전체를 나타낸다 (context diagram)

• External Entity - 외부 엔티티
  • 데이터 생산자 / 소비자 (ex: 사람, 장치, 센서, 컴퓨터 기반 시스템)
  • 데이터는 항상 어딘가에서 생성되어야 하며, 항상 무언가로 전송되어야 한다.
• Process
  • 데이터 변환기 (changes input to output) (ex: 세금 계산, 면적 계산, 보고서 형식 지정, 그래프 표시)
  • 시스템 기능을 달성하려면 항상 데이터를 어떤 방식으로든 처리해야 한다.
• Data Flow
  • 데이터는 입력에서 출력으로 변환되는 시스템을 통해 흐른다. (base & height → compute triangle area → area)
• Data Stores
  • 데이터는 종종 나중에 사용되는 경우를 위해 저장된다. (= 내부에 표시)

Flow-oriented Model Guidelines

1. 레벨 0 데이터 흐름도는 SW/시스템을 단일 원으로 표시.
2. 1차 입력 및 출력을 기록.
3. 정제는 후보 프로세스, 데이터 개체, 다음 레벨을 위한 데이터 저장을 분리하는 것부터 시작된다.
4. 모든 화살표와 원(버블)은 의미있는 이름으로 표시.
5. 정보 흐름의 연속성이 수준별로 유지되어야 한다.
6. 한 번에 한 버블이 정제되어야 한다.

• PSPEC (Process Specification)
  • 최종 단계에 나타나는 모든 flow model 프로세스를 설명.
    • Narrative text, Program design language(PDL)
    • Mathematical equations
    • Tables, Diagrams, Chart

input is Conditions, output is Actions

• CFD (Control Flow Diagram)
  • 데이터가 아닌 이벤트에 의해 생성된다.
  • 제어 정보를 생성
  • Such applications require the use of CFD in addition to DFD.
• CSPEC (Control Specification)
  • 시스템의 동작을 나타냄
  • 동작의 순차적 명세인 State Diagram이 포함된다.

5. Behavioral Modeling : 행동 모델링

• 행동 모델은 SW가 외부 사건이나 자극에 어떻게 반응하는지를 나타냄.
  1. 모든 use case 평가
  2. 상호작용 순서를 주도하는 이벤트 식별, 이러한 이벤트가 개체와 어떻게 관련되는지 이해
  3. 각 use case에 대한 순서
  4. 시스템의 state diagram
  5. Review

FSA (Finite State Automata)

Behavioral Modeling

• Use case를 통한 이벤트 식별
• 분석 클래스에 대한 state diagram : 각 클래스의 활성 상태와 이벤트를 나타내는 UML state diagram

The States of a System

• State : 주어진 시간에 시스템의 동작을 특성화하는 관찰가능한 상황의 집합
• State transition : 한 상태에서 다른 상태로의 이동
• Event : 시스템이 예측 가능한 형태의 동작을 나타내도록 하는 것
• Action : transition의 결과로 발생하는 프로세스

State Diagram & Sequence Diagram

• Creating a Behavioral Model
  • Sequence Diagrams
  1. 이벤트가 개체 간 변환을 일으키는 방법을 나타낸다
  2. use case의 간단한 버전이다
  3. 각 화살표는 이벤트를 나타내며 개체 간의 이벤트 채널 동작을 나타냄
  4. 시간은 수직으로 표현되며 직사각형은 활동을 처리하는데에 걸린 시간.
  5. 수직 타임라인을 따라 상태가 표시