A Formal Specification of Components in a Component-Based Framework Development Method

スポンサーリンク

概要

• 論文の詳細を見る

• In a formally specified component based framework development method, three rules are imposed on the component extraction/design from the view points of framework's hot spot and algebraic specification, one of the formal specification languages. According to these rules, problems for specifying functional aspect of framework which is composed by connecting components are clarified, and these are shown to be solved by descriptive device and theoretical extension of algebraic specification. Then using these solutions, components of business transaction processing are specified, from which the solutions are evaluated.

• 社団法人電子情報通信学会の論文
• 2002-02-01

著者

• Yoshida Kazuki

  System Integration Technology Center Toshiba Corporation

• HONIDEN Shinichi

  National Institute of Informatics

• Honiden Shinichi

  National Institute Of Informatics:graduate School Of Information Science And Technology The Universi

関連論文

• On Applicability of Formal Methods and Tools to Dependable Services
• A Formal Specification of Components in a Component-Based Framework Development Method
• A Context-Aware Personal Agent in Ubiquitous Environments and Its Experimental Trial( Software Agent and Its Applications)
• Evaluation of a Multi Agent Framework for Open Distributed Systems(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
• Designing Multi-Agent Systems Based on Pairwise Agent Interactions (Special Issue on Software Agent and Its Applications)
• An Authentication Architecture for Collaboration Among Agents in Ad Hoc Networks, Vol.J86-B,No.3, pp.419-427

スポンサーリンク