검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Specifying Software Architectures Based on Coloured Petri Nets 컬러 페트리 넷을 기반으로 소프트웨어 아키텍처 지정

Wenxin WU, Motoshi SAEKI

  • 조회수

    0

  • 이것을 인용

요약 :

소프트웨어 시스템의 아키텍처 설계 품질은 시스템에 대한 비기능적 요구 사항을 달성하는 데 큰 영향을 미치므로 개발 프로세스의 초기 단계에서 설계된 아키텍처에 대한 공식적인 평가 및 검증 기술이 필요합니다. 본 논문에서는 CPN(Colored Petri Nets)을 기반으로 소프트웨어 아키텍처를 공식적으로 설명하는 기술과 아키텍처 구성 요소를 재사용하는 기술을 제시합니다. 건축기술서는 기본적으로 CPN언어로 작성되므로 건축기술서에 대한 평가 및 분석은 건축설계문구로 이루어질 수 있다. 표준 건축 스타일과 건축 패턴에서 재사용 가능한 건축 부분을 추출하여 디자이너가 그 부분만을 검색하고 결합함으로써 건축을 구성할 수 있도록 합니다. 우리는 또한 아키텍처 부분의 조합을 설명하기 위한 언어를 설계했습니다. 우리 기술의 효율성을 보여주기 위해 칠판 아키텍처가 재사용 가능한 부품으로 구성되고 CPN 도구(Design/CPN)에서 시뮬레이션되는 방법을 보여줍니다.

발행
IEICE TRANSACTIONS on Information Vol.E83-D No.4 pp.701-712
발행일
2000/04/25
공개일
온라인 ISSN
DOI
원고의 종류
Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
범주

작성자

키워드