PiDuce- A project for experimenting web services technologies

DOI10.1016/J.SCICO.2009.03.002MaRDI QIDQ838158zbMATH OpenOpenAlexFDO

Authors Samuele Carpineti, Cosimo Laneve, Luca Padovani

Publication date 21 August 2009

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2009.03.002

zbMATH Keywords

type systemXML schemaweb servicesWSDLpi calculussubschema relation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data structures (68P05) Internet topics (68M11) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• XL: An XML programming language for web service specification and composition.
• The XL web service language: concepts and implementation
• Trustworthy Global Computing
• XPi: a typed process calculus for XML messaging
• CDuce: an XML-centric general-purpose language

Cites work

• scientific article; zbMATH DE number 2185708 (Why is no real title available?)
• scientific article; zbMATH DE number 954809 (Why is no real title available?)
• scientific article; zbMATH DE number 177855 (Why is no real title available?)
• scientific article; zbMATH DE number 1223738 (Why is no real title available?)
• scientific article; zbMATH DE number 1759482 (Why is no real title available?)
• A calculus of mobile processes. II
• Automata, Languages and Programming
• CDuce: an XML-centric general-purpose language
• Formal Methods for Components and Objects
• Foundations of Software Science and Computational Structures
• Linear forwarders
• Mobile ambients
• Modelling dynamic web data
• Programming Languages and Systems
• Programming Languages and Systems
• Regular expression types for XML
• Semantic subtyping for the pi-calculus
• XPi: a typed process calculus for XML messaging

Cited in

(10)

• A WSDL-based type system for asynchronous WS-BPEL processes
• An algebraic theory for web service contracts
• PiDuce
• A behavioural theory for a \(\pi\)-calculus with preorders
• Replacement freeness: a criterion for separating process calculi
• XL: An XML programming language for web service specification and composition.
• A rude contract language for web services
• On projecting processes into session types
• A behavioural theory for a \(\pi\)-calculus with preorders
• Semantic subtyping for the pi-calculus

Describes a project that uses

Uses Software

• XPath
• XDuce
• CDuce
• XPi
• Facile
• JoCaml
• TulaFale

This page was built for publication: PiDuce- A project for experimenting web services technologies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q838158)