제약 자동화

Constraint automaton

컴퓨터 과학에서 제약 자동화(Constraint automata)는 조정 [1]모델의 동작과 가능한 데이터 흐름을 설명하는 형식주의입니다.Arbab [2]등에 의해 모델 확인을 위한 유한 오토마타의 변형으로서 도입되었습니다.

제약 자동화는 확률 대신 데이터 제약이 상태 전이를 레이블링하고 점화에 영향을 미치는 확률적 자동화의 일반화로 간주될 수 있습니다.

참고 항목

레퍼런스

  1. ^ 이란 테헤란 샤리프 공과대학교 수리과학과 사라 나비드푸르와 모하마드 이자디의 "제약 자동화의 선형 시간 논리".
  2. ^ Nikunj R의 "제약 오토마타를 이용한 소프트웨어 아키텍처 어셈블리의 효과적인 모델링"메타, 마르잔 시르자니, 파하드 아르밥.CWI 기술 보고서 SEN-R0309, 2003년 10월 22일.