A WSDL-based type system for asynchronous WS-BPEL processes

DOI10.1007/s10703-010-0110-0zbMath1217.68061DBLPjournals/fmsd/LapadulaPT11OpenAlexW1983450250WikidataQ57650699 ScholiaQ57650699MaRDI QIDQ537948

A. Lapadula, Francesco Tiezzi, Rosario Pugliese

Publication date: 23 May 2011

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-010-0110-0

zbMATH Keywords

type systemsprocess calculiweb servicesWS-BPELWSDL

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Internet topics (68M11)

Related Items (2)

Session types for safe web service orchestration ⋮ A WSDL-based type system for asynchronous WS-BPEL processes

Uses Software

• PiDuce
• LoLA
• XQuery
• BPEL2PN
• COWS
• BPEL2oWFN
• LTSA-WS
• PIPER
• XPath
• TyPiCal

Cites Work

• Unnamed Item
• Unnamed Item
• A WSDL-based type system for asynchronous WS-BPEL processes
• PiDuce- A project for experimenting web services technologies
• A pi-calculus based semantics for WS-BPEL
• Formal semantics and analysis of control flow in WS-BPEL
• On bisimulations for the asynchronous \(\pi\)-calculus
• A syntactic approach to type soundness
• A generic type system for the pi-calculus
• A Calculus of Global Interaction based on Session Types
• A theory of contracts for web services
• Multiparty asynchronous session types
• A Type System for Client Progress in a Service-Oriented Calculus
• C WS: A Timed Service-Oriented Calculus
• Spatial and Behavioral Types in the Pi-Calculus
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Analysis of Realizability Conditions for Web Service Choreographies
• Conversation Types
• Types as models
• Linear type theory for asynchronous session types
• Theoretical foundations for compensations in flow composition languages
• Trustworthy Global Computing
• Foundations of Software Science and Computational Structures
• FM 2005: Formal Methods
• Coordination Models and Languages
• A Calculus for Orchestration of Web Services
• Structured Communication-Centred Programming for Web Services
• A Language for Task Orchestration and Its Semantic Properties
• CONCUR 2005 – Concurrency Theory
• Verification, Model Checking, and Abstract Interpretation
• Programming Languages and Systems
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• Formal Methods for Open Object-Based Distributed Systems

This page was built for publication: A WSDL-based type system for asynchronous WS-BPEL processes