PowerForms公司 swMATH ID: 1540 软件作者: 布拉布兰德,克劳斯;M{\o}ller,安德斯;米克尔·里基;迈克尔·施瓦茨巴赫。 描述: PowerForms:声明性客户端表单字段验证HTML表单的所有使用都可能受益于指定输入字段值的验证。简单验证根据指定的格式匹配单个值,而更高级的验证可能涉及表单字段的相互依赖性。目前还没有规定或实施这种验证的标准。如今,CGI程序员通常使用Perl库进行简单的服务器端验证,或使用自定义JavaScript解决方案进行客户端验证。我们介绍了PowerForms,它是HTML表单的一个附加组件,允许输入格式的纯声明性规范和表单字段的复杂相互依赖性。虽然我们的工作可能被视为HTML未来扩展的灵感来源,但现在CGI程序员也可以通过一个预处理器将PowerForms文档转换为标准HTML和JavaScript的组合,该组合适用于所有平台和浏览器的组合。PowerForms格式的定义在语法上与表单本身不相关联,这允许进行模块化开发,其中表单可能由其他工具自动生成,并且格式和相互依赖性是分开添加的。PowerForms具有通过定点过程定义的清晰语义,该定点过程解决了所有字段值之间的相互依赖性。文本字段配有状态图标(默认情况下为红绿灯),持续反映到目前为止输入的文本的有效性,从而为用户提供即时反馈。对于其他GUI组件,将动态筛选可用选项,以仅显示允许的值。PowerForms集成到“大人物”系统中,用于生成交互式Web服务,但也可以作为独立包在开源发行版中免费提供 主页: 网址:http://www.brics.dk/bigwig/powerforms/ 相关软件: 海滨;i任务;巴贝尔;SICStus公司;水银;Hiord公司;高阶逻辑;冷聚变;JavaScript脚本;佩尔 引用于: 3文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 PowerForms:声明性客户端表单字段验证。 Zbl 1012.68991号克劳斯·布拉布兰德;安德斯·默勒;米克尔·里基;迈克尔·施瓦茨巴赫。 2000 全部的 前5名10位作者引用 1 彼得·阿奇顿 1 克劳斯·布拉布兰德 1 丹尼尔·卡贝扎 1 阿马迪奥·卡萨斯 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 彼得·科普曼 1 安德斯·佩佩·默勒 1 莱纳斯·普拉斯梅耶 1 米克尔·里基 1 迈克尔·施瓦茨巴赫。 0连载引用 在1个字段中引用 3 计算机科学(68至XX) 按年份列出的引文