본문 바로가기
HOME> 논문 > 논문 검색상세

논문 상세정보

Live Sequence Chart 명세언어의 의미론적 정의
Defining Semantics of Live Sequence Chart Specification

이은영    (동덕여자대학교 정보과학대학 컴퓨터학과  );
  • 초록

    사용자와 상호작용을 하는 복잡한 기능을 가진 소프트웨어 시스템을 구현하는데 있어서, 사용자의 요구를 분석하고 이를 개발되는 시스템에 제대로 반영하는 매우 중요한 일이다. 따라서 사용자의 필요를 빠르고 정확하게 이해하는 것이 성공적인 소프트웨어 시스템을 개발하는 중요한 열쇠가 된다. 여러 가지의 요구 명세 언어 중에서도 UML의 Sequence Diagram으로 알려져 있는 Message Sequence Charts (MSC)는 시나리오 개념을 가장 잘 표현하고 있는 언어라고 할 수 있다. Live Sequence Charts (LSC)는 MSC의 확장된 형태로 메시지 추상화와 시나리오의 모드 설정이 가능하다는 특징을 가지고 있다. 본 논문에서는 기존의 연구에서는 다루어지지 않았던 LSC 명세언어의 주요 생성자들을 모두 포괄할 수 있는 LSC 명세언어의 의미론을 새롭게 정의하고 논의하였다. 본 논문에서 정의된 의미론은 기존의 방법들과 비교했을 때 훨씬 넓은 범위의 LSC 명세언어를 포괄하고 있으며, 그동안 정형화되지 않았던 기존의 LSC 명세언어의 내용을 가장 정확하게 표현하고 있다는 장점을 가지고 있다.


    While developing a complex reactive software system. it is very important to analyze the user requirement and reflect it to the developed system. Therefore understanding the need of users precisely and promptly is the key to the successful software system development. Among several requirement specification languages, message sequence charts (MSCs), also known as sequence diagrams in UML are the most widely used scenario notation. Live Sequence Charts (LSCs) are a variant ot MSCs, characterized by its message abstraction facility and the modality of scenarios. In this paper, I define the formal semantics of LSC specification including the essential language constructs such as pre-charts, variables, assignment and conditions. The range of the formalized LSC language has been broadened, and the scope of the formalized semantics is much closer to the complete LSC specification.


  • 주제어

    UML .   Message Sequence Charts .   Scenario-based Language .   Formal Specification .   Language Semantics.  

 저자의 다른 논문

  • 이은영 (12)

    1. 2006 "프로그래밍 언어에 기반한 정보흐름 보안" 情報保護學會誌 = KIISC review 16 (5): 35~44    
    2. 2006 "실용적인 시스템을 위한 안전한 소프트웨어 컴포넌트 조합" 情報保護學會論文誌 = Journal of the Korea Institute of Information Security and Cryptology 16 (4): 43~57    
    3. 2010 "소프트웨어 보안취약점 데이터베이스 구축 사례" 정보과학회지 = Communications of the Korean Institute of Information Scientists and Engineers 28 (2): 20~31    
    4. 2010 "Plans and Strategies for UBcN Networks and Services" Journal of information processing systems 6 (3): 323~334    
    5. 2012 "소프트웨어 보안약점의 중요도에 대한 정량 평가 기준 연구" 情報保護學會論文誌 = Journal of the Korea Institute of Information Security and Cryptology 22 (6): 1407~1417    
    6. 2015 "SW 개발보안을 위한 보안약점 표준목록 연구" 情報保護學會誌 = KIISC review 25 (1): 7~17    
    7. 2015 "보안취약점 중요도 정량 평가 체계 연구" 情報保護學會論文誌 = Journal of the Korea Institute of Information Security and Cryptology 25 (4): 921~932    
    8. 2016 "상용 및 공개 소프트웨어 의도적 보안약점 동향" 情報保護學會誌 = KIISC review 26 (1): 9~19    
    9. 2018 "Verifying Code toward Trustworthy Software" Journal of information processing systems 14 (2): 309~321    

 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역

원문보기

무료다운로드
  • NDSL :
유료다운로드

유료 다운로드의 경우 해당 사이트의 정책에 따라 신규 회원가입, 로그인, 유료 구매 등이 필요할 수 있습니다. 해당 사이트에서 발생하는 귀하의 모든 정보활동은 NDSL의 서비스 정책과 무관합니다.

원문복사신청을 하시면, 일부 해외 인쇄학술지의 경우 외국학술지지원센터(FRIC)에서
무료 원문복사 서비스를 제공합니다.

NDSL에서는 해당 원문을 복사서비스하고 있습니다. 위의 원문복사신청 또는 장바구니 담기를 통하여 원문복사서비스 이용이 가능합니다.

이 논문과 함께 출판된 논문 + 더보기