Jasper框架:面向独立于平台的、正式的web编程处理

International Workshop on Automated Specification and Verification of Web Sites Pub Date : 2012-10-22 DOI:10.4204/EPTCS.98.5

James Smith

{"title":"Jasper框架:面向独立于平台的、正式的web编程处理","authors":"James Smith","doi":"10.4204/EPTCS.98.5","DOIUrl":null,"url":null,"abstract":"This paper introduces Jasper, a web programming framework which allows web applications to be developed in an essentially platform indepedent manner and which is also suited to a formal treatment. It outlines Jasper conceptually and shows how Jasper is implemented on several commonplace platforms. It also introduces the Jasper Music Store, a web application powered by Jasper and implemented on each of these platforms. And it briefly describes a formal treatment and outlines the tools and languages planned that will allow this treatment to be automated.","PeriodicalId":233765,"journal":{"name":"International Workshop on Automated Specification and Verification of Web Sites","volume":"24 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"The Jasper Framework: Towards a Platform Independent, Formal Treatment ofWeb Programming\",\"authors\":\"James Smith\",\"doi\":\"10.4204/EPTCS.98.5\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper introduces Jasper, a web programming framework which allows web applications to be developed in an essentially platform indepedent manner and which is also suited to a formal treatment. It outlines Jasper conceptually and shows how Jasper is implemented on several commonplace platforms. It also introduces the Jasper Music Store, a web application powered by Jasper and implemented on each of these platforms. And it briefly describes a formal treatment and outlines the tools and languages planned that will allow this treatment to be automated.\",\"PeriodicalId\":233765,\"journal\":{\"name\":\"International Workshop on Automated Specification and Verification of Web Sites\",\"volume\":\"24 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-10-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Workshop on Automated Specification and Verification of Web Sites\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4204/EPTCS.98.5\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Workshop on Automated Specification and Verification of Web Sites","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4204/EPTCS.98.5","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文介绍了Jasper，这是一个web编程框架，它允许以一种基本独立于平台的方式开发web应用程序，它也适合于正式处理。它从概念上概述了Jasper，并展示了如何在几个常见的平台上实现Jasper。它还介绍了Jasper音乐商店，这是一个由Jasper提供支持的web应用程序，在这些平台上都实现了。它简要地描述了一种正式的处理方法，并概述了将允许这种处理自动化的工具和语言。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

The Jasper Framework: Towards a Platform Independent, Formal Treatment ofWeb Programming

This paper introduces Jasper, a web programming framework which allows web applications to be developed in an essentially platform indepedent manner and which is also suited to a formal treatment. It outlines Jasper conceptually and shows how Jasper is implemented on several commonplace platforms. It also introduces the Jasper Music Store, a web application powered by Jasper and implemented on each of these platforms. And it briefly describes a formal treatment and outlines the tools and languages planned that will allow this treatment to be automated.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

International Workshop on Automated Specification and Verification of Web Sites

自引率

0.00%

发文量