Data and behavioral contracts for web services

The recent trend in Web services is fostering a computing scenario where loosely coupled parties interact in a distributed and dynamic environment. Such interactions are sequences of xml messages and in order to assemble parties – either statically or dynamically – it is important to verify that the “contracts” of the parties are “compatible”. The Web Service Description Language (wsdl) is a standard used for describing one-way (asynchronous) and request/response (synchronous) interactions. Web Service Conversation Language extends wscl contracts by allowing the description of arbitrary, possibly cyclic sequences of exchanged messages between communicating parties. Unfortunately, neither wsdl nor wscl can effectively define a notion of compatibility, for the very simple reason that they do not provide any formal characterization of their contract languages. We define two contract languages for Web services. The first one is a data contract language and allow us to describe a Web service in terms of messages (xml documents) that can be sent or received. The second one is a behavioral contract language and allow us to give an abstract definition of the Web service conversation protocol. Both these languages are equipped with a sort of “sub-typing” relation and, therefore, they are suitable to be used for querying Web services repositories. In particular a query for a service compatible with a given contract may safely return services with “greater” contract

GVSU Undergraduate and Graduate Catalog, 2021-2022

Grand Valley State University 2021-2022 undergraduate and graduate course catalog. Course catalogs are published annually to provide students with information and guidance for enrollment.https://scholarworks.gvsu.edu/course_catalogs/1096/thumbnail.jp

GVSU Undergraduate and Graduate Catalog, 2019-2020

Grand Valley State University 2019-2020 undergraduate and/or graduate course catalog published annually to provide students with information and guidance for enrollment.https://scholarworks.gvsu.edu/course_catalogs/1094/thumbnail.jp

GVSU Undergraduate and Graduate Catalog, 2016-2017

Grand Valley State University 2016-2017 undergraduate and/or graduate course catalog published annually to provide students with information and guidance for enrollment.https://scholarworks.gvsu.edu/course_catalogs/1091/thumbnail.jp

GVSU Undergraduate and Graduate Catalog, 2016-2017

Grand Valley State University 2016-2017 undergraduate and/or graduate course catalog published annually to provide students with information and guidance for enrollment.https://scholarworks.gvsu.edu/course_catalogs/1091/thumbnail.jp