2016.06.04 14:36:44 (*.70.193.131)
36761
날짜 : 2016-06-04 (토)
주제 : 주간 결산 회의 및 SAVE 회의
참여자 : JS, YB, SH, MK
기록자 : SH
1. YB논문 보강
- - CASE 스터디 보강하기
- - 한글 논문 번역 방법
- = 1단계 : 문장번역
- = 2단계 : 단락번역
2. SH논문 보강
- - 소속, 교신저자, 저자(C,V) (1,2,3번 집어넣기)
- - 다음 주 수요일 오전까지
- - 발표하기 전에 논문이 결정이 됨(온라인 저널)
3. SAVE 여름학교 책
- - 7월에 나옴
4. GTS
- - 예제 확장 후 버그 수정 함
- = Action, process block 버그 수정
- = Send Receive Block 버그 수정
- - Requirement 디펜던시 보여주기
5. OMiLAB에 SAVE 테스트 버전 삽입(YB)
6. MK 할 일
- - 수업 마무리하기
- - 툴 페이지
7. 행위 온톨로지 관련
- - 기능적 요구사항
- = d-calculus로 분석
- = d-cal은 이동성을 가장 잘 표현할 수 있음
- = 대표적인 예제는 EMS
- = Resource Allocation의 문제
- - 보안적 요구사항
- = GTS Logic로 분석
- - 행위 온톨로지
- = 행위를 Knowledge로 볼 때(Dynamic)
- = Lathue로 명세
- = n:L-레티스를 정의함
- = 레티스는 일반적으로 upper case가 하나 뿐
- = Adoxx의 모델링 툴로 구현하기(JS)
- = D-cal과 GTS Logic를 결합한 레티스를 가질 수 있음
- = 분석 결과를 데이터베이스에 넣기
8. 소프트웨어 개발 프로젝트
- - 6월 21일에 기말고사 겸 일괄 발표
●일정
- 7.11(월) ~ 7.15(금) :
- 1. SAVE 설치
- 2. ADOxx 교육 자료
- => tutorial
- => training(3일)
- 3. ADONIS 관리 교육
- 4. Partner 교육/계약
- 7.18(월) ~ 7.31(일) : NEMO Summer School
- 8.01(월) ~ 8.05(금) : 위 1~4와 같음.
●기타
- 봄 목표 : SAVE v1.0 완성하는 것에 초점을 두기
- 가을 목표 : ADOxx 사용법 튜토리얼 가능할 정도로 완료하기
YB: __________________
WR: __________________
SH: __________________
JS: __________________
