Specification for Object-Oriented Software and Derivation of Programs

面向对象软件和程序派生规范

• 批准号: 13680414
• 负责人: TANIGUCHI Kenichi
• 金额: $ 2.18万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2001
• 资助国家: 日本
• 起止时间: 2001 至 2004
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13680414/
• 关键词: Object-Oriented; Distributed Real-time System; Sate-chart; UML; OCL; Timed Automaton; Program Derivation; Petri-nets; Quality of Services; 線形計画法; 分散マルチメディアシステム; コンポーネントベースシステム; Java; 分散オブジェクト; プログラム自動導出; カラーペトリネット; GUI; 時間制約

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.

本研究旨在建立高可靠性面向对象软件的设计方法、系统描述方法和高效程序代码生成方法。我们已经提出了一种方法，从一个给定的Petri网模型扩展的时钟作为一个令牌的颜色派生工作流。该方法还提供了一个灵活的时间表管理系统的派生工作流。我们还提出了一种综合的方法，基于场景的GUI规格说明。该方案是基于时间自动机模型。其次，我们提出了一种方法来自动派生程序代码的个人电器基于Petri网的规格说明，有效地工作在一个资源有限的个人电器。最后，本文提出了一种基于UML/OCL规范的实时分布式系统开发方法。它基于组件化设计，并利用分层设计，可以有效地验证实时性QoS。所提出的方法还自动派生的Java控制代码的形式规格。

项目成果

A Deriving Method for J2ME Program on Personal Appliances from Application Descriptions in Petri-nets and their Executional environment

一种从Petri网及其执行环境中的应用描述导出个人电器J2ME程序的方法

• 发表时间: 2002
• 期刊: TECHNICAL REPORT OF IEICE. Vol.102, No.246
• 作者: Kosuke SAKAUE;Kozo OKANO;Kenichi TANIGUCHI
• 通讯作者: Kenichi TANIGUCHI

分散環境実時間アプリケーション開発支援のためのTimeliness QoS一貫性検証系および時間制御コード生成系の実装

实现及时性QoS一致性验证系统和时间控制代码生成系统，支持分布式环境下的实时应用开发

• 发表时间: 2004
• 期刊: 電子情報通信学会技術報告 Vol.104,No.243
• 作者: Aya MAKIDERA;Eigo NAGAI;Kozo OKANO;Kenichi TANIGUCHI;牧寺 彩 他;森一夫 他;岡野浩三他;牧寺彩 他
• 通讯作者: 牧寺彩 他

UML/OCLを用いた分散環境実時間アプリケーション開発手法の提案

基于UML/OCL的分布式环境实时应用开发方法的提出

• 发表时间: 2005
• 期刊: 電子情報通信学会技術報告 Vol.104 No.723
• 作者: Aya MAKIDERA;Eigo NAGAI;Kozo OKANO;Kenichi TANIGUCHI;牧寺 彩 他
• 通讯作者: 牧寺 彩 他

Consistency Checking of Timeliness QoS of Multi-Media Systems and Derivation of Codes for Timing Control

多媒体系统时效性QoS一致性检验及时序控制代码推导

• 发表时间: 2004
• 期刊: TECHNICAL REPORT OF IEICE. Vol.103, No.583
• 作者: Kazuo MORI;Kozo OKANO;Kenichi TANIGUCHI
• 通讯作者: Kenichi TANIGUCHI

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

Kozo Okano：“使用线性约束的时间QoS一致性验证方法”京都大学数学科学研究所记录计算机科学基础理论的新进展（待发表）。