• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Specification for Object-Oriented Software and Derivation of Programs

Research Project

Project/Area Number 13680414
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field 計算機科学
Research InstitutionOsaka University

Principal Investigator

TANIGUCHI Kenichi  Osaka University, Graduate School of Information Science and Technology, Professor, 大学院・情報科学研究科, 教授 (00029513)

Co-Investigator(Kenkyū-buntansha) OKANO Kozo  Osaka University, Graduate School of Information Science and Technology, Associate Professor, 大学院・情報科学研究科, 助教授 (70252632)
YASUMOTO Keiichi  Nara Institute of Science and Technology, Graduate School of Information Science, Associate Professor, 情報科学研究科, 助教授 (40273396)
YAMAGUCHI Hirozumi  Osaka University, Graduate School of Information Science and technology, Research Associate, 大学院・情報科学研究科, 助手 (80314409)
Project Period (FY) 2001 – 2004
Project Status Completed (Fiscal Year 2004)
Budget Amount *help
¥3,400,000 (Direct Cost: ¥3,400,000)
Fiscal Year 2004: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 2003: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 2002: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 2001: ¥1,400,000 (Direct Cost: ¥1,400,000)
KeywordsObject-Oriented / Distributed Real-time System / Sate-chart / UML / OCL / Timed Automaton / Program Derivation / Petri-nets / Quality of Services / 線形計画法 / 分散マルチメディアシステム / コンポーネントベースシステム / Java / 分散オブジェクト / プログラム自動導出 / カラーペトリネット / GUI / 時間制約
Research Abstract

The research aims to establish methods for design high reliable object oriented software, those for describing the systems, and those for deriving efficient program codes.
First, we focused on Petri-nets and its extended models. We have proposed a method deriving workflow from a given Petri-net model extended with clocks as a color of a token. The method also provides a flexible schedule management system for the derived work-flow.
We have also proposed a synthesis method for scenario based GUI specification. The scenario is based on timed automata model.
Next, we have proposed a method to derive program codes for personal appliances automatically from Petri-net based specification, which efficiently works on a resource limited personal appliance. Its execution scheme sends needed codes from a server by on-demand-scheme.
Last, we have proposed a method to develop real-time distributed systems form UML/OCL specification. It is based on component-based design and to exploit the hierarchical design, it can efficiently verify timeliness QoS. The proposed method also automatically derives control codes in Java form the specification.

Report

(5 results)
  • 2004 Annual Research Report   Final Research Report Summary
  • 2003 Annual Research Report
  • 2002 Annual Research Report
  • 2001 Annual Research Report
  • Research Products

    (27 results)

All 2005 2004 2003 2002 Other

All Journal Article (20 results) Publications (7 results)

  • [Journal Article] A Method to Develop Distributed Real-time Applications based on UML/OCL2005

    • Author(s)
      Aya MAKIDERA, Eigo NAGAI, Kozo OKANO, Kenichi TANIGUCHI
    • Journal Title

      TECHNICAL REPORT OF IEICE. Vol.104, No.723

      Pages: 1-6

    • NAID

      110003277300

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] UML/OCLを用いた分散環境実時間アプリケーション開発手法の提案2005

    • Author(s)
      牧寺 彩 他
    • Journal Title

      電子情報通信学会技術報告 Vol.104 No.723

      Pages: 1-6

    • Related Report
      2004 Annual Research Report
  • [Journal Article] マルチメディアシステムにおけるTimeliness QoS一貫性検証と時間制御コード導出2004

    • Author(s)
      森一夫 他
    • Journal Title

      電子情報通信学会技術研究報告 Vol.103,No.583

      Pages: 13-18

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] 線形制約式を用いた時間QoS一貫性の検証法2004

    • Author(s)
      岡野浩三他
    • Journal Title

      京都大学数理解析研究所講究録 Vol.1375

      Pages: 151-157

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] 分散環境実時間アプリケーション開発支援のためのTimeliness QoS一貫性検証系および時間制御コード生成系の実装2004

    • Author(s)
      牧寺彩 他
    • Journal Title

      電子情報通信学会技術報告 Vol.104,No.243

      Pages: 19-24

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] UML/OCLを用いた分散環境実時間アプリケーション開発手法の提案2004

    • Author(s)
      牧寺彩 他
    • Journal Title

      電子情報通信学会技術研究報告 Vol.104,No.723

      Pages: 1-6

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Consistency Checking of Timeliness QoS of Multi-Media Systems and Derivation of Codes for Timing Control2004

    • Author(s)
      Kazuo MORI, Kozo OKANO, Kenichi TANIGUCHI
    • Journal Title

      TECHNICAL REPORT OF IEICE. Vol.103, No.583

      Pages: 13-18

    • NAID

      110003276701

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Consistency Checking of Timeliness QoS with Linear Constraints2004

    • Author(s)
      Kozo OKANO, Kazuo MORI, Kenichi TANIGUCHI
    • Journal Title

      Kokyuroku of Research Institute for Mathematical Sciences Kyoto University Vol.1375

      Pages: 151-157

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] A Timeliness QoS Consistency Checker and a Timing Control Code Generator for Development of Real-time Applications in Distributed Environments2004

    • Author(s)
      Aya MAKIDERA, Kozo OKANO, Kenichi TANIGUCHI
    • Journal Title

      TECHNICAL REPORT OF IEICE. Vol.104, No.243

      Pages: 19-24

    • NAID

      110003276723

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] 分散環境実時間アプリケーション開発支援のためのTimeliness QoS一貫性検証系および時間制御コード生成系の実装2004

    • Author(s)
      牧寺彩 他
    • Journal Title

      電子情報通信学会技術報告 Vol.104 No.243

      Pages: 19-24

    • Related Report
      2004 Annual Research Report
  • [Journal Article] 拡張時間オートマトン群による実時間システムの記述および検証2003

    • Author(s)
      加藤雄一郎 他
    • Journal Title

      電子情報通信学会技術研究報告 Vol.102,No.616

      Pages: 13-18

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Specification and Verification of Real-Time System with Extended Timed Automata2003

    • Author(s)
      Yuichiro KATO, Hirozumi.YAMAGUCHI, Kozo OKANO, Kenichi TANIGUCHI
    • Journal Title

      TECHNICAL REPORT OF IEICE. Vol.102, No.616

      Pages: 13-18

    • NAID

      110003276632

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] 時間制約付きカラーペトリネットで記述されたワークフローからのスケジュール導出2002

    • Author(s)
      山口昭 他
    • Journal Title

      電子情報通信学会技術報告 Vol.102,No.629

      Pages: 23-30

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] ワークフロー記述向きの時間付きカラーペトリネット2002

    • Author(s)
      岡野浩三 他
    • Journal Title

      電子情報通信学会技術報告 Vol.102,No.96

      Pages: 13-16

    • NAID

      110003299879

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] 時間制約を持つGUI制御部の仕様記述の一手法2002

    • Author(s)
      加藤雄一郎 他
    • Journal Title

      電子情報通信学会技術報告 Vol.102,No.629

      Pages: 15-22

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] ペトリネットで記述された簡易ブラウザ型の組込みJavaプログラム動作仕様に対する実行方式の提案2002

    • Author(s)
      坂上弘祐 他
    • Journal Title

      電子情報通信学会技術報告 Vol.102,No.246

      Pages: 1-6

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Deriving Work Schedules from Workflow Description in Colored Petri-nets with Time Constraints2002

    • Author(s)
      Akira YAMAGUCHI, Kozo OKANO, Kenichi TANIGUCHI
    • Journal Title

      TECHNICAL REPORT OF IEICE. Vol.102, No.629

      Pages: 23-30

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Colored Petri-nets with time constraints for workflow descriptions2002

    • Author(s)
      Kozo OKANO, Akira YAMAGUCHI, Kenichi Taniguchi
    • Journal Title

      TECHNICAL REPORT OF IEICE. Vol.102, No.96

      Pages: 13-16

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] A Method for Describing Specification for GUI Controllers with Timing Restrictions.2002

    • Author(s)
      Yuichiro KATO, Kozo OKANO, Kenichi TANIGUCHI
    • Journal Title

      TECHNICAL REPORT OF IEICE. Vol.102, No.629

      Pages: 15-22

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] A Deriving Method for J2ME Program on Personal Appliances from Application Descriptions in Petri-nets and their Executional environment2002

    • Author(s)
      Kosuke SAKAUE, Kozo OKANO, Kenichi TANIGUCHI
    • Journal Title

      TECHNICAL REPORT OF IEICE. Vol.102, No.246

      Pages: 1-6

    • NAID

      110003498092

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Publications] 森 一夫: "マルチメディアシステムにおけるTimeliness QoS一貫性検証と時間制御コード導出"電子情報通信学会技術報告. Vol.103, No.583. 13-18 (2004)

    • Related Report
      2003 Annual Research Report
  • [Publications] 岡野 浩三: "線形制約を用いた時間QoS一貫性の検証法"京都大学数理解析研究所考究録 計算機科学基礎理論の新展開. (To appear). 22-1-22-6 (2004)

    • Related Report
      2003 Annual Research Report
  • [Publications] 牧寺 彩: "分散環境における実時間アプリケーション動作仕様記述からのJavaコード自動導出手法の提案"電子情報通信学会春季総合大会. (To appear). (2004)

    • Related Report
      2003 Annual Research Report
  • [Publications] 坂上 弘祐 他: "ペトリネットで記述された簡易ブラウザ型の組込みJavaプログラム動作仕様に対する実行方式の提案"電子情報通信倍学会技術研究報告(信学技報). 102・246. 1-6 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] 坂上 弘祐 他: "端末間通信可能なJ2MEアプリケーションプログラムのペトリネット動作仕様からの自動導出"情報処理学会第65回全国大会予稿集. (発表予定). (2003)

    • Related Report
      2002 Annual Research Report
  • [Publications] 山口 昭: "時間制約付きカラーペトリネットで記述されたワークフローからのスケジュール導出"電子情報通信学会技術研究報告. Vol.101, NO.629. 23-30 (2002)

    • Related Report
      2001 Annual Research Report
  • [Publications] 加藤雄一郎: "時間制約を持つGUI制御部の仕様記述の一手法"電子情報通信学会技術研究報告. Vol.101, NO.629. 15-22 (2002)

    • Related Report
      2001 Annual Research Report

URL: 

Published: 2001-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi