,. OpenXM... :. Simplify. OX-RFC-104 (OoHG).. knoppix/math. Contributed software..

Size: px

Start display at page:

Download ",. OpenXM... :. Simplify. OX-RFC-104 (OoHG).. knoppix/math. Contributed software.."

かずただくまじ
4 years ago
Views:

1 , OpenXM : Simplify OX-RFC-104 (OoHG) knoppix/math Contributed software

2 Q OpenXM?, Conglomerate (ASolomon) (Mathematical Knowledge Management) Q? download asir-contrib knoppix/math

3 Q? : (January 24, 2000): XML 112 (March 20, 2000): 113 (September 26, 2000): 11 OpenXM RFC ox asir, ox sm1, ox phc, ox gnuplot, ox m2, ox tigers, ox math(ematica), OMproxy WSDL (2001) 121 (March 2, 2002): Cygwin (Windows) (gentexi) RFC (May 13, 2003): RFC102, RFC103 ( ), autoconf ( ) OpenXM/fb, Digital formula book, OpenMath, tfb, CD (hypergeo*, weylalgebra*, intpath*), 123 (February 10, 2005): RFC 104 ( web ): polymake, asir-contrib, knoppix

4 Q RPC? Remote Procedure Call man rpc, callrpc [1247] P=ox_launch(0,"ox_asir"); [1248] ox_cmo_rpc(p,"fctr",x^3-1); 0 [1249] ox_pop_cmo(p); [[1,1],[x-1,1],[x^2+x+1,1]] Corba, Interface Definition Language (IDL) cf w3m (MS, IBM ) WSDL Java, RMI (Remote method invocative) OpenXM, RFC100 CMO

5 Q Web RPC? SOAP (Simple Object Access Protocol, w3c MS ), XML RPC, IAMC ( : Internet Accessible Mathematical Computation, PWang, /, 1990 ), Web Mathematica (, 2000 ), telnet wwwmathkobe-uacjp 80 GET /indexhtml HTTP/09 newline HTTP/ OK Date: Sat, 12 Feb :13:15 GMT Server: Apache/1327 (Unix) PHP/433RC1 Content-Type: text/html <HTML> <HEAD> SOAP POST /StockQuote HTTP/11

6 SOAPAction: "Some-URI" <SOAP-ENV:Envelope xmlns:soap-env=" SOAP-ENV:encodingStyle=" <SOAP-ENV:Body> <m:getlasttradeprice xmlns:m="some-uri">? <symbol>dis</symbol> </m:getlasttradeprice> </SOAP-ENV:Body> </SOAP-ENV:Envelope> HTTP/ OK Content-Type: text/xml; <SOAP-ENV:Envelope xmlns:soap-env=" SOAP-ENV:encodingStyle=" <SOAP-ENV:Body> <m:getlasttradepriceresponse xmlns:m="some-uri"> <Price>345</Price> </m:getlasttradepriceresponse> </SOAP-ENV:Body> </SOAP-ENV:Envelope> 345

7 HTTP session Set-Cookie: Java Servlet php, pfsockopen, ingress pconnect cf phpgrjp fork XML RPC? [RFC1945] Hypertext Transfer Protocol HTTP/10 T Berners- Lee, R Fielding, H Frystyk May 1996 (Format: TXT= bytes) (Status: INFORMATIONAL) [RFC2660] The Secure HyperText Transfer Protocol E Rescorla, A Schiffman August 1999 (Format: TXT=95645 bytes) (Status: EXPERIMENTAL)

8 Q ( ), /? Corba IDL, WSDL (2001): Web Service Description Language (2001) wsdl:type, wsdl:message, wsdl:porttype, wsdl:operation, port method ( ) bind

9 OpenMath/monet project MSDL, Mathematical service description language MSDL WSDL monet broker

10 Q WSDL? Monet/OpenMath project XML, WSDL, UDDI( ) 3 OpenMath MSDL (Mathematical Service Description Language) Monet broker (tan(x) ) MSDL <definitions targetnamespace=" xmlns=" <service name ="IndefIntService"> <classification> <taxonomy taxonomy=" code="gams0"/> <problem href=" <format> <directive-type href=" </classification>

11 <implementation> <software href=" <hardware href=" </implementation> OpenMath encoding WSDL

12 OpenXM RFC 104 Get) OoHG (OpenXM RFC 100 over HTTP OpenXM-RFC-100 http http get WAN Scalability ( ) OpenXM RFC 100 HTTP GET,, OpenXM-RFC-100/CMO WSDL/UDDI?,

13 Q OpenXM RFC 100? Data: TAG BODY : OX message, CMO, 1: P = ox_launch(0,"ox_sm1"); ox_push_cmo(p,1); ox_push_cmo(p,1); ox_execute_string(p,"add"); ox_pop_cmo(p); CMO OpenMath XML

14 OX DATA CMO ZZ 1 OX DATA CMO ZZ 1 OX DATA CMO STRING add OX COMMAND SM executestring OX COMMAND SM popcmo

15 Asir-contrib cmo XML? : taka cmo100 xml form(x+1) <cmo_recursive_polynomial> <cmo_list><cmo_int32 for="length">1</cmo_int32> <cmo_string>"x"</cmo_string> </cmo_list> <cmo_polynomial_in_one_variable><cmo_int32 for="number of terms">2</cmo_int32> <cmo_int3 <cmo_int32 for="exponent">1</cmo_int32> <cmo_zz>1</cmo_zz> <cmo_int32 for="exponent">0</cmo_int32> <cmo_zz>1</cmo_zz> </cmo_polynomial_in_one_variable> </cmo_recursive_polynomial>

16 P=ox_launch(0,"ox_asir"); ox_rpc(p,"fctr",x^1000-y^1000); ox_reset(p); controller engine client server

17 OoHG (OX RFC 104) OpenXM 100 HTTP GET ( POST) wrap wrapping, 1 OpenXM 100 CGI 2 OpenXM http OpenXM 100 login OpenXM-100 over HTTP GET ( OoHG ) login, login 1 login 2 OpenXM 100 login session

18 OoHG, GET RFC 2396 URL GET POST method = &

19 1 fctr(x^2-1); fctrcgi oxmessagebody, anonymous, 1, executestring & popstring, text [[1,1],[x-1],[x+2]]

20 2 session URL encoding RSA ---> <--- OX100-OVER-HTTP-GET-controlChannelId: 4010 OX100-OVER-HTTP-GET-dataChannelId: 4011 OX100-OVER-HTTP-GET-challenge: ---> <--- OX100-OVER-HTTP-GET-nextChannelKey: OX100-OVER-HTTP-GET-nextControlChannelKey: > channelkey=143245& oxmessageencoding="lisplike_ox100"& responseencoding="text" oxmessagebody="(ox_data,(cmo_string,\"fctr(x^2-1);\")) (OX_COMMAND,(SM_executeString)) (OX_COMMAND,(SM_popString))" <--- Content-Type: text/plain OX100-OVER-HTTP-GET-nextChannelKey: [[1,1],[x-1],[x+2]]

21 ---> channelkey=345137& logout&

22 Web ( ) URL= server=ox asir, mathcap= operator=fctr, argc=1 message format=ox100lisplike message format="asir " (user=limited) : SGML XML

23 ? OpenXM/src/kan96xx/Doc/gfansm1, OpenXM/src/kan96xx/Doc/cgism1 ( ) polytope (dim, facet) polymake sm1>(gfansm1) run ; Polymake is not installed in this system Using dopolymakeoohg ( OX-RFC-100 OX-RFC-104 ) Using polymakestartoohg conesample Reduced GB is obtained: Calling polymake FACETS Trying web service Done Calling polymake DIM

24 Trying web service ctrl-c, CTrace: extension<-loop<-readhttp0<-cgiquerypolymake <-ifelse<-dopolymakeoohg<-dopolymake<-getconeinfo <-ifelse<-getstartingcone<-getgrobnerfan<-; [12/Feb/2005:14:45: ] "POST

25 Directory service (Broker ) Web service Security ( ) WSDL ( )

IT Web NEC Corporation

IT Web NEC Corporation IT Web 2002 5 27 1 1. Web 2. Web 3. Web 4. Web 5. 6. Web 7. Web 8. 2 . Web 3 4 Web Web HTML Web XML Web Web LAN) EAI WebEAI) ) SCM ( ) (SOAP, UDDI) ) (Web ) Web/HTML Web/HTML Web/XML Web/XML Web Web 1.1