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-nets及其扩展模型。我们提出了一种从给定的Petri-net模型派生工作流的方法，该模型扩展了时钟作为令牌的颜色。该方法还为衍生的工作流提供了一个灵活的调度管理系统。我们还提出了一种基于场景的GUI规范的综合方法。该场景基于时间自动机模型。其次，我们提出了一种基于Petri-net的规范自动获取个人电器程序代码的方法，该方法可以有效地在资源有限的个人电器上工作。它的执行方案通过按需方案从服务器发送所需的代码。最后，提出了一种基于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一致性验证方法”京都大学数学科学研究所记录计算机科学基础理论的新进展（待发表）。