ペトリネットで記述された簡易ブラウザ型の組込み Java プログラム動作仕様に対する実行方式の提案  [in Japanese] A deriving method for J2ME programs on personal appliances from application descriptions in Petri-nets and their executional environment  [in Japanese]

Access this Article

Search this Article

Author(s)

Abstract

簡易ブラウザ型のJ2MEプログラムの仕様に対する実行方式とプログラムの自動導出法を提案する.プログラムの動作仕様をペトリネットで記述することにより,並行・同期制御も容易に表現でき,形式的検証も行いやすい.本稿では,実行制御を表したペトリネット記述から,アプリケーションロジックとリソースを動的にロードし解釈実行するプログラムを導出する.提案方式では,解釈するロジックにペトリネットの接続行列を用い,オフライン実行を考慮した単純な機構を実現することで実行プログラムサイズを抑え,また,通信コストを軽減できる.

This paper presents a method automatically deriving J2ME programs from application descriptions in Petri-nets, which can easily express parallel and concurrent actions, and can be analyzed by means of formal analysis methods. The derived program executes a partial sequence of whole transitions downloaded from a peer server. The sequence and related resources are downloaded in step-by-step manner according to matrix equations of the given Petri-net. The proposed method can reduce the size of a client-side program and also can reduce the cost of communication.

Journal

  • Technical report of IEICE. SS

    Technical report of IEICE. SS 102(246), 1-6, 2002-07-19

    The Institute of Electronics, Information and Communication Engineers

References:  11

Codes

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