• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권6호
• /
• pp.773-783
• /
• 2004

본 연구는 스테이트차트의 실시간 검증을 위한 알고리즘을 제안한다. 스테이트차트는 실시간 반응형 시스템의 명세에 많이 사용되고 있으며 동기적과 비동기적인 두개의 시간모델을 지원한다. 그러나 기존의 스테이트차트에 대한 실시간 검증 방법은 비동기적 시간 모델과 호환되지 않거나, 변수를 모델에 추가함으로써 모텔의 상태 공간을 증가시키는 단점이 있었다. 우리는 기존의 모델 체킹 알고리즘을 확장하여 이러한 문제점을 해결하였다. 확장된 알고리즘은 시간을 증가시키는 전이만을 고려하기 때문에 스테이트차트의 두 가지 시간 모델에 모두 사용할 수 있으며, 시간의 계산이 알고리즘 내부적으로 이루어지기 때문에 모델에 변수를 추가할 필요가 없어 상태공간을 증가시키지 않는다. 본 연구는 이러한 알고리즘을 토대로 기존의 모델 체커인 NuSMV를 확장하였으며, 사례 연구를 통하여 그 유용성을 확인하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.379-380
• /
• 2007

스테이트 차트에서 (Unified Modeling Language: UML) 상태 기반의 이벤트를 처리하는 실행 상태를 기술하고, 구현과 임베디드 시스템에 적용하는 방안에 대하여 논의하며 퀀텀 플랫폼(quantum platform)을 이용하는데 구성요소인 퀀텀프레임워크 컴포넌트에 대한 부분을 Windows Host 환경에 적용하는 방법에 대해 연구하고 성능평가를 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (C)
• /
• pp.418-420
• /
• 2003

현대 사회의 급변하는 기업환경에 대처하기 위해서 기업들은 기존의 애플리케이션 사이에 중간 매개체인 미들웨어를 설치하여 애플리케이션 통합을 이룰 수 있는 EAI를 도입하고 있다. 그러나 현재의 EAI는 상이한 미들웨어를 사용하는 시스템간의 통합을 위해서 Point-to-Point방식의 코딩을 사용해야 한다는 문제점이 있다. 본 논문에서는 스테이트 차트와 XML기술을 이용하여 다양한 미들웨어 시스템 상의 애플리케이션을 효율적으로 통합할 수 있는 미들웨어 독립적인 워크플로우 매니지먼트 시스템을 제안한다.

• 정보처리학회논문지D
• /
• 제10D권6호
• /
• pp.1011-1016
• /
• 2003

현대 사회의 급변하는 기업환경에 대처하기 위해서 기업들은 기존의 애플리케이션 사이에 중간 매개체인 미들웨어를 설치하여 애플리케이션 통합을 이룰 수 있는 EAI를 도입하고 있다. 그러나 이러한 미들웨어 기반의 EAI는 미들웨어의 종속적인 부가 코딩을 필요로 한다는 문제점이 있다. 본 논문에서는 스테이트 차트와 XML 기술을 이용하여 다양한 미들웨어 시스템 상의 애플리케이션을 효율적으로 통합할 수 있는 이중(duplicate) 어댑터 기반의 미들웨어 독립적 위크플로우 관리 시스템을 제안한다.