UML/OCLを用いた分散実時間アプリケーション開発手法の提案  [in Japanese] A Method to Develop Distributed Real-time Applications based on UML/OCL  [in Japanese]

Access this Article

Search this Article

Author(s)

Abstract

本稿では, UML/OCLを用いた分散環境実時間アプリケーション開発を支援する手法を提案する. 提案手法により, UML/OCLを用いた開発アプリケーションの設計から時間オートマトンを用いたUML/OCLに対するTimeliness QoSの効率良い整合性検証, 時間制御コード自動生成が可能となる. 設計, 検証作業は二段階に分けられ, これにより検証の効率化がはかられる. 本稿では, 提案手法に基づいた検証系および導出系の実装, さらに例題に対する適用結果について述べる.

We propose a technique for developing real-time application in distributed environments based UML/OCL. The technique efficiently checks Timeliness QoS consistency of the system and generates codes of the application. Checking Timeliness QoS consistency is devided into two steps, which allows us to verify it efficiently good performance. In this paper, we will explain systems implementating the techniques. Applying the method to a simple example finds that checking the consistency and code generation perform in a few seconds.

Journal

  • Technical report of IEICE. SS

    Technical report of IEICE. SS 104(723), 1-6, 2005-03-08

    The Institute of Electronics, Information and Communication Engineers

References:  12

Codes

  • NII Article ID (NAID)
    110003277300
  • NII NACSIS-CAT ID (NCID)
    AN10013287
  • Text Lang
    JPN
  • Article Type
    ART
  • ISSN
    09135685
  • NDL Article ID
    7359894
  • NDL Source Classification
    ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
  • NDL Call No.
    Z16-940
  • Data Source
    CJP  NDL  NII-ELS  IR 
Page Top