Web-Scale Workflow and Analytics - Formalizing Data-Centric Web Services
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer International Publishing

9783319246765, 9783319246789

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Design-by-Contract for Web Services

Web-Scale Workflow and Analytics - Formalizing Data-Centric Web Services ◽

10.1007/978-3-319-24678-9_11 ◽

2015 ◽

pp. 109-110

Author(s):

Iman Saleh

Keyword(s):

Web Services ◽

Design By Contract

Download Full-text

Introduction

Web-Scale Workflow and Analytics - Formalizing Data-Centric Web Services ◽

10.1007/978-3-319-24678-9_1 ◽

2015 ◽

pp. 1-6

Author(s):

Iman Saleh

Download Full-text

Specification and Verification of a Composition of Services

Web-Scale Workflow and Analytics - Formalizing Data-Centric Web Services ◽

10.1007/978-3-319-24678-9_5 ◽

2015 ◽

pp. 25-37

Author(s):

Iman Saleh

Keyword(s):

Specification And Verification

Download Full-text

Modeling and Specification of a Data-Centric Web Service

Web-Scale Workflow and Analytics - Formalizing Data-Centric Web Services ◽

10.1007/978-3-319-24678-9_4 ◽

2015 ◽

pp. 19-23

Author(s):

Iman Saleh

Keyword(s):

Download Full-text

Literature Review

Web-Scale Workflow and Analytics - Formalizing Data-Centric Web Services ◽

10.1007/978-3-319-24678-9_3 ◽

2015 ◽

pp. 13-17

Author(s):

Iman Saleh

Keyword(s):

Literature Review

Download Full-text

Appendix A: The Amazon Item Search Implementation in JML

Web-Scale Workflow and Analytics - Formalizing Data-Centric Web Services ◽

10.1007/978-3-319-24678-9_13 ◽

2015 ◽

pp. 115-119

Author(s):

Iman Saleh

Download Full-text

Summary and Conclusions

Web-Scale Workflow and Analytics - Formalizing Data-Centric Web Services ◽

10.1007/978-3-319-24678-9_12 ◽

2015 ◽

pp. 111-114

Author(s):

Iman Saleh

Download Full-text

Model Implementation

Web-Scale Workflow and Analytics - Formalizing Data-Centric Web Services ◽

10.1007/978-3-319-24678-9_7 ◽

2015 ◽

pp. 57-71

Author(s):

Iman Saleh

Download Full-text

Appendix B: A Prolog Reasoner

Web-Scale Workflow and Analytics - Formalizing Data-Centric Web Services ◽

10.1007/978-3-319-24678-9_14 ◽

2015 ◽

pp. 121-126

Author(s):

Iman Saleh

Download Full-text

Specification and Verification of Transactional Web Service Composition

Web-Scale Workflow and Analytics - Formalizing Data-Centric Web Services ◽

10.1007/978-3-319-24678-9_6 ◽

2015 ◽

pp. 39-55 ◽

Author(s):

Iman Saleh

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Specification And Verification

Download Full-text