Deriving Semantics From WS-BPEL Specifications of Parallel Business Processes on an Example

Computer Research and Modeling - Russian Federation
doi 10.20537/2076-7633-2015-7-3-445-454
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Izhevsk Institute of Computer Science

Related search

Authorization and User Failure Resiliency for WS-BPEL Business Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Determining QoS of WS-BPEL Compositions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Integrating Quality of Service Aspects in Top-Down Business Process Development Using WS-CDL and WS-BPEL

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOCW
Computer NetworksHardwareCommunicationsComputer Science ApplicationsArchitectureTheoretical Computer ScienceSoftware
2007English

Path Feasibility Analysis of BPEL Processes Under Dead Path Elimination Semantics

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2016English

Towards Simulation Workflows With BPEL: Deriving Missing Features From GriCoL

2010English

Automata Semantics and Analysis of BPEL

2007English

Deriving Real-Time Programs From Duration Calculus Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

A Design of Tool for Generating Web Service Stub for WS-BPEL

2017English

Deriving Transaction Specifications From Deductive Conceptual Models of Information Systems

Notes on Numerical Fluid Mechanics and Multidisciplinary Design
Transfer ProcessesFluid Flow
1994English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy