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

Evolution and development of high-level modeling languages integrating programming lanuguage technologies

Research Project

Project/Area Number 18H03223
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Review Section Basic Section 60050:Software-related
Research InstitutionWaseda University

Principal Investigator

Ueda Kazunori  早稲田大学, 理工学術院, 教授 (10257206)

Co-Investigator(Kenkyū-buntansha) 石井 大輔  北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授 (00454025)
Project Period (FY) 2018-04-01 – 2021-03-31
Project Status Completed (Fiscal Year 2021)
Budget Amount *help
¥16,380,000 (Direct Cost: ¥12,600,000、Indirect Cost: ¥3,780,000)
Fiscal Year 2020: ¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2019: ¥5,850,000 (Direct Cost: ¥4,500,000、Indirect Cost: ¥1,350,000)
Fiscal Year 2018: ¥6,500,000 (Direct Cost: ¥5,000,000、Indirect Cost: ¥1,500,000)
Keywords高水準モデリング言語 / グラフ書換え / ハイブリッドシステム / 制約プログラミング / 発展可能処理系 / 発展可能検証系
Outline of Final Research Achievements

We explored the language and the implementation aspects of two high-level modeling languages with a number of unique features. One is LMNtal, a modeling language for handling graph structures that features a model checker, and the other is HydLa, a language for handling constraints on real numbers that features a rigorous symbolic simulator. On the language aspect, we scrutinized and refined the formal semantics of both LMNtal and HydLa and made language extensions supported by clear semantics. Furthermore, for LMNtal, we formalized and implemented static and dynamic notions of graph types, while for HydLa, we conducted diverse studies including the optimization of constraint solving. Many of those outcomes have been integrated into the open-source, publicly available implementations of the languages.

Academic Significance and Societal Importance of the Research Achievements

本研究の最大の学術的および社会的意義は,他の既存ツールでは実現が困難なさまざまなタスクを容易に記述できるモデリング言語とその処理系の進化発展を,理論と実践の両面から推進した点である.学術的には,これらの言語が簡明な理論的基礎に基づいている点で,永続性の高い成果として長期的な波及効果が見込まれる.社会的には,多くの開発合宿をはじめとする努力によって,研究成果のオープンソースツールの形での社会還元を持続的に果たしてきている点が大きな意義である.

Report

(4 results)
  • 2021 Final Research Report ( PDF )
  • 2020 Annual Research Report
  • 2019 Annual Research Report
  • 2018 Annual Research Report

Research Products

(59 results)

All 2022 2021 2020 2019 2018 Other

All Int'l Joint Research (1 results) Journal Article (9 results) (of which Int'l Joint Research: 2 results,  Peer Reviewed: 9 results,  Open Access: 4 results) Presentation (45 results) (of which Int'l Joint Research: 4 results,  Invited: 2 results) Remarks (4 results)

  • [Int'l Joint Research] ナント大学(フランス)

    • Country Name
      FRANCE
    • Counterpart Institution
      ナント大学
    • Related Report
      2018 Annual Research Report
  • [Journal Article] Revisiting Graph Types in HyperLMNtal: A Modeling Language for Hypergraph Rewriting2021

    • Author(s)
      Alimujiang Yasen and Kazunori Ueda
    • Journal Title

      IEEE Access

      Volume: 9 Pages: 133449-133460

    • DOI

      10.1109/ACCESS.2021.3112903

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Engineering Grammar-based Type Checking for Graph Rewriting Languages2021

    • Author(s)
      Naoki Yamamoto and Kazunori Ueda
    • Journal Title

      Proc. Twelfth International Workshop on Graph Computation Models (GCM 2021)

      Volume: - Pages: 93-114

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Computer-assisted verification of four interval arithmetic operators2020

    • Author(s)
      Daisuke Ishii, Tomohito Yabu
    • Journal Title

      Journal of Computational and Applied Mathematics

      Volume: 377 Pages: 112893

    • DOI

      10.1016/j.cam.2020.112893

    • Related Report
      2020 Annual Research Report 2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Constraint-based modeling and symbolic simulation of hybrid systems with HydLa and HyLaGI2020

    • Author(s)
      Yunosuke Yamada, Masashi Sato and Kazunori Ueda
    • Journal Title

      Proc. 9th International Workshop on Model-Based Design of Cyber-Physical Systems (CyPhy 2019), Lecture Notes in Computer Science

      Volume: 11971 Pages: 153-178

    • DOI

      10.1007/978-3-030-41131-2_8

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Introducing Symmetry to Graph Rewriting Systems with Process Abstraction2019

    • Author(s)
      Taichi Tomioka, Yutaro Tsunekawa and Kazunori Ueda
    • Journal Title

      roc. 12th International Conference on Graph Transformation (ICGT 2019), Lecture Notes in Computer Science

      Volume: 11629 Pages: 3-20

    • DOI

      10.1007/978-3-030-41131-2_8

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Introducing Symmetry to Graph Rewriting Systems with Process Abstraction2019

    • Author(s)
      Taichi Tomioka, Yutaro Tsunekawa and Kazunori Ueda
    • Journal Title

      Proc. 12th International Conference on Graph Transformation, Lecture Notes in Computer Science

      Volume: 未定 Pages: 印刷中

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Name Binding is Easy with Hypergraphs2018

    • Author(s)
      Alimujiang Yasen and Kazunori Ueda
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E101-D Pages: 1126-1140

    • DOI

      10.1587/transinf.2017EDP7257

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Implementation of LMNtal Model Checkers: a Metaprogramming Approach2018

    • Author(s)
      Yutaro Tsunekawa, Taichi Tomioka and Kazunori Ueda
    • Journal Title

      The Journal of Object Technology

      Volume: 17 Pages: 1:1-28

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project2018

    • Author(s)
      Kazunozi Ueda
    • Journal Title

      Science of Computer Programming

      Volume: 164 Pages: 3-17

    • DOI

      10.1016/j.scico.2017.06.002

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Presentation] グラフ書換え言語LMNtalにおける閉包計算のマッチング最適化2022

    • Author(s)
      今川 連, 上田 和紀
    • Organizer
      第24回プログラミングおよびプログラミング言語ワークショップ
    • Related Report
      2020 Annual Research Report
  • [Presentation] グラフ書き換え言語LMNtalにおけるパーサコンビネータ実装手法2022

    • Author(s)
      山田 啓太, 上田 和紀
    • Organizer
      第24回プログラミングおよびプログラミング言語ワークショップ
    • Related Report
      2020 Annual Research Report
  • [Presentation] 参照を用いたデータ構造の形状のユーザ定義の型に基づく型検査2022

    • Author(s)
      佐野 仁, 上田 和紀
    • Organizer
      第24回プログラミングおよびプログラミング言語ワークショップ
    • Related Report
      2020 Annual Research Report
  • [Presentation] HyperLMNtalを用いたG-Machineの実装2021

    • Author(s)
      佐野 仁,上田 和紀
    • Organizer
      第23回プログラミングおよびプログラミング言語ワークショップ
    • Related Report
      2020 Annual Research Report
  • [Presentation] グラフ書き換え言語LMNtalにおける非連結サブグラフパターンマッチング高速化手法2021

    • Author(s)
      中田 昌輝,上田 和紀
    • Organizer
      第23回プログラミングおよびプログラミング言語ワークショップ
    • Related Report
      2020 Annual Research Report
  • [Presentation] 差分制約を含んだ時間オートマトンモデルのLMNtalによる状態空間構築2021

    • Author(s)
      橋本 彩美,上田 和紀
    • Organizer
      2021年度人工知能学会全国大会
    • Related Report
      2020 Annual Research Report
  • [Presentation] パラメタ付きモデルの到達可能性解析に基づくハイブリッドシステムモデリングツールの性能評価2021

    • Author(s)
      秦 国大,上田 和紀
    • Organizer
      2021年度人工知能学会全国大会
    • Related Report
      2020 Annual Research Report
  • [Presentation] 定理証明支援系Coqによるグラフ書換え言語の性質証明2021

    • Author(s)
      山本 直輝,上田 和紀
    • Organizer
      日本ソフトウェア科学会第38回大会
    • Related Report
      2020 Annual Research Report
  • [Presentation] 情報可視化やインタラクションのためのライブラリ Siv3D の機能強化と C++17, C++20 への対応2021

    • Author(s)
      鈴木 遼,上田 和紀,坂井 滋和
    • Organizer
      日本ソフトウェア科学会第38回大会
    • Related Report
      2020 Annual Research Report
  • [Presentation] ハイパーグラフ書き換え系への構文駆動でcompositionalな構文・意味論の提案2021

    • Author(s)
      佐野 仁, 上田 和紀
    • Organizer
      日本ソフトウェア科学会第38回大会
    • Related Report
      2020 Annual Research Report
  • [Presentation] 制約に基づくハイブリッドシステムモデリング言語HydLaの宣言的意味論の拡張2020

    • Author(s)
      山田 悠之介,上田 和紀
    • Organizer
      2020年度人工知能学会全国大会
    • Related Report
      2020 Annual Research Report
  • [Presentation] グラフ書き換えモデル検査におけるグラフ自己同型に基づく効率的なSymmetry Reduction手法2020

    • Author(s)
      恒川 雄太郎,上田 和紀
    • Organizer
      2020年度人工知能学会全国大会
    • Related Report
      2020 Annual Research Report
  • [Presentation] グラフ書換え言語における数値制約を伴う型の静的型検査2020

    • Author(s)
      山本 直輝,上田 和紀
    • Organizer
      日本ソフトウェア科学会第37回大会
    • Related Report
      2020 Annual Research Report
  • [Presentation] グラフ書き換え言語 LMNtal による時間オートマトンのゾーングラフ構築2020

    • Author(s)
      橋本 彩美,恒川 雄太郎,上田 和紀
    • Organizer
      日本ソフトウェア科学会第37回大会
    • Related Report
      2020 Annual Research Report
  • [Presentation] Capability Typing for HyperLMNtal2020

    • Author(s)
      Stefan Walter, Kazunori Ueda
    • Organizer
      18th Asian Symposium on Programming Languages and Systems
    • Related Report
      2020 Annual Research Report
  • [Presentation] 区間制約ソルバにおけるパラメータ化制約の導入2020

    • Author(s)
      野村 亮太,石井 大輔
    • Organizer
      情報処理学会第82回全国大会
    • Related Report
      2019 Annual Research Report
  • [Presentation] LMNtalにおける部分グラフのリサイクルを行うコンパイル時最適化2020

    • Author(s)
      白石 篤至,恒川 雄太郎,上田 和紀
    • Organizer
      第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)
    • Related Report
      2019 Annual Research Report
  • [Presentation] 階層グラフ書き換え言語LMNtalにおける継続の概念の提案と実装2020

    • Author(s)
      横井 駿平,山本 直輝,上田 和紀
    • Organizer
      第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)
    • Related Report
      2019 Annual Research Report
  • [Presentation] Dynamic Reduction of Guarded Constraints for the Hybrid Systems Modeling Language HydLa2019

    • Author(s)
      堀内 貴文,上田 和紀
    • Organizer
      2019年度人工知能学会全国大会(第33回)
    • Related Report
      2019 Annual Research Report
  • [Presentation] ハイブリッド制約処理系HyLaGIにおける分枝限定法を用いた離散変化時刻導出手法2019

    • Author(s)
      佐藤 柾史,上田 和紀
    • Organizer
      2019年度人工知能学会全国大会(第33回)
    • Related Report
      2019 Annual Research Report
  • [Presentation] グラフ書き換えモデル検査器SLIMへの差分適用グラフ正規化手法の実装2019

    • Author(s)
      恒川 雄太郎,上田 和紀
    • Organizer
      日本ソフトウェア科学会第36回大会
    • Related Report
      2019 Annual Research Report
  • [Presentation] Why3を用いた区間べき関数のプログラム検証2019

    • Author(s)
      村上椋星,薮智仁,石井大輔
    • Organizer
      日本ソフトウェア科学会第36回大会
    • Related Report
      2019 Annual Research Report
  • [Presentation] グラフ書換え言語におけるグラフ操作の静的型検査2019

    • Author(s)
      山本 直輝,上田 和紀
    • Organizer
      日本ソフトウェア科学会第36回大会
    • Related Report
      2019 Annual Research Report
  • [Presentation] 対称性の高い大規模ICTシステム更新に対する効率的な更改手順の自動計画手法2019

    • Author(s)
      桑原拓也,恒川雄太郎,齋藤諒人,上田和紀
    • Organizer
      電子情報通信学会情報通信マネジメント研究会
    • Related Report
      2019 Annual Research Report
  • [Presentation] Grammar-based Static Type Checking for Graph Rewriting2019

    • Author(s)
      Naoki Yamamoto and Kazunori Ueda
    • Organizer
      17th Asian Symposium on Programming Languages and Systems (APLAS 2019)
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] グラフの内包記法の実現に向けたLMNtalにおけるメッシュ構造の定義検討2019

    • Author(s)
      田村 滉明, 上田 和紀, 冨岡 太一
    • Organizer
      第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)
    • Related Report
      2018 Annual Research Report
  • [Presentation] ハイブリッド制約処理系HyLaGIへの共通部分式除去を用いた式の簡約の導入2019

    • Author(s)
      山田 悠之介, 上田 和紀
    • Organizer
      第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)
    • Related Report
      2018 Annual Research Report
  • [Presentation] ハイブリッド制約処理系HyLaGIにおける分枝限定法を用いた離散変化時刻導出手法2019

    • Author(s)
      佐藤 柾史, 上田 和紀
    • Organizer
      第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)
    • Related Report
      2018 Annual Research Report
  • [Presentation] グラフ書換え言語における静的型体系LMNtal ShapeTypeの再定式化と拡張2019

    • Author(s)
      山本 直輝, 上田 和紀
    • Organizer
      第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)
    • Related Report
      2018 Annual Research Report
  • [Presentation] ハイブリッドシステムモデリング言語HydLaを用いたDAEシステムの解析2019

    • Author(s)
      渋井隆弘,上田和紀
    • Organizer
      情報処理学会第81回全国大会
    • Related Report
      2018 Annual Research Report
  • [Presentation] Duraczらの操作的意味論に基づくハイブリッドシステムの高信頼シミュレータの実装2019

    • Author(s)
      小嶋翔太, 石井大輔
    • Organizer
      電子情報通信学会システム数理と応用研究会
    • Related Report
      2018 Annual Research Report
  • [Presentation] 証明支援系Coqを用いた有界モデル検査アルゴリズムの検証2019

    • Author(s)
      藤井采人, 石井大輔
    • Organizer
      情報処理学会プログラミング研究会
    • Related Report
      2018 Annual Research Report
  • [Presentation] グラフ書き換え言語LMNtalによる容易に拡張可能なモデル検査器の実装2018

    • Author(s)
      恒川 雄太郎,上田 和紀
    • Organizer
      2018年度 人工知能学会全国大会(第32回)
    • Related Report
      2018 Annual Research Report
  • [Presentation] ハイブリッド制約言語HydLaにおける非線形常微分方程式の表現とその記号付き精度保証計算2018

    • Author(s)
      増田 健太,上田 和紀
    • Organizer
      2018年度 人工知能学会全国大会(第32回)
    • Related Report
      2018 Annual Research Report
  • [Presentation] ハイブリッドシステムモデリング言語HydLaにおける変数と制約階層の動的生成記法の設計と実装2018

    • Author(s)
      佐藤 柾史,上田 和紀
    • Organizer
      2018年度 人工知能学会全国大会(第32回)
    • Related Report
      2018 Annual Research Report
  • [Presentation] 言語をつくる2018

    • Author(s)
      上田 和紀
    • Organizer
      日本ソフトウェア科学会第35回大会
    • Related Report
      2018 Annual Research Report
    • Invited
  • [Presentation] 実行パスの動的解析によるハイブリッドシステム処理系HyLaGIの最適化2018

    • Author(s)
      佐藤 柾史, 上田 和紀
    • Organizer
      日本ソフトウェア科学会第35回大会
    • Related Report
      2018 Annual Research Report
  • [Presentation] 階層グラフ書換え言語LMNtalの否定表現の拡張と全称量化の実現2018

    • Author(s)
      齋藤 諒人, 上田 和紀
    • Organizer
      日本ソフトウェア科学会第35回大会
    • Related Report
      2018 Annual Research Report
  • [Presentation] 純粋型なし・型付きラムダ計算の実用的かつ高機能なインタプリタの実装2018

    • Author(s)
      Naoki Yamamoto, Kazunori Ueda
    • Organizer
      日本ソフトウェア科学会第35回大会
    • Related Report
      2018 Annual Research Report
  • [Presentation] Introducing Negation and Universal Quantification into the Graph Rewriting Language LMNtal2018

    • Author(s)
      Ryoto Saito and Kazunori Ueda
    • Organizer
      16th Asian Symposium on Programming Languages and Systems (APLAS2018)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Implementation of Effective Symmetry Reduction for a Model Checker based on Graph Rewriting2018

    • Author(s)
      Yutaro Tsunekawa and Kazunori Ueda
    • Organizer
      16th Asian Symposium on Programming Languages and Systems (APLAS2018)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Machine-Aided Verification of Four Interval Arithmetic Operators2018

    • Author(s)
      Tomohito Yabu, Daisuke Ishii
    • Organizer
      International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Why3を用いた区間演算ライブラリの検証2018

    • Author(s)
      石井大輔, 藪 智仁
    • Organizer
      第2回 精度保証付き数値計算の実問題への応用研究集会
    • Related Report
      2018 Annual Research Report
    • Invited
  • [Presentation] 証明支援系Coqを用いた有界モデル検査アルゴリズムの検証2018

    • Author(s)
      藤井采人, 石井大輔
    • Organizer
      第16回ディペンダブルシステムワークショップ
    • Related Report
      2018 Annual Research Report
  • [Presentation] Why3を用いた区間演算プログラムの検証2018

    • Author(s)
      藪 智仁, 石井大輔
    • Organizer
      第16回ディペンダブルシステムワークショップ
    • Related Report
      2018 Annual Research Report
  • [Remarks] LMNtal: モデル検査機能と可視化環境を備えた階層グラフ書換え言語処理系

    • URL

      https://www.ueda.info.waseda.ac.jp/lmntal/

    • Related Report
      2020 Annual Research Report 2019 Annual Research Report 2018 Annual Research Report
  • [Remarks] 制約概念に基づくハイブリッドシステムモデリング言語HydLa

    • URL

      https://www.ueda.info.waseda.ac.jp/lmntal/

    • Related Report
      2020 Annual Research Report
  • [Remarks] 制約概念に基づくハイブリッドシステムモデリング言語HydLa

    • URL

      https://www.ueda.info.waseda.ac.jp/hydla/

    • Related Report
      2019 Annual Research Report 2018 Annual Research Report
  • [Remarks] webHydLa: an online IDE of HydLa with a visualizer

    • URL

      http://webhydla.ueda.info.waseda.ac.jp/

    • Related Report
      2018 Annual Research Report

URL: 

Published: 2018-04-23   Modified: 2023-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi