System Requirements and Formal Specifications of Hierarchical Reactive Systems (特集 マルチメディアコミュニケーションシステム)

スポンサーリンク

概要

• 論文の詳細を見る

• A methodology for the description of system requirements and formal specifications of reactive systems and the synthesis of formal specifications is presented. Based on a hierarchical structure of system properties a hierarchical assertional language is used as a requirement language and hierarchical state transition systems are used as formal specifications. Sound and complete formal specifications are synthesized from system requirements automatically. Modularity and reusability are supported by the introduction of requirement and specification modules and a partial order relation over these modules. The methodology has a practical significance because desired specifications of reactive systems can be derived or synthesized from user requirements on system functions in a systematic and stepwise way.

• 一般社団法人情報処理学会の論文
• 2002-02-15

著者

• Togashi Atsushi

  Department Of Computer Science Shizuoka University

• KANEZASHI FUMIAKI

  Graduate School of Science and Engineering, Shizuoka University

• Kanezashi Fumiaki

  Graduate School Of Science And Engineering Shizuoka University

関連論文

• System Requirements and Formal Specifications of Hierarchical Reactive Systems (特集 マルチメディアコミュニケーションシステム)
• A Modal Proof System for Mobile Processes
• On Typing Systems for the Polyadic $\pi$-Calculus(Concurrency Theory and Applications '96)
• Stereospecific [2π+2π+2π] Cycloaddition Reaction of Norbornadiene

スポンサーリンク