Sciweavers

    158 search results - page 6 / 32
    » Analysis of interacting BPEL web services
    Sort
    View
    EPK
    2006
    84views Management» more  EPK 2006»
    Using BPEL Processes defined by Event-driven Process Chains
    13 years 7 months ago
    Using BPEL Processes defined by Event-driven Process Chains
    Download  sunsite.informatik.rwth-aachen.de
    Abstract: The paper discusses the usability concept of workflow services for eventdriven process chains. Usability is similar to controllability, known from Workflow net based BPEL...
    Carlo Simon, Jörn Freiheit, Sebastian Olbrich
    claim paper
    Read More »
    BPM
    2005
    Springer
    129views Business» more  BPM 2005»
    Transforming BPEL to Petri Nets
    13 years 11 months ago
    Transforming BPEL to Petri Nets
    Download  www2.informatik.hu-berlin.de
    We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
    Sebastian Hinz, Karsten Schmidt 0004, Christian St...
    claim paper
    Read More »
    IEEESCC
    2007
    IEEE
    184views Applied Computing» more  IEEESCC 2007»
    Deriving executable BPEL from UMM Business Transactions
    14 years 14 days ago
    Deriving executable BPEL from UMM Business Transactions
    Download  publik.tuwien.ac.at
    UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
    Birgit Hofreiter, Christian Huemer, Philipp Liegl,...
    claim paper
    Read More »
    INFOSCALE
    2007
    ACM
    192views Information Technology» more  INFOSCALE 2007»
    An agent-based decentralised process management framework for web service composition
    13 years 7 months ago
    An agent-based decentralised process management framework for web service composition
    Download  eprints.usq.edu.au
    Web service composition provision which requires efficient coordination of the execution of component services is a critical issue in service-oriented computing. Nowadays, BPEL4WS...
    Jun Yan, Phillip Pidgeon, Aneesh Krishna, Jianming...
    claim paper
    Read More »
    CSAC
    2006
    251views Software Engineering» more  CSAC 2006»
    Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
    13 years 7 months ago
    Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
    Download  www.labunix.uqam.ca
    Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
    Faisal Abouzaid
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.