LEADER 02876nam 22004935 450 001 9910255005103321 005 20200630121538.0 010 $a3-319-32833-6 024 7 $a10.1007/978-3-319-32833-1 035 $a(CKB)3710000000734885 035 $a(EBL)4550054 035 $a(DE-He213)978-3-319-32833-1 035 $a(MiAaPQ)EBC4550054 035 $a(PPN)194381366 035 $a(EXLCZ)993710000000734885 100 $a20160609d2016 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aWeb Service Composition /$fby Charles J. Petrie 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (95 p.) 300 $aDescription based upon print version of record. 311 $a3-319-32831-X 320 $aIncludes bibliographical references at the end of each chapters. 327 $aBasic Definitions -- REST-based Services -- Formalization of Web Service Composition -- Methods of Web Service Composition. 330 $aThis book carefully defines the technologies involved in web service composition and provides a formal basis for all of the composition approaches and shows the trade-offs among them. By considering web services as a deep formal topic, some surprising results emerge, such as the possibility of eliminating workflows. It examines the immense potential of web services composition for revolutionizing business IT as evidenced by the marketing of Service Oriented Architectures (SOAs). The author begins with informal considerations and builds to the formalisms slowly, with easily-understood motivating examples. Chapters examine the importance of semantics for web services and ways to apply semantic technologies. Topics included range from model checking and Golog to WSDL and AI planning. This book is based upon lectures given to economics students and is suitable for business technologist with some computer science background. The reader can delve as deeply into the technologies as desired. 606 $aApplication software 606 $aArtificial intelligence 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aApplication software. 615 0$aArtificial intelligence. 615 14$aInformation Systems Applications (incl. Internet). 615 24$aArtificial Intelligence. 676 $a004 700 $aPetrie$b Charles J$4aut$4http://id.loc.gov/vocabulary/relators/aut$0897566 906 $aBOOK 912 $a9910255005103321 996 $aWeb Service Composition$92005372 997 $aUNINA