Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, proceedings / / edited by Marlon Dumas and Reiko Heckel
| Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, proceedings / / edited by Marlon Dumas and Reiko Heckel |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [2008] |
| Descrizione fisica | 1 online resource (IX, 172 p.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Formal methods (Computer science)
Web services |
| ISBN | 3-540-79230-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards a Theory of Web Service Choreographies -- Controlling Petri Net Process Models -- Extending Model Checking to Data-Aware Temporal Properties of Web Services -- Analyzing BPEL4Chor: Verification and Participant Synthesis -- Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers -- A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 -- From BPEL to SRML: A Formal Transformational Approach -- Modeling Web Service Interactions Using the Coordination Language Reo -- Synthesis of Web Services Orchestrators in a Timed Setting -- From Public Views to Private Views – Correctness-by-Design for Services -- Event Structure Semantics of Orc. |
| Record Nr. | UNISA-996465556503316 |
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, proceedings / / edited by Marlon Dumas and Reiko Heckel
| Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, proceedings / / edited by Marlon Dumas and Reiko Heckel |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [2008] |
| Descrizione fisica | 1 online resource (IX, 172 p.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Formal methods (Computer science)
Web services |
| ISBN | 3-540-79230-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards a Theory of Web Service Choreographies -- Controlling Petri Net Process Models -- Extending Model Checking to Data-Aware Temporal Properties of Web Services -- Analyzing BPEL4Chor: Verification and Participant Synthesis -- Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers -- A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 -- From BPEL to SRML: A Formal Transformational Approach -- Modeling Web Service Interactions Using the Coordination Language Reo -- Synthesis of Web Services Orchestrators in a Timed Setting -- From Public Views to Private Views – Correctness-by-Design for Services -- Event Structure Semantics of Orc. |
| Record Nr. | UNINA-9910767564003321 |
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
