Formalizing Data-centric Web Services
Название : Formalizing Data-Centric Web Services
Автор : Iman Saleh
Издательство: Springer
Год издания : 2015
Страниц: 148
Формат : PDF
Размер файла: 5,8 MB
Язык : English
This book presents a methodology to model and specify the data aspect of Web services, as it is overlooked by current standards for specifying Web services. The formal specification enables verification of service behavior, and the proposed methodology is based on formal methods and design-by-contract techniques.
The Web has evolved from an information sharing medium to a wide-scale environment for sharing capabilities or services. Currently, URLs not only point to documents and images, but are also used to invoke services that potentially change the state of the Web. Major online organizations today, such as Amazon, PayPal and FedEx, provide services for users and consumers. They also allow third-party vendors to resell their services. In both cases, this requires precise and complete specification of service offerings. Several online discussions demonstrate the challenges faced by these organizations and others while describing their data-centric Web services. These challenges surrounding data specification can lead consumers to use a service erroneously. Case studies demonstrate how formal methods, and specifically design-by-contract techniques, can be leveraged to address the lack of formal specification of data when it comes to developing Web applications such as Amazon and PayPal.
turbobit.net
dfiles.ru
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12822 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Мир динозавров. Пропись-раскраска
Книга: Мир динозавров. Пропись-раскраска Автор: Коллектив Формат: JPG Размер: 1.7 мб Качество: Отличное Язык: Русский Год издания: 2007 Пропись-раскраска для детей до 6 лет . . .
-
Энциклопедия для детей. Химия
Книга: Энциклопедия для детей.химия(т.17) Автор: В. А. Володин Издательство: аванта+ Формат: DJVU Размер: 33,8 мб Качество: Отличное Язык: Русский Год издания: 2000 В томе читатель найдет множество ре . . .
-
Раскраски. Динозавры
Книга: Раскраски. Динозавры Автор: Коллектив авторов Издательство: Эксмо Страниц: 24 Формат: DJVU Размер: 2,6 Мб (+3%) Качество: Отличное Язык: Русский Год издания: 2008 ISBN: 978-5-699-31370-9 Вашему . . .
-
Умная раскраска. Золушка
Книга: Умная раскраска. Золушка. Автор: Коллектив Издательство: Эгмонт Страниц: 18 Формат: PDF Размер: 6,1 мб Качество: Отличное Язык: Русский Жанр: Раскраска Год издания: 2009 ISBN: 978-5-9539-3653-8 . . .
-
Энциклопедия для детей. Языкознание. Русский язык
Книга: Энциклопедия для детей.Языкознание.Русский язык.(т.10) Автор: М. Д. Аксенова Издательство: аванта+ Формат: DJVU Размер: 25,33 мб Качество: Отличное Язык: Русский Год издания: 1999 И томе « . . .
-
Умная раскраска. Винни и его друзья
Книга: Умная раскраска. Винни и его друзья Автор: Коллектив Издательство: Эгмонт Страниц: 18 Формат: PDF Размер: 5,88 мб Качество: Отличное Язык: Русский Жанр: Раскраска Год издания: 2009 ISBN: 978-5- . . .
-
Корабли. Книжка-раскраска
Книга: Корабли. Книжка-раскраска Автор: Коллектив авторов Издательство: Феникс Страниц: 16 Формат: DJVU Размер: 1,4 Мб (+3%) Качество: Отличное Язык: Русский Год издания: 2009 Раскраска для детей. В н . . .
-
Traditional Chinese Designs
Книга: Traditional Chinese Designs Автор: Stanley Appelbaum Издательство: Dover Publications, Inc., New York Страниц: 48 Формат: PDF Размер: 3,15 Mb (+3%) Качество: Отличное Язык: Английский Год издан . . .
-
Сборник развивающих книг для детей от 4 до 5 лет
Книга: Сборник развивающих книг для детей от 4 до 5 лет Автор: Земцова О. Н. Издательство: Machaon Формат: PDF Размер: 14,7 Качество: Отличное Язык: Русский Год издания: 2006 признание и одобрение пед . . .
-
Береги живое: Часть 2: В лесу, на лугу: Игровой дидактический материал по экологии
Книга: Береги живое: Часть 2: В лесу, на лугу: Игровой дидактический материал по экологии. Автор: Коллектив Издательство: Весна-дизайн Страниц: 8 Формат: PDF Размер: 7,66 мб Качество: Отличное Язык: Р . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Formalizing Data-centric Web Services. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.