8
무료로 사용할 수있는 오픈 소스 툴킷 인 YAKINDU 상태 차트 도구 (SCT)는 상태 차트 개념을 기반으로 반응 형 이벤트 중심 시스템의 사양 및 개발을위한 통합 모델링 환경을 제공합니다.Yakindu Statechart Tools (SCT) 편집은 그래픽과 텍스트 표기법의 직관적 인 조합을 제공합니다.상태, 전환 및 상태 계층은 그래픽 요소이지만 모든 선언 및 동작은 텍스트 표기법을 사용하여 지정됩니다.상태 차트 편집기의 유용성은 이러한 상태 차트 작업에 최적화되어 있습니다.유효성 검사 상태 차트의 유효성 검사에는 전체 상태 차트의 구문 및 의미 검사가 포함됩니다.유효성 검사의 예로는 도달 할 수없는 상태, 막 다른 길 및 알 수없는 이벤트에 대한 참조가 있습니다.이러한 유효성 검사 제약 조건은 편집 중에 실시간으로 확인됩니다.시뮬레이션 구조적 유효성 검사 외에도 동적 의미 체계를 확인하는 것이 중요합니다.육안 검사만으로는 상태 차트의 정확성을 판단 할 수 없습니다.따라서 사용자는 작업중인 상태 차트를 실행할 수 있어야합니다.통합 된 상태 차트 시뮬레이션 엔진은 이러한 요구를 해결합니다.사용자는 모델링 환경 내에서 직접 상태 차트를 실행할 수 있습니다.활성 상태는 상태 차트 편집기에서 직접 강조 표시되며 전용 시뮬레이션 퍼스펙티브는 실행 제어 (시작, 중지, 일시 중지, 재개), 검사 및 설정 변수에 대한 액세스 및 이벤트 발생 기능을 제공합니다.코드 생성 Yakindu Statechart Tools (SCT)에는 Java, C 및 C ++ 용 코드 생성기가 포함되어 있습니다.코드 생성기는 '코드 전용'접근 방식을 따르며 추가 런타임 라이브러리에 의존하지 않습니다.생성 된 코드는 잘 정의 된 인터페이스를 제공하며 모든 클라이언트 코드와 쉽게 통합 될 수 있습니다.생성 된 코드는 또한 매우 효율적으로 읽을 수 있고 구조화됩니다