| 書目名稱 | Web Services and Formal Methods | | 副標(biāo)題 | 4th International Wo | | 編輯 | Marlon Dumas,Reiko Heckel | | 視頻video | http://file.papertrans.cn/1022/1021618/1021618.mp4 | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 描述 | This volume contains the papers presented at WS-FM 2007, the 4th International Workshop on Web Services and Formal Methods, held on September 28 and 29, 2007 in Brisbane, Australia. Web service technology aims at empowering providers of services, in the broad sense, with the ability to package and deliver their services by means of software applications available on the Web. Existing infrastructures for Web services - ready enable providers to describe services in terms of structure, access policy and behaviour, to locate services, to interact with them, and to bundle simpler services into more complex ones. However, innovations are needed to seamlessly extend this technology in order to deal with challenges such as managing int- actions with stateful and long-running Web services, managing large numbers of Web services each with multiple interfaces and versions, managing the quality of Web service delivery, etc. Formal methods have a fundamental role to play in shaping innovations in Web service technology. For instance, formal methods help to de?ne and to understand the semantics of languages and protocols that underpin existing infrastructures for Web services, and to formulate | | 出版日期 | Conference proceedings 2008 | | 關(guān)鍵詞 | BPEL; Business Process Modeling; Processing; XML; compositional semantics; constraint automata; formal met | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-540-79230-7 | | isbn_softcover | 978-3-540-79229-1 | | isbn_ebook | 978-3-540-79230-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2008 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-8 11:38
發(fā)表于 2025-3-21 17:42:16
