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
소프트웨어 시스템의 아키텍처 설계 품질은 시스템에 대한 비기능적 요구 사항을 달성하는 데 큰 영향을 미치므로 개발 프로세스의 초기 단계에서 설계된 아키텍처에 대한 공식적인 평가 및 검증 기술이 필요합니다. 본 논문에서는 CPN(Colored Petri Nets)을 기반으로 소프트웨어 아키텍처를 공식적으로 설명하는 기술과 아키텍처 구성 요소를 재사용하는 기술을 제시합니다. 건축기술서는 기본적으로 CPN언어로 작성되므로 건축기술서에 대한 평가 및 분석은 건축설계문구로 이루어질 수 있다. 표준 건축 스타일과 건축 패턴에서 재사용 가능한 건축 부분을 추출하여 디자이너가 그 부분만을 검색하고 결합함으로써 건축을 구성할 수 있도록 합니다. 우리는 또한 아키텍처 부분의 조합을 설명하기 위한 언어를 설계했습니다. 우리 기술의 효율성을 보여주기 위해 칠판 아키텍처가 재사용 가능한 부품으로 구성되고 CPN 도구(Design/CPN)에서 시뮬레이션되는 방법을 보여줍니다.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
부
Wenxin WU, Motoshi SAEKI, "Specifying Software Architectures Based on Coloured Petri Nets" in IEICE TRANSACTIONS on Information,
vol. E83-D, no. 4, pp. 701-712, April 2000, doi: .
Abstract: The quality of an architectural design of a software system has a great influence on achieving non-functional requirements to the system, so formal evaluation and validation techniques to designed architectures are necessary in the early phase of development processes. In this paper, we present a technique for describing software architectures formally based on Coloured Petri Nets (CPNs) and a technique for reusing architectural constituents. Architectural descriptions are essentially written with a CPN language, so that the evaluation and analysis on the architectural descriptions can be made in architectural design phrase. We extract reusable architectural parts from standard architecture styles and architectural patterns so that a designer can construct an architecture by only retrieving the parts and combine them. We also designed the language for describing the combination of the architectural parts. To show the effectiveness of our techniques, we illustrate how a blackboard architecture can be composed of reusable parts and be simulated on a CPN tool (Design/CPN).
URL: https://global.ieice.org/en_transactions/information/10.1587/e83-d_4_701/_p
부
@ARTICLE{e83-d_4_701,
author={Wenxin WU, Motoshi SAEKI, },
journal={IEICE TRANSACTIONS on Information},
title={Specifying Software Architectures Based on Coloured Petri Nets},
year={2000},
volume={E83-D},
number={4},
pages={701-712},
abstract={The quality of an architectural design of a software system has a great influence on achieving non-functional requirements to the system, so formal evaluation and validation techniques to designed architectures are necessary in the early phase of development processes. In this paper, we present a technique for describing software architectures formally based on Coloured Petri Nets (CPNs) and a technique for reusing architectural constituents. Architectural descriptions are essentially written with a CPN language, so that the evaluation and analysis on the architectural descriptions can be made in architectural design phrase. We extract reusable architectural parts from standard architecture styles and architectural patterns so that a designer can construct an architecture by only retrieving the parts and combine them. We also designed the language for describing the combination of the architectural parts. To show the effectiveness of our techniques, we illustrate how a blackboard architecture can be composed of reusable parts and be simulated on a CPN tool (Design/CPN).},
keywords={},
doi={},
ISSN={},
month={April},}
부
TY - JOUR
TI - Specifying Software Architectures Based on Coloured Petri Nets
T2 - IEICE TRANSACTIONS on Information
SP - 701
EP - 712
AU - Wenxin WU
AU - Motoshi SAEKI
PY - 2000
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E83-D
IS - 4
JA - IEICE TRANSACTIONS on Information
Y1 - April 2000
AB - The quality of an architectural design of a software system has a great influence on achieving non-functional requirements to the system, so formal evaluation and validation techniques to designed architectures are necessary in the early phase of development processes. In this paper, we present a technique for describing software architectures formally based on Coloured Petri Nets (CPNs) and a technique for reusing architectural constituents. Architectural descriptions are essentially written with a CPN language, so that the evaluation and analysis on the architectural descriptions can be made in architectural design phrase. We extract reusable architectural parts from standard architecture styles and architectural patterns so that a designer can construct an architecture by only retrieving the parts and combine them. We also designed the language for describing the combination of the architectural parts. To show the effectiveness of our techniques, we illustrate how a blackboard architecture can be composed of reusable parts and be simulated on a CPN tool (Design/CPN).
ER -