BoPi——用于试验Web服务技术的分布式机器

Fifth International Conference on Application of Concurrency to System Design (ACSD'05) Pub Date : 2005-06-07 DOI:10.1109/ACSD.2005.6

Samuele Carpineti, C. Laneve, P. Milazzo

{"title":"BoPi——用于试验Web服务技术的分布式机器","authors":"Samuele Carpineti, C. Laneve, P. Milazzo","doi":"10.1109/ACSD.2005.6","DOIUrl":null,"url":null,"abstract":"BoPi is a programming language with a runtime support that allows the distribution and the execution of programs over the network. The language is a process calculus with XML values and datatypes, and with a pattern matching mechanism for deconstructing values. The compiler gives a typesafe bytecode in the form of an XML document, that may be deployed on the network. What comes out is a simple, statically typed, and formally defined core BPEL language with a basic query mechanism supplied by patterns.","PeriodicalId":279517,"journal":{"name":"Fifth International Conference on Application of Concurrency to System Design (ACSD'05)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"12","resultStr":"{\"title\":\"BoPi - a distributed machine for experimenting Web services technologies\",\"authors\":\"Samuele Carpineti, C. Laneve, P. Milazzo\",\"doi\":\"10.1109/ACSD.2005.6\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"BoPi is a programming language with a runtime support that allows the distribution and the execution of programs over the network. The language is a process calculus with XML values and datatypes, and with a pattern matching mechanism for deconstructing values. The compiler gives a typesafe bytecode in the form of an XML document, that may be deployed on the network. What comes out is a simple, statically typed, and formally defined core BPEL language with a basic query mechanism supplied by patterns.\",\"PeriodicalId\":279517,\"journal\":{\"name\":\"Fifth International Conference on Application of Concurrency to System Design (ACSD'05)\",\"volume\":\"27 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2005-06-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"12\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Fifth International Conference on Application of Concurrency to System Design (ACSD'05)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ACSD.2005.6\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Fifth International Conference on Application of Concurrency to System Design (ACSD'05)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ACSD.2005.6","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 12

摘要

BoPi是一种具有运行时支持的编程语言，它允许在网络上分发和执行程序。该语言是一种带有XML值和数据类型的过程演算，并带有用于解构值的模式匹配机制。编译器以XML文档的形式给出一个类型安全的字节码，它可以部署在网络上。最终得到的是一种简单的、静态类型的、正式定义的核心BPEL语言，它具有由模式提供的基本查询机制。

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

查看原文本刊更多论文

BoPi - a distributed machine for experimenting Web services technologies

BoPi is a programming language with a runtime support that allows the distribution and the execution of programs over the network. The language is a process calculus with XML values and datatypes, and with a pattern matching mechanism for deconstructing values. The compiler gives a typesafe bytecode in the form of an XML document, that may be deployed on the network. What comes out is a simple, statically typed, and formally defined core BPEL language with a basic query mechanism supplied by patterns.

求助全文

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

来源期刊

Fifth International Conference on Application of Concurrency to System Design (ACSD'05)

自引率

0.00%

发文量