날 짜 : 2016-06-16 ()

시 간 : 10:00AM~11:00AM

주 제 : SAVE 점검 회의

참여자 : MK, YB, SH, JS, CM

기록자 : JS

 

1. 회의 안건


1) SAVE 점검

  • - SAVE Manual: [MK] Included 2.
    • = SIM (YB)
    • = GTS (SH)
  • - SAVE 예제: [MK] Included 3.
    • = PBC
    • = EMS
    • = CryptoLocker
  • - Case study
    • = B.O 예제
  • - SAVE 계획: [MK] Included 4.


2) OK-RC : Home page 개발


3) B.O (행위 온톨로지) Modeling

 

2. SAVE 점검


1) SAVE Manual

  • - YB: [MK] Included 2.
    • = 4--2016-06-16-SIM Manual (YB).ppt PT 자료 참고
    • = Simulation Manual 발표
    • = PT p.10 수정사항
      • Branch를 제외하고 Sequence 분기가 발생해서는 안됨
  • -> Branch를 제외하고 Sequence 분기가 발생해서는 안됨(CCS 비교)
    • 한 액션에는 Exception이 하나만 발생할 수 있음
  • -> 한 액션에는 Exception이 하나만 발생할 수 있음(분기 필요)
    • = PT p.11 모든 시간은 Integer형이라고 명시 했는지? 확인
    • = PT p.12 Execution Model Manual 그림 추가 / 16. 06. 20()까지 준비
  • - SH
    • = Manual보다 GTS개발부터 진행 중(YB 지시)
    • = MK : GTS Manual 16. 06. 18()까지 준비 요망 / Manual 중요
      • -> 이후 회의 과정 중 CryptoLocker 버그 수정(16. 06. 16 ~ 18 동안)
        • 집중적으로 진행하기 위해 Manual 일정을 조금 더 늦추기로 함.
        • (하단의 4) SAVE 계획 참고)


2) SAVE 예제: [MK] Included 3.

  • - 4--2016-06-16-Example.ppt PT 자료 참고
  • - PT p.5 하단 부분 Path ==> Table로 작성 요구(MK -> YB)
  • - 예제 관련 GTS 잘나옴.
  • - 일반 사용자는 syntax에 대한 정보 부족
    • 클릭만으로 Req 만들 수 있도록 Dialog box 필요 / 중요함
      • = 4--2016-06-16-board_1 사진 자료 참고: [MK] Included 1.
  • - PT 수정 요청
    • = Requirement -> Requirements

 

3) Case Study B.O 예제

  • - YB : B.O 예제를 그대로 사용하면 너무 간단하게 나오지 때문에
    • 예제를 수정해서 넣는 것이 좋다고 판단되어짐.


4) SAVE 계획

- 4--2016-06-16-Plan.ppt PT 자료 참고

- PT p.4 Variable 값에 의한 조건 분기(equality)관련 Manual에 추가 요청(MK -> YB)

- MK

= SHGTS 버그 수정 필요, ~18까지 CryptoLocker 버그 수정

Manual 일정을 조금 늦추겠음.

논문 Review 또한 조금 늦추겠음.

발표는 아직 알 수 없지만, 논문 수정은 16. 07. 01까지 임으로 그 전에 처리해야함.

B.O 예제 진행하면 더 많은 버그가 발생 할 수 있음.

 

3. OK-RC : Home page 개발

  • - CM 개발 환경 조성 : SH -> JS 위임
    • = local로 환경 조성 : 금일 오후까지 조성 완료하겠음
    • = 기존에 있는 HomePage는 잠시 비활성화 (SH)


4. B.O (행위 온톨로지) Modeling

  • - Step 1. Class Diagram
    • = ADOxx 상에서 Class Diagram 작성 하는 툴이 있음.
    • = 여기에 행위에 관한 Action을 추가
  • - Step 2. Step 1Action들을 순서로 표현 B.O
    • = Regular Expression 오토마타, 컴파일러 이론으로 표현 가능
    • = 이 단계에서 동적 정보의 순서를 가짐
  • - Step 3. Step 2의 정보 추상화
    • = 행동 추상화 / Lattice로 표현 => 어려운 작업임
  • - Step 1부터 진행.(JS)
  • - 연구의 큰 그림 소개: [MK] Included 1.
    • = 4--2016-06-16-board_2 사진 자료 참고

 

일정

  • 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 사용법 튜토리얼 가능할 정도로 완료하기

MK : ------------------

YB : __________________

SH : __________________

JS : __________________

CM : __________________


=====================================================


[MK] Included:


1) White Board: 

1-1) GTS Logic Query System: Dialog 방식

1-2) BO Process w/ SAVE (d-calculus + GTS logic)

2) SAVE/SIM Mannual

3) SAVE Examples: PBC, EMS, Crypto Lock

4) SAVE/SIM Plan