000 | 03916nam a22003975i 4500 | ||
---|---|---|---|
001 | 296859 | ||
003 | MX-SnUAN | ||
005 | 20160429155350.0 | ||
007 | cr nn 008mamaa | ||
008 | 150903s2006 gw | o |||| 0|eng d | ||
020 |
_a9783540388654 _99783540388654 |
||
024 | 7 |
_a10.1007/11841197 _2doi |
|
035 | _avtls000349440 | ||
039 | 9 |
_a201509030729 _bVLOAD _c201404121222 _dVLOAD _c201404090959 _dVLOAD _y201402071202 _zstaff |
|
040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
050 | 4 | _aQA76.758 | |
100 | 1 |
_aBravetti, Mario. _eeditor. _9328541 |
|
245 | 1 | 0 |
_aWeb Services and Formal Methods : _bThird International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings / _cedited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2006. |
|
300 |
_ax, 289 páginas Also available online. _brecurso en línea. |
||
336 |
_atexto _btxt _2rdacontent |
||
337 |
_acomputadora _bc _2rdamedia |
||
338 |
_arecurso en línea _bcr _2rdacarrier |
||
347 |
_aarchivo de texto _bPDF _2rda |
||
490 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v4184 |
|
500 | _aSpringer eBooks | ||
505 | 0 | _aInvitedPapers -- DecSerFlow: Towards a Truly Declarative Service Flow Language -- Service QoS Composition at the Level of Part Names -- SCC: A Service Centered Calculus -- Contributed Papers -- Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool -- Semantic Querying of Mathematical Web Service Descriptions -- Verified Reference Implementations of WS-Security Protocols -- From BPEL Processes to YAWL Workflows -- Translating Orc Features into Petri Nets and the Join Calculus -- Dynamic Constraint-Based Invocation of Web Services -- A Formal Account of Contracts for Web Services -- Execution Semantics for Service Choreographies -- Analysis and Verification of Time Requirements Applied to the Web Services Composition -- A Formal Approach to Service Component Architecture -- Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System -- Choreography Conformance Analysis: Asynchronous Communications and Information Alignment -- Application of Model Checking to AXML System’s Security: A Case Study -- Towards a Unifying Theory for Web Services Composition -- Towards the Formal Model and Verification of Web Service Choreography Description Language. | |
520 | _aThis book constitutes the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in Vienna, Austria in September 2006 in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The 15 revised full papers presented together with 3 invited lectures were carefully reviewed and selected from 40 submissions. The main topics of include: protocols and standards for WS (SOAP, WSDL, UDDI, etc.); languages and description methodologies for Coreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination techniques for WS (transactions, agreement, coordination services, etc.); semantics-based dynamic WS discovery services (based on Semantic Web/Ontology techniques or other semantic theories); security, performance evaluation and quality of service of WS; semi-structured data and XML related technologies. | ||
590 | _aPara consulta fuera de la UANL se requiere clave de acceso remoto. | ||
700 | 1 |
_aNúñez, Manuel. _eeditor. _9332193 |
|
700 | 1 |
_aZavattaro, Gianluigi. _eeditor. _9328543 |
|
710 | 2 |
_aSpringerLink (Servicio en línea) _9299170 |
|
776 | 0 | 8 |
_iEdición impresa: _z9783540388623 |
856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/11841197 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
942 | _c14 | ||
999 |
_c296859 _d296859 |