날 짜 : 2017-06-22 ()

주 제 : 개발 회의

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

기록자 : JS

 

0. 회의 안건


1) [17-030-RC-09] [MK, YB] NEMO 2017 Lecture

2) [17-007-RD-03] [MR] PRISM0.1/ADOxx

3) [17-065-RC-28] [MK] FM Book


1. [17-030-RC-09] [MK, YB] NEMO 2017 Lecture


- YB : 

  • SAVE 예제를 구성함. C, B, A 단계로 구성하여 C에서 A로 갈수록 난이도가 올라감.
  • PBC 예제를 기본으로 하며, C는 순차적 구조, BChoice가 포함된 구조,
  • AException이 포함된 구조로 구성됨.

[File Included] 4--2017-06-22-SAVE Example.ppt


- MK :

  • C, B, A 단계구성을 전개성을 위해 A, B, C 단계구성으로 변경할 것.
  • 만일 나중에 D 단계가 있을 경우 추가하기 위함.
  • 실습 구성을 미리 준비해서 가야함. 그림으로 명세할 경우 각양각색일수 있으므로
  • 시스템 내부에 미리 준비하길 바람.
  • d-cal로 명세를 하고 이것이 이미지로 나와야함.
  • SH의 파서 결과가 나와야함. SAVE 버전에 대해 논의해보길 바람.

[File Included] 4--2017-06-22-board1.jpg

 

2. [17-007-RD-03] [MR] PRISM0.1/ADOxx


- MR : 

  • 지난주에 Lattice 자동화에 부분을 완료는 하지 못했지만 진행함.
  • 현재 일부 Beh위치는 정상 위치에 시각화가 이루어지고 있으며,
  • 몇몇 Beh의 위치가 조금 다르게 나오고 있어 수정해야함.
  • 아직 Inclusion Relationship의 시각화 되지 않음.

- MK : 

  • 이번 NEMO 강의 자료는 도구적 관점에서 20분은 SAVE, 20분은 PRISM을 소개하고,
  • 두 시스템이 어떻게 연동되는지 발표할 예정.
  • 따라서 MR의 자동화가 끝나게 되면 JS과 데이터 구조를 논의해서, SAVE에서 나오는
  • 데이터를 어떻게 PRISM에 투사할지 생각해보기 바람.

[File Included] 4--2017-06-22-board2.jpg


- JS : 

  • HCSComposition은 잠시 뒤로 미루고 일단 SAVE와의 연동에 초점을 맞춰야함.


3. [17-065-RC-28] [MK] FM Book


- MK : 

  • 일정 확인. 금일(22) 까지 Logic 1차 초안 마무리해야함.
  • 내일(23)부터 Process Algebra 진행 진행하고, P.A1차 마무리
  • 토요일(24)P.A2차 마무리, 일요일(25)에 최종 검토 후 다음 주부터 교정 들어감.

- MK : CCS의 개념 설명


[File Included] 4--2017-06-22-board3.jpg

 

MK : __________________

YB : __________________

SH : __________________

JS : __________________

MR : __________________


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


[MK] Included: (4)


1) NEMO Exercise: [File Included] 4--2017-06-22-SAVE Example.ppt [Classified]

2) Board snapshot (3):

i) NEMO Excercise :  [File Included] 4--2017-06-22-board1.jpg

ii) Tool integration: SAVE+PRISM:  [File Included] 4--2017-06-22-board2.jpg

iii) CCS Basic Concept: [File Included] 4--2017-06-22-board3.jpg