닫기
Loading..

Please wait....

국내 논문지

홈 홈 > 연구문헌 > 국내 논문지 > 한국정보과학회 논문지 > 정보과학회 논문지 B : 소프트웨어 및 응용

정보과학회 논문지 B : 소프트웨어 및 응용

Current Result Document : 7 / 7 이전건 이전건

한글제목(Korean Title) HDTL을 이용한 병렬 자바 프로그램의 모니터링과 검사
영문제목(English Title) Monitoring and Checking Concurrent Java Programs with HDTL
저자(Author) 조승모   김형호   차성덕   배두환  
원문수록처(Citation) VOL 29 NO. 05 PP. 0345 ~ 0354 (2002. 06)
한글내용
(Korean Abstract)
정형 명세를 이용하여 구현된 프로그램이 수행 중에 명세를 만족시키는지 모니터링하고 검사하는 기법에 대한 연구들이 기존에 많이 수행되어 왔다. 이들은 주로 요구사항 명세언어로 시제논리 혹은 그것의 확장을 사용하게 된다. 이때 대부분의 연구는 실제 구현된 시스템이 가지는 동적인 변화를 제대로 요구사항 명세에 기술하고, 검사할 수 있는 언어를 제공하지 못하고 있다. 본 연구에서는 동적 시스템의 특성 명세언어로 기존에 제안했던 HDTL을 사용하여 동적인 자바 프로그램의 수행을 모니터링하고 검사하는 프레임웍을 제안한다. 
영문내용
(English Abstract)
There have been many researches about monitoring and checking the implementations during run-time using formal requirement specification. They usually adopt temporal logics or their extensions to specify the requirements for the implementations. However, most of the systems fail to support the specification of requirements for dynamic systems - systems whose components are created and removed during run-time. Unlike analysis or design models, most actual implementations are dynamic, so the notion of instances should be employed in the property specification language. In this paper, we show how we can monitor and check Java programs using our temporal logic for dynamic systems (HDTL). We suggest a framework in which the execution of Java programs are monitored and checked against given HDTL requirements.
키워드(Keyword) 정형 명세   동적 시스템 검증   자바   formal specification   dynamic system verification   Java  
파일첨부 PDF 다운로드