1 / 64

D omain S pecific L anguage

D omain S pecific L anguage. socurites. 도입 예제 – 보안 시스템. OpenIt 보안 시스템 이 회사 에서는 고객 사업장에 무선 네트워크를 구성 하고 , 작은 장치들을 설치한다 . 각 장치는 흥미로운 일이 일어날 때 4 글자로 된 메시지를 보낸다 . 예를 들어 서랍에 장착된 센서는 서랍이 열릴 때 <D2OP> 라는 메시지를 보낸다 . 장치 중에는 작은 컨트롤러 장치 가 있 다 . 컨트롤러 장치는 4 글자로 된 명령 메시지에 반응한다 .

yukio
Download Presentation

D omain S pecific L anguage

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Domain SpecificLanguage socurites

  2. 도입 예제 – 보안 시스템 • OpenIt보안 시스템 • 이 회사에서는 고객 사업장에 무선 네트워크를 구성하고, 작은 장치들을 설치한다. • 각 장치는 흥미로운 일이 일어날 때 4글자로 된 메시지를 보낸다. • 예를 들어 서랍에 장착된 센서는 서랍이 열릴 때 <D2OP>라는 메시지를 보낸다. • 장치 중에는 작은 컨트롤러 장치가 있다. • 컨트롤러 장치는 4글자로 된 명령 메시지에 반응한다. • 예를 들어 컨트롤러 장치는 <D1UL>라는 메시지를 받았을 때 문을 연다. • 이러한 보안 시스템에서 핵심 부분은 컨트롤러 소프트웨어다. • 컨트롤러 소프트웨어는이벤트 메시지를 수신한다. • 수신한 메시지에 어떻게 반응할지 계산한 후, 명령 메시지를 전송한다.

  3. 김대리의 컨트롤러 문을 닫는다 김대리 서랍을 연다 전등을 켠다 전등을 켠다 서랍을 연다 금고가 열린다

  4. 김대리의 컨트롤러에 대한 상태 다이어그램

  5. 상태 머신 프레임워크에 대한 클래스 다이어그램

  6. 프레임워크 소스 코드: 이벤트와 커맨드

  7. 프레임워크 소스 코드: 이벤트와 커맨드

  8. 프레임워크 소스 코드: 상태

  9. 프레임워크 소스 코드 : 상태

  10. 프레임워크 소스 코드: 전이

  11. 프레임워크 소스 코드 : 전이

  12. 프레임워크 소스 코드: 상태 머신

  13. 프레임워크 소스 코드 : 상태 머신

  14. 프레임워크 소스 코드 : 컨트롤러

  15. 김대리의 컨트롤러 프로그래밍하기

  16. 김대리의 컨트롤러 프로그래밍하기

  17. 프로그램의 유형 상태 머신 모델 컴파일 Generic 범용적 Framework 배포 Specific 특수한 Variable 설정 코드 김대리의 컨트롤러 박부장의 컨트롤러 최비서의 컨트롤러

  18. 김대리의 컨트롤러에 대한 XML 설정 코드

  19. 김대리의 컨트롤러에 대한 XML 설정 코드

  20. 프로그램의 유형 상태 머신 모델 컴파일 Generic 범용적 Framework 배포 XML 파서 XML 파서 XML파서 Specific 특수한 Variable 설정 코드 김대리의 컨트롤러 박부장의 컨트롤러 최비서의 컨트롤러

  21. 커스텀 구문을 직접 만들어 보자

  22. 커스텀 구문을 직접 만들어 보자

  23. 프로그램의 유형 상태 머신 모델 컴파일 Generic 범용적 Framework 배포 커스텀파서 커스텀파서 커스텀파서 커스텀 구문 커스텀 구문 커스텀 구문 Specific 특수한 Variable 설정 코드 김대리의 컨트롤러 박부장의 컨트롤러 최비서의 컨트롤러

  24. DSL의 정의 • 특정 도메인에 관심을 집중해서 목적에 맞게 표현성을 한정시킨 컴퓨터 프로그래밍 언어 • 컴퓨터 프로그래밍 언어DSL은 컴퓨터가 무언가를 하도록 사람이 지시하는데 사용된다. 최신 프로그래밍 언어와 마찬가지로, DSL의 구조는 사람이 쉽게 이해할 수 있도록 만들어진다. 이와 동시에 DSL은 컴퓨터에 의해서 실행될 수 있어야 한다. • 언어적 본질DSL은 프로그래밍 언어이므로, 언어로서 가져야 하는 유창함(fluency)을 지녀야 한다. 즉, 언어의 표현력이 개별적인 표현식에서만 나타나는 게 아니라, 표현식이 서로 조합되는 방식에서도 나타나야 한다. • 한정된 표현력범용 프로그래밍 언어는 많은 기능을 제공한다. 다양한 데이터 타입을 제공하고, 제어문이 있으며, 데이터 구조를 추상화할 수도 있다. 이들 기능은 모두 유용하지만, 배우고 사용하기는 어렵다. 반면에 DSL은 특정 도메인에서 필요한 거의 최소한의 기능만을 제공한다. 따라서 DSL만으로는 소프트웨어 시스템 전체를 개발할 수 없다. 대신에 DSL은 시스템에서 특정 부분을 만들 때 사용한다. • 집중된 도메인한정된 언어는 작은 도메인에 제대로 집중해야만 쓸모가 있다. 특정 도메인에 관심을 집중해야만, 한정된 언어는 빛을 발한다.

  25. 이 설정 코드는 DSL인가?

  26. 이 설정 코드는 DSL인가?

  27. DSL의 종류 • DSL에는 외부 DSL, 내부 DSL, 그리고 언어 워크벤치가, 3가지 종류가 있다. • 외부 DSL(external DSL) - DSL을 적용할 시스템에서 메인 언어로 사용하는 언어와는 다른 언어다. - 외부 DSL은 흔히 커스텀 구문을 직접 정의하는 형식으로 사용된다. - 하지만 이미 있는 프로그래밍 언어의 구문을 사용할 때도 많다(예를 들어 XML이 주로 사용된다). - 외부 DSL로 작성한 스크립트는 텍스트 파싱 기법을 사용해서, 호스트 어플리케이션에 있는 코드로 파싱될 때가 많다.예) 정규 표현식, SQL, Awk, 스트럿츠나하이버네이트에서 활용하는 XML 설정 파일 등 • 내부 DSL(internal DSL) - 범용 언어를 활용하는 특별한 방식이다. - 내부 DSL로 작성된 스크립트는 범용 언어 안에서도 유효한 코드다. - 하지만 언어의 기능 중 일부만을, 특별한 형식으로 사용해 전체 시스템에서 조그만 부분만을 처리한다. - 따라서 내부 DSL로 작성한 스크립트는 호스트 언어보다는 커스텀 언어에 가까워야 한다. 예) 호스트 언어를 이처럼 특별한 형식으로 사용하는 전형적인 예는 Lisp • 언어 워크벤치(Language Workbench) - DSL을 정의하고 개발하는 데 특화된 IDE다. - 무엇보다도 언어 워크벤치를 사용하면 DSL 구조를 정의할 수 있을 뿐만 아니라, DSL 스크립트를 작성할 수 있는 커스텀 편집 환경을 만들 수도 있다.

  28. 첫 자바 코드 예제는 DSL인가?

  29. 자바로는 내부 DSL을 만들 수 없나?

  30. 이건 어떤가?

  31. 이건 어떤가?

  32. 언어와 시맨틱 모델 입력 DSL 파퓰레이트 시맨틱 모델

  33. [실습] ANTLR 파서 생성기를 사용해서 웹로그 파서 개발하기

  34. NCSA 포맷 웹로그 • 203.226.192.157 \ • - \ • - \ • 30/Mar/2012:17:38:42 +0900 • "GET /upload/adm/banner/main/tmp/bottom_P_L_2.jpg HTTP/1.1“\ • 200 \ • 20048 • CLIENT_IP • USER_NAME • RFC931 • LOG_DATE • REQUEST • STATUS • CONTENT_LENGTH • METHOD URL PROTOCOL

  35. 정규식 웹로그 파서 • 정규식 • (\\d+.\\d+.\\d+.\\d+) (-) (-) ([^\\s]+ [^\\s]+) \\"([^\\s]+) ([^\\s]+) ([^\\s]+)\\" (\\d+) (\\d+)

  36. 정규식 웹로그 파서 테스트 케이스

  37. 웹로그DSL을 만들어 보자 • DSL • client_ip | user_name | rfc931 | log_date+1 | method/url/protocol | status | content_length

  38. [출력용] 실습 Step by Step(발표자료에는 포함하지 않음)

  39. [실습 준비물] JDK 1.6 이상 Eclipse M2Ecplise 플러그인 antlr파서 생성기 openit.weblog.parser.zip프로젝트 템플릿 인터넷

  40. ANTLRWorks실행하기 antlrworks-1.4.3.jar를 다운로드한다. C:\에 antlr디렉터리를 만든다. 다운로드한antlrworks-1.4.3.jar를 C:\ antlr\에 복사한다. ANTLRWorks를 실행한다.java -Xmx512m -jar antlrworks-1.4.3.jar

  41. 문법 파일 만들기 • 편집기에서 아래와 같이 쓴 후, grammar Weblog; • Weblog.g라는 이름으로 저장한다.

  42. 렉싱 문법 만들기

  43. 렉싱 문법 테스트하기 • 하단의 [Interpreter] 탭을 연다. • 왼편의 입력창에, 파싱하려는 로그를 입력한 후, 실행버튼을 누른다.

  44. 파싱 문법 만들기 • 시맨틱 모델을 만들기 위한 구문을 추가한다.여기에서는 추상 구문 트리(AST: Abstract Syntax Tree)를 시맨틱모델로 사용한다.

  45. 코드 생성 옵션 추가하기 • 렉서와 파서 코드를 생성하기 위한 옵션을 추가한다. • 메뉴에서 [Generate] -> [Generate Code]를 실행한다. • AntlrWorks가 설치된 디렉터리의 하위 디렉터리에 output 디렉토리가 만들어지고, 여기에 렉서와 파서 코드가 생성된다.

  46. 생성된 렉서/파서 테스트하기 • 메뉴에서 [Run] -> [Debug..]를 실행한다. • 팝업창의 [Input Text]에 테스트하려는 로그를 입력한 후,[OK]를 누른다.javac를 실행할 수 있도록, JAVA 경로가 환경변수에 등록되어야 함 • 하단의 [Debugger] 탭을 누른다. • [Go to End] 버튼을 누르면, AST가 정상적으로 생성됨을 확인할 수 있다.

  47. 웹로그파서 프로젝트 만들기 • 이클립스에서 템플릿 프로젝트를 연다. • 생성된 코드를 복사할 패키지를 만든다.com.samsung.sds.weblog.dsl.parsercom.samsung.sds.weblog.dsl.lexer • 생성된 렉서 코드와 파서 코드를, 템플릿 프로젝트에 복사한다.

  48. 웹로그를파싱하기 위한 로더 클래스 테스트 케이스 만들기 • src/test/java에 com.samsung.sds.weblog.dsl.loader패키지를 만든다. • WeblogLoaderTest클래스를 만든다. • 프로퍼티 변수와 init 메서드를 만든다(RegExParserTest에서 복사한다.)

  49. 웹로그를파싱하기 위한 로더 클래스 테스트 케이스 만들기 • props4RegEx 변수를 props4Dsl로 이름을 리팩토링한다.(Alt + Shift + R) • is4RegEx 변수를 is4Dsl로 이름을 리팩토링한다. • 프로퍼티 파일 위치를 /regex.properties에서 /dsl.properties로변경한다.

  50. 웹로그를파싱하기 위한 로더 클래스 테스트 케이스 만들기 • 테스트 메서드를 만든다. RegExParserTest클래스에서 run_RegExWeblogParser메서드를 복사한다. • 메서드명을run_RegExWeblogParser에서 run_WeblogLoader로 변경한다. • props4RegEx를 props4Dsl로 이름을 리팩토링한다. • regex_0001를 web_0001로 변경한다. • 클래스명을RegExWeblogParser를 WeblogLoader로 바꾼다.

More Related