| この例では、MINERVAをサーブレットとして、Tomcat/Jakarta/Apacheと共にどのように
使用するかについて示します。
サーブレットminserveは、HTMLのFORMからユーザの入力情報を取り、
HTML、XMLあるいはテキストファイルで、その情報を返します。
この例で、MINERVAサーブレット述語が、どのようにFORMのGETやPOSTメソッド
により呼ばれるか、サーブレットのリクエストからどのように入力
パラメータを得て、Prolog項を組み立て、それを希望の形式に
変換して、サーブレットレスポンスにそしてHTTPクライアントに返すか
を示します。
すべてのステップがサーバーログに書き込まれます。
この例は、Apache Software foundationのサーブレットのウェブサーバー
Jakarta Tomcat 3.2 and 4.0
http://jakarta.apache.org/tomcat/index.html
およびSun Java JDK1.4を使って作られました。
この例では、以下のファイルを例示します。
minserve.html
- HTML FORM要素を含むHTMLファイル
minserve.min
- MINERVAサーブレットプログラム
web.xml
- Tomcat制御ファイルで、サーブレットにそのURLを示し、
Tomcatに、どのMINERVAファイルがロードされるべきかを
伝える。
MINERVAにより提供される述語のリストは、
servlet.mpk
- サーブレット内蔵述語
これらの述語は、Java Servlet インタフェースに対応します。
例を走らせる
以下が、この例をインストールし実行させる方法です。
コマンドは、UNIX/Linux上でのものです。他のオペレーティングシステムの
場合変更が必要です。
- MINERVAとTOMCATをインストールする。
以下においては、
MINERVAが$MINERVA_HOMEに、
Tomcatが$CATALINA_HOMEにインストールされていることを前提とします。
- サーブレットディレクトリを作る。
mkdir $CATALINA_HOME/webapps/minserve
mkdir $CATALINA_HOME/webapps/minserve/WEB-INF
mkdir $CATALINA_HOME/webapps/minserve/WEB-INF/minerva
mkdir $CATALINA_HOME/webapps/minserve/WEB-INF/classes
- サーブレットディレクトリにHTMLファイルをコピーする。
cp minserve.html $CATALINA_HOME/webapps/minserve
- MINERVAシステムファイルをサーブレットディレクトリにコピーする。
cp -r $MINERVA_HOME/com $CATALINA_HOME/webapps/minserve/WEB-INF/classes
cp -r $MINERVA_HOME/servlet/WEB-INF/classes/com $CATALINA_HOME/webapps/minserve/WEB-INF/classes
cp $MINERVA_HOME/minerva.mca $CATALINA_HOME/webapps/minserve/WEB-INF/minerva
cp $MINERVA_HOME/servlet/WEB-INF/minerva/servlet.mpk $CATALINA_HOME/webapps/minserve/WEB-INF/minerva
- サーブレットプログラムをサーブレットディレクトリにコピーする。
cp minserve.min $CATALINA_HOME/webapps/minserve/WEB-INF/minerva
- サーブレットプログラムをコンパイルする。
minervac minserve.min
- Tomcatサーバーを再始動させる。
$CATALINA_HOME/bin/shutdown.sh
$CATALINA_HOME/bin/startup.sh
- サーブレットを呼び出す。
Tomcatをデフォルト位置でインストールした場合、URLは、
http://localhost:8080/minserve/minserve.html
です。
| 
