Lecture Notes in Computer Science - Web Services and Formal Methods
Latest Publications

TOTAL DOCUMENTS

10
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642298332, 9783642298349
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Applying Process Analysis to the Italian eGovernment Enterprise Architecture

2012 ◽  
pp. 111-127 ◽  
Author(s):  
Roberto Bruni ◽  
Andrea Corradini ◽  
Gianluigi Ferrari ◽  
Tito Flagella ◽  
Roberto Guanciale ◽  
...  
Keyword(s):  
Enterprise Architecture ◽  
Process Analysis

Design of a BPEL Verification Tool

2012 ◽  
pp. 95-110
Author(s):  
Elie Fares ◽  
Jean-Paul Bodeveix ◽  
Mamoun Filali
Keyword(s):  
Verification Tool

Compatibility of Data-Centric Web Services

2012 ◽  
pp. 32-47
Author(s):  
Benoît Masson ◽  
Loïc Hélouët ◽  
Albert Benveniste
Keyword(s):  
Web Services

Behavior Based Service Composition

2012 ◽  
pp. 17-31
Author(s):  
Fangzhe Chang ◽  
Pavithra Prabhakar ◽  
Ramesh Viswanathan
Keyword(s):  
Service Composition ◽  
Behavior Based

scholarly journals Domain-Specific Multi-modeling of Security Concerns in Service-Oriented Architectures

2012 ◽  
pp. 128-142
Author(s):  
Juan Pedro Silva Gallino ◽  
Miguel de Miguel ◽  
Javier F. Briones ◽  
Alejandro Alonso
Keyword(s):  
Service Oriented Architectures ◽  
Domain Specific ◽  
Service Oriented ◽  
Security Concerns

Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations

2012 ◽  
pp. 64-78 ◽  
Author(s):  
Manuel Mazzara ◽  
Faisal Abouzaid ◽  
Nicola Dragoni ◽  
Anirban Bhattacharyya
Keyword(s):  
Dynamic Workflow
Load More ...
Sign in / Sign up

Export Citation Format

Share Document