PiDuce- A project for experimenting web services technologies The PiDuce project comprises a programming language and a distributed runtime environment devised for experimenting Web services technologies by relying on solid theories about process calculi and formal languages for XML documents and schemas.The language features values and datatypes that extend XML documents and schemas with channels, an expressive type system with subtyping, a pattern matching mechanism for deconstructing XML values, and control constructs that are based on Milner’s asynchronous pi calculus. The runtime environment supports the execution of PiDuce processes over networks by relying on state-of-the-art technologies, such as XML schema and WSDL, thus enabling interoperability with existing Web services.We thoroughly describe the PiDuce project: the programming language and its semantics, the architecture of the distributed runtime and its implementation

References in zbMATH (referenced in 21 articles , 1 standard article )

Showing results 1 to 20 of 21.
Sorted by year (citations)

1 2 next

  1. Pugliese, Rosario; Tiezzi, Francesco: Replacement freeness: a criterion for separating process calculi (2020)
  2. Hirschkoff, Daniel; Madiot, Jean-Marie; Xian, Xu: A behavioural theory for a (\pi)-calculus with preorders (2015)
  3. Hirschkoff, Daniel; Madiot, Jean-Marie; Xu, Xian: A behavioural theory for a (\pi)-calculus with preorders (2015)
  4. Laneve, Cosimo; Padovani, Luca: An algebraic theory for web service contracts (2015)
  5. Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco: Using formal methods to develop WS-BPEL applications (2012) ioport
  6. Padovani, Luca: On projecting processes into session types (2012)
  7. Pugliese, Rosario; Tiezzi, Francesco: A calculus for orchestration of web services (2012) ioport
  8. Lapadula, A.; Pugliese, R.; Tiezzi, F.: A WSDL-based type system for asynchronous WS-BPEL processes (2011)
  9. Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca: PiDuce- A project for experimenting web services technologies (2009)
  10. Acciai, Lucia; Boreale, Michele: XPi: a typed process calculus for XML messaging (2008)
  11. Castagna, Giuseppe; de Nicola, Rocco; Varacca, Daniele: Semantic subtyping for the pi-calculus (2008)
  12. Gorla, Daniele: Comparing communication primitives via their relative expressive power (2008)
  13. Maffeis, Sergio; Gardner, Philippa: Behavioural equivalences for dynamic web data (2008)
  14. Ma, Qin; Maranget, Luc: Algebraic pattern matching in join calculus (2008)
  15. Prandi, Davide; Priami, Corrado; Quaglia, Paola: Communicating by compatibility (2008)
  16. Acciai, Lucia; Boreale, Michele; Dal Zilio, Silvano: A typed calculus for querying distributed XML documents (2007)
  17. Gardner, Philippa; Laneve, Cosimo; Wischik, Lucian: Linear forwarders (2007)
  18. Carpineti, Samuele; Laneve, Cosimo: A basic contract language for web services (2006)
  19. Carpineti, Samuele; Laneve, Cosimo: A rude contract language for web services (2006)
  20. Gorla, Daniele: On the relative expressive power of asynchronous communication primitives (2006)

1 2 next