Analyse von XPath-Ausdrücken in BPEL-Prozessbeschreibungen

[1]  Peter Baumgartner,et al.  Optimizing the Evaluation of XPath Using Description Logics , 2004, INAP/WLP.

[2]  Xiang Fu,et al.  WSAT: A Tool for Formal Analysis of Web Services , 2004, CAV.

[3]  Thomas Schwentick,et al.  XPath Containment in the Presence of Disjunction, DTDs, and Variables , 2003, ICDT.

[4]  Pierre Genevès,et al.  A system for the static analysis of XPath , 2006, TOIS.

[5]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

[6]  Georg Gottlob,et al.  XPath processing in a nutshell , 2003, SGMD.

[7]  Frank Leymann,et al.  Business processes for Web Services: Principles and applications , 2006, IBM Syst. J..

[8]  Maarten Marx,et al.  XPath with Conditional Axis Relations , 2004, EDBT.

[9]  Wenfei Fan,et al.  Satisfiability of XPath Queries with Sibling Axes , 2005, DBPL.

[10]  Xiang Fu,et al.  Model checking XML manipulating software , 2004, ISSTA '04.

[11]  Floris Geerts,et al.  XPath satisfiability in the presence of DTDs , 2008, JACM.

[12]  Beda Christoph Hammerschmidt,et al.  KeyX: selective key-oriented indexing in native XML-databases , 2005 .

[13]  Philip Wadler,et al.  MSL: a model for W3C XML Schema , 2002, Comput. Networks.

[14]  Jean-Yves Vion-Dury,et al.  Logic-based XPath optimization , 2004, DocEng '04.

[15]  Nabil Layaïda,et al.  Containment of XPath expressions: an inference and rewriting based approach , 2003, Extreme Markup Languages®.

[16]  Thomas Schwentick,et al.  XPath query containment , 2004, SGMD.

[17]  S. Boucher,et al.  Embedding XML schema constraints in search-based intersection tests for XPath query optimization , 2005, 16th International Workshop on Database and Expert Systems Applications (DEXA'05).

[18]  Frank Leymann,et al.  Production Workflow: Concepts and Techniques , 1999 .

[19]  Pierre Genevès,et al.  Efficient static analysis of XML paths and types , 2007, PLDI '07.

[20]  Jean-Loup Baer,et al.  A Survey of Some Theoretical Aspects of Multiprocessing , 1973, CSUR.

[21]  Frank Neven,et al.  DTDs versus XML schema: a practical study , 2004, WebDB '04.

[22]  Jan Hidders.  Satisfiability of XPath Expressions , 2003, DBPL.

[23]  Philippe Michiels,et al.  Optimizing Sorting and Duplicate Elimination in XQuery Path Expressions , 2005, Bull. EATCS.

[24]  Peter T. Wood,et al.  Containment for XPath Fragments under DTD Constraints , 2003, ICDT.

[25]  F. De Paoli,et al.  Design of Quality-Based Composite Web Services , 2006, ICSOC.

[26]  Laks V. S. Lakshmanan,et al.  On Testing Satisfiability of Tree Pattern Queries , 2004, VLDB.

[27]  Stefan Böttcher,et al.  Testing intersection of XPath expressions under DTDs , 2004, Proceedings. International Database Engineering and Applications Symposium, 2004. IDEAS '04..

[28]  Thomas Schwentick,et al.  On the complexity of XPath containment in the presence of disjunction, DTDs, and variables , 2006, Log. Methods Comput. Sci..

[29]  Pierre Genevès,et al.  Logics for XML , 2008, ArXiv.

[30]  M. de Rijke,et al.  CTL model checking for processing simple XPath queries , 2004, Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004..

[31]  Carsten Lutz,et al.  The complexity of query containment in expressive fragments of XPath 2.0 , 2007, PODS.

[32]  Jan Hidders,et al.  Avoiding Unnecessary Ordering Operations in XPath , 2003, DBPL.

[33]  Xiang Fu,et al.  Synchronizability of conversations among Web services , 2005, IEEE Transactions on Software Engineering.

[34]  Leslie Lamport,et al.  Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.

[35]  Alin Deutsch,et al.  Containment and Integrity Constraints for XPath Fragments , 2001 .

[36]  Frank Leymann,et al.  Managing Business Processes an an Information Resource , 1994, IBM Syst. J..

[37]  Dan Suciu,et al.  Containment and equivalence for a fragment of XPath , 2004, JACM.

[38]  Thomas Schwentick,et al.  Expressiveness and complexity of XML Schema , 2006, TODS.

[39]  Volker Linnemann,et al.  On the intersection of XPath expressions , 2005, 9th International Database Engineering & Application Symposium (IDEAS'05).

[40]  Wolfram Amme,et al.  Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis , 2007, IEEE SCC.