Open XM の設計と実装
-- Open message eXchange protocol for Mathematics

野呂正行¹ , 高山信毅²

2000年, 2月2日

kxx/openxxx.tex. Draft 1997, 11/20 -- . この文書は open XM の設計用のメモとしての役目もあるので, 一部のファイル名は開発者のみが参照できる.

• はじめに
• CMO Primitive の object
• CMO の形式的表現方法
• OpenXM の通信モデル
  • OX Message の 表現方法
  • OXexpression の 標準 encoding と TCP/IP ソケットによる実装法
• OX スタックマシン
  • サーバスタックマシン
    • サーバスタックマシンのグループ SMobject/Primitive に属するオペレータ
    • グループ SMobject/Basic に属するオペレータ
• 現在検討中の機能
  • OX DATA with Length の構造
  • サーバスタックマシンはローカルな拡張機能をもってよい
  • MathLink や OpenMath などの通信規約の実装
  • 共通スタックマシン言語
• Session Management
  • Control server
  • OpenXM reset protocol
  • Control message (SMObject/TCPIP/Control)
• TCP/IP でのセッションのスタート
  • Standard I/O on OX servers
  • Launcher
  • byte order の決定
  • launcher の例 : ox
• オブジェクトの文字列表現
• 数, 多項式 の CMO 表現
  • Zero
  • 整数 ZZ
  • 分散表現多項式 Dpolynomial
  • 再帰表現多項式の定義
  • CPU依存の double
• OX Local Data
• CMO ERROR2
• メンバの再定義に関する注意
• 実装, デバッグ, 検証
  • 実装の手順
  • 歴史
  • サンプルサーバ, クライアント
    • OpenXM/src/ox_toolkit にあるサンプル実装
    • ox_null
    • testclient
    • ox
    • ox_asir phrase book
    • ox_sm1 phrase book
    • ox_sm1 を用いたクライアントのテスト方法
    • Asir を用いたサーバのテスト方法
  • 最小の TCP/IP クライアントの例
  • クライアント asir, sm1
  • 開発中のサーバ, クランアント
  • Change log
  • .
• どのように協調機能にすぐれた Math Soft を書くのか?
  • open gnuplot の実装
  • open phc の実装
  • open M2 の実装
• 新しい CMO の登録
  • 新しい CMO を作るときの約束
  • OpenXM プロジェクトに参加するには?
• OX サーバに対する C ライブラリインタフェース
• 参考文献
• この文書について...