check-p1.png


check-p2.png


check-p3.png


check-p4.png


check-p5.png


날짜 : 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. OMiLABSAVE 테스트 버전 삽입(YB)

 

6. MK 할 일

  • - 수업 마무리하기
  • - 툴 페이지

 

7. 행위 온톨로지 관련

  • - 기능적 요구사항
    • = d-calculus로 분석
    • = d-cal은 이동성을 가장 잘 표현할 수 있음
    • = 대표적인 예제는 EMS
    • = Resource Allocation의 문제
  • - 보안적 요구사항
    • = GTS Logic로 분석
  • - 행위 온톨로지
    • = 행위를 Knowledge로 볼 때(Dynamic)
    • = Lathue로 명세
    • = n:L-레티스를 정의함
    • = 레티스는 일반적으로 upper case가 하나 뿐
    • = Adoxx의 모델링 툴로 구현하기(JS)
    • = D-calGTS Logic를 결합한 레티스를 가질 수 있음
    • = 분석 결과를 데이터베이스에 넣기

 

8. 소프트웨어 개발 프로젝트

  • - 621일에 기말고사 겸 일괄 발표

 

일정

  • 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: __________________