×

在方案中实施metcast。 (英语) Zbl 1086.68527号

摘要:本文描述了在Scheme中实现可操作部署的大型分布式系统的核心组件的经验。Metcast是一个请求和订阅系统,用于传播实时天气信息。该系统存储了大量的天气观测报告、预报、天气模型生成的网格数据和卫星图像。Metcast服务器提供这些数据的子集,以响应用特定于域的声明性语言制定的查询。世界气象组织数据馈送的解码器、Metcast应用服务器、XML编码器和解码器、辅助和监控CGI脚本都是在Scheme的一个主要纯功能子集中编写的。本文描述了三个示例,展示了我们选择实现语言的好处:数据馈送的解析;XML转换和Web服务;用于可扩展和表达请求语言的模块化解释器。我们还讨论了项目中开发的Scheme的通用扩展。

MSC公司:

68甲18 函数编程和lambda演算
68甲15 编程语言理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 美国国家信息系统标准。编程语言。第四。文件X3.215-1994。1994年3月24日。
[2] Cerami,E.网络服务概要。使用XML-RPC、SOAP、UDDI和WSDL的分布式应用程序,O'Reilly&Associates,2002年。
[3] Feeley,M.Gambit计划系统,2002年8月。网址:http://www.iro.umontreal.ca/\(\sim\)游戏/
[4] Kiselyov,O。请求天气产品及其解释方案的代表团语言。过程中。第三届ACM SIGPLAN函数编程国际会议(ICFP'98),马里兰州巴尔的摩,1998年9月27日至29日,第343页。
[5] Kiselyov,O.AND-LET*:带有本地绑定的AND,一种受保护的LET*特殊形式。实施方案请求:SRFI-2。1999年3月1日。http://srfi.schemers.org/srfi-2/
[6] Kiselyov,O.文件、目录、网络和其他OS/POSIX接口。端口和增强型I/O,2001年8月。http://pobox.com/\(\sim\)oleg/ftp/Scheme/OS-interf.html#enhanced-port-io
[7] Kiselyov,O.天气观测定义格式。2002年9月18日。http://www.metnet.navy.mil/Metcast/XML/OMF.html
[8] Kiselyov,O.SXML规范。ACM SIGPLAN通知,37(6)(2002)52–58。http://pobox.com/\(\sim\)oleg/ftp/Scheme/SXML.html
[9] Kiselyov,O。通过函数编程实现更好的XML解析器。程序。PADL2002:第四届国际研讨会《声明性语言的实践方面》。2002年1月19日至20日,美国俄勒冈州波特兰。《计算机科学讲义》,第2257卷。施普林格出版社,柏林-海德堡,纽约,2002年,第209–224页。
[10] Kiselyov,O.和Lisovsky,K.XML,XPath,XSLT实现为SXML、SXPath和SXSLT。过程中。国际Lisp会议,ILC 2002:加利福尼亚州旧金山,2002年10月27日至31日。http://pobox.com/\(\sim\)oleg/ftp/papers/SXs.pdf;http://pobox.com/\(\sim\)oleg/ftp/papers/SXs-talk.pdf
[11] Kiselyov,O.通过HTTP管道分发天气产品。2003年2月20日。http://www.metnet.navy.mil/Metcast/http://pobox.com/\(\sim\)oleg/JMV-TNG/
[12] Kiselyov,O.Metcast目录(MTOC)。2003年5月22日。http://www.metnet.navy.mil/Metcast/XML/MTOC.html
[13] Kiselyov,O.Scheme Hash。方案代码的存档。2003年4月4日。http://pobox.com/\(\sim\)oleg/ftp/Scheme/
[14] Kiselyov,O.和Krishnamurthi,S.SXSLT:XML的操作语言。过程中。PADL2003:第五届国际研讨会:声明性语言的实践方面。2003年1月13日至14日,美国洛杉矶新奥尔良。计算机科学讲义,第2562卷。施普林格出版社,柏林-海德堡,纽约(2003)256-272·Zbl 1026.68785号
[15] 接下来的700种编程语言。ACM通讯,9(3)(1966)157-166·Zbl 0149.12505号 ·doi:10.1145/365230.365257
[16] McKusick,M.K.、Bostic,K.、Karels,M.J.和Quarterman,J.S.《4.4BSD操作系统的设计与实现》。Addison-Wesley Longman,Inc.1996年。
[17] Moertel,T.XSLT,Perl,Haskell,一个关于语言设计的词。发布于2002年1月15日的kuro5hin.org。http://www.kuro5hin.org/story/2002/1/15/1562/95011
[18] 国家气象局。联邦气象协调员办公室。联邦气象手册第1号(FMH-1),“地面天气观测和报告”。第五版,1995年12月。
[19] Paakki,J.属性语法范式——语言实现的高级方法论。ACM计算调查,27(2)(1995)196–255·数字对象标识代码:10.1145/210376.197409
[20] 基于S-exp的XML解析、查询、转换。SourceForge项目。http://ssax.sourceforge.net/
[21] Serrano,M.Bigloo方案实施。2003年7月。http://www-sop.inria.fr/mimosa/fp/Bigloo/Bigloo.html
[22] Sitaram,D.pregexp:Scheme和Common Lisp的可移植正则表达式。版本1e9。2003年2月5日。http://www.ccs.neu.edu/home/dorai/pregexp/pregexp.html
[23] Swierstra,S.D.Combinator解析器:从玩具到工具。程序。2000年ACM SIGPLAN Haskell研讨会,理论计算机科学电子笔记,第41.1卷,2001年8月·Zbl 1262.68033号
[24] 万维网联盟。XML路径语言(XPath)。1.0版。W3C建议。1999年11月16日。网址:http://www.w3.org/TR/xpath
[25] 万维网联盟。XSL转换(XSLT)。1.0版。W3C建议。1999年11月16日。http://www.w3.org/TR/xslt
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。