Specifying Software Architectures Based on Coloured Petri Nets(Special Issue on Knowledge-Based Software Engineering)

スポンサーリンク

概要

• 論文の詳細を見る

• 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).

• 社団法人電子情報通信学会の論文
• 2000-04-25

著者

• Saeki Motoshi

  The Authors Are With The Department Of Computer Science Tokyo Institute Of Technology

• Wu Wenxin

  The Authors Are With The Department Of Computer Science Tokyo Institute Of Technology:presently With

関連論文

• Specifying Software Architectures Based on Coloured Petri Nets(Special Issue on Knowledge-Based Software Engineering)
• Applying Multiple Program Graphs to Modify Specifications(Special Issue on Knowledge-Based Software Engineering)
• Method Integration with Formal Description Techniques(Special Issue on Knowledge-Based Software Engineering)

スポンサーリンク