Sfoglia per Autore
A WSDL-based type system for WS-BPEL
2006 A. LAPADULA; R. PUGLIESE; F. TIEZZI
COWS: A timed service-oriented calculus
2007 A. LAPADULA; R. PUGLIESE; F. TIEZZI
A Calculus for Orchestration of Web Services
2007 A. LAPADULA; R. PUGLIESE; F. TIEZZI
Regulating data exchange in service oriented applications
2007 A. LAPADULA; R. PUGLIESE; F. TIEZZI
A model checking approach for verifying COWS specifications
2008 A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi
A formal account of WS-BPEL
2008 A. Lapadula; R. Pugliese; F. Tiezzi
TAPAs: A Tool for the Analysis of Process Algebras
2008 F. Calzolai; R. De Nicola; M. Loreti; F. Tiezzi
Service discovery and negotiation with COWS
2008 A. Lapadula; R. PUGLIESE; F. Tiezzi
Specifying and Analysing SOC Applications with COWS
2008 A. Lapadula; R. Pugliese; F. Tiezzi
SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity
2008 M. Wirsing; L. Acciai; A. Clark; F. Banti; A. Fantechi; S. Gilmore; S. Gnesi; L. Gonczy; M. Holz; N. Koch; A. Lapadula; P. Mayer; F. Mazzanti; R. Pugliese; A. Schroeder; F. Tiezzi; M. Tribastone; D. Varro
Specification and Analysis of Service-Oriented Applications
2009 F.Tiezzi
On secure implementation of an IHE XUA-based protocol for authenticating healthcare professionals
2009 M. Masi; R. Pugliese; F. Tiezzi
On observing dynamic prioritised actions in SOC
2009 R. Pugliese; F. Tiezzi; N. Yoshida
From Architectural to Behavioural Specification of Services
2009 L. Bocchi; J.L. Fiadeiro; A. Lapadula; R. Pugliese; F. Tiezzi
Specification and analysis of SOC systems using COWS: A finance case study
2009 F. Banti; A. Lapadula; R. Pugliese; F. Tiezzi
A Symbolic Semantics for a Calculus for Service-Oriented Computing
2009 R. Pugliese; F. Tiezzi; N. Yoshida
A tool for rapid development of WS-BPEL applications
2010 L.Cesari; R.Pugliese; F.Tiezzi
A tool for rapid development of WS-BPEL applications
2010 L. Cesari; A. Lapadula; R. Pugliese; F. Tiezzi
A criterion for separating process calculi
2010 F. Banti; R. Pugliese; F. Tiezzi
A standard-driven communication protocol for disconnected clinics in rural areas
2011 M.Masi; R.Pugliese; F.Tiezzi
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile