제어 로직

Control logic

제어 로직은 프로그램 동작을 제어하는 소프트웨어 프로그램의 핵심 부분입니다.제어 로직은 사용자의 명령에 반응하며 프로그램에 [1]구조화된 자동화된 작업을 수행하기 위해 스스로 작동합니다.


제어 로직은 계층형 상태 기계의 한 형태인 상태 [2]다이어그램을 사용하여 모델링할 수 있습니다.이러한 상태 다이어그램은 흐름도와 결합되어 복잡한 제어 [3]로직을 기술하기 위한 일련의 계산 의미론을 제공할 수도 있습니다.이 상태 다이어그램과 흐름도의 조합은 오른쪽 그림에 나타나 있습니다.이 그림은 단순한 스톱워치의 제어 로직을 나타내고 있습니다.제어 로직은 "START"라는 이벤트로 표현되는 사용자로부터 명령을 받지만 "TIC"라는 이벤트로 표현되는 자동 반복 샘플 시간 이벤트도 있습니다.

레퍼런스

  1. ^ Smith, S.E. "What Is Control Logic?".
  2. ^ Tiwari, A. (2002). "Formal Semantics and Analysis Methods for Simulink Stateflow Models" (PDF).
  3. ^ Hamon, G. (2005). A Denotational Semantics for Stateflow. International Conference on Embedded Software. Jersey City, NJ: ACM. pp. 164–172. CiteSeerX 10.1.1.89.8817.