動的な構造変動をともなうシステムの集合論的記述と実装

抄録

本論の目的は，動的な構造変動をともなうシステムを集合論的に記述し，実装するための仕組みについて述べることである．従来の第4世代システム開発方法論では，システムの構造が実時間的に変動するようなシステムを想定していない．本論では，これまでの第4世代システム開発が想定していないシステムに，その方法論を拡張するための試みの１つである．本論では，取り扱うシステムがある性質を満たしている場合には，モデル記述言語の比較的簡単な拡張により，この種のシステムが取り扱えることを示す．