WebSite Logo
  • Content
  • Similar Resources
  • Metadata
  • Cite This
  • Log-in
  • Fullscreen
Log-in
Do not have an account? Register Now
Forgot your password? Account recovery
  1. Frontiers of Computer Science in China
  2. Frontiers of Computer Science in China : Volume 1
  3. Frontiers of Computer Science in China : Volume 1, Issue 1, February 2007
  4. A model for BPEL-like languages
Loading...

Please wait, while we are loading the content...

Frontiers of Computer Science in China : Volume 11
Frontiers of Computer Science in China : Volume 10
Frontiers of Computer Science in China : Volume 9
Frontiers of Computer Science in China : Volume 8
Frontiers of Computer Science in China : Volume 7
Frontiers of Computer Science in China : Volume 6
Frontiers of Computer Science in China : Volume 5
Frontiers of Computer Science in China : Volume 4
Frontiers of Computer Science in China : Volume 3
Frontiers of Computer Science in China : Volume 2
Frontiers of Computer Science in China : Volume 1
Frontiers of Computer Science in China : Volume 1, Issue 4, October 2007
Frontiers of Computer Science in China : Volume 1, Issue 3, July 2007
Frontiers of Computer Science in China : Volume 1, Issue 2, May 2007
Frontiers of Computer Science in China : Volume 1, Issue 1, February 2007
Mathematics mechanization and applications after thirty years
A model for BPEL-like languages
Dawning4000A high performance computer
Recognizing the agent’s goals incrementally: planning graph as a basis
A quick overview of membrane computing with some details about spiking neural P systems
Supporting crosscutting concern modelling in software architecture design
HTRDP evaluations on Chinese information processing and intelligent human-machine interface
Compiler-directed power optimization of high-performance interconnection networks for load-balancing MPI applications
Extraction of delta-lognormal parameters from handwriting strokes
P2P worm detection based on application identification

Similar Documents

...
Verifying BPEL-like programs with Hoare logic

Article

...
A Chu Spaces Semantics of BPEL-Like Fault Handling

Article

...
Formal modeling of BPEL workflows including fault and compensation handling

Article

...
Verifying bpel-like programs with hoare logic: technical report?.

Article

...
Compensation is not enough [fault-handling and compensation mechanism]

Article

...
Semantics of bpel4ws-like fault and compensation handling (2005)

Article

...
On the laws of failure: a theory of compensable programs

Article

...
A UTP semantic model for Orc language with execution status and fault handling

Article

...
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability

Article

A model for BPEL-like languages

Content Provider Springer Nature Link
Author He, Jifeng Zhu, Huibiao Pu, Geguang
Copyright Year 2007
Abstract Web service is increasingly being applied in solving many universal interoperability problems. Business Process Execution Language (BPEL) is a de facto standard for specifying the behavior of business processes. It contains several interesting features, including scope-based compensation, fault handling and shared-labels for synchronization. In this paper we explore an observation-oriented model for BPEL-like languages, which can be used to study program equivalence. The execution states of a program are divided into five types: completed state, waiting state and divergent state, as well as error state and undo state. The last two states are especially for dealing with compensation and fault handling. Based on the formalized model, a set of algebraic laws is investigated, including traditional laws and BPEL featured laws. The concept of guarded choice is also introduced in this model, which can be used to support the transformation of a parallel program into the form of guarded choice. Two special scopes are introduced: canonical structure and compensation structure, which are used to eliminate undo and compensation construct from finite processes.
Starting Page 9
Ending Page 19
Page Count 11
File Format PDF
ISSN 16737350
Journal Frontiers of Computer Science in China
Volume Number 1
Issue Number 1
e-ISSN 16737466
Language English
Publisher Higher Education Press
Publisher Date 2007-01-01
Publisher Institution Chinese Universities
Publisher Place Beijing
Access Restriction Subscribed
Subject Keyword BPEL compensation fault handling observation-oriented semantics algebraic laws Computer Science
Content Type Text
Resource Type Article
Subject Theoretical Computer Science Computer Science
  • About
  • Disclaimer
  • Feedback
  • Sponsor
  • Contact
  • Chat with Us
About National Digital Library of India (NDLI)
NDLI logo

National Digital Library of India (NDLI) is a virtual repository of learning resources which is not just a repository with search/browse facilities but provides a host of services for the learner community. It is sponsored and mentored by Ministry of Education, Government of India, through its National Mission on Education through Information and Communication Technology (NMEICT). Filtered and federated searching is employed to facilitate focused searching so that learners can find the right resource with least effort and in minimum time. NDLI provides user group-specific services such as Examination Preparatory for School and College students and job aspirants. Services for Researchers and general learners are also provided. NDLI is designed to hold content of any language and provides interface support for 10 most widely used Indian languages. It is built to provide support for all academic levels including researchers and life-long learners, all disciplines, all popular forms of access devices and differently-abled learners. It is designed to enable people to learn and prepare from best practices from all over the world and to facilitate researchers to perform inter-linked exploration from multiple sources. It is developed, operated and maintained from Indian Institute of Technology Kharagpur.

Learn more about this project from here.

Disclaimer

NDLI is a conglomeration of freely available or institutionally contributed or donated or publisher managed contents. Almost all these contents are hosted and accessed from respective sources. The responsibility for authenticity, relevance, completeness, accuracy, reliability and suitability of these contents rests with the respective organization and NDLI has no responsibility or liability for these. Every effort is made to keep the NDLI portal up and running smoothly unless there are some unavoidable technical issues.

Feedback

Sponsor

Ministry of Education, through its National Mission on Education through Information and Communication Technology (NMEICT), has sponsored and funded the National Digital Library of India (NDLI) project.

Contact National Digital Library of India
Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302
See location in the Map
03222 282435
Mail: support@ndl.gov.in
Sl. Authority Responsibilities Communication Details
1 Ministry of Education (GoI),
Department of Higher Education
Sanctioning Authority https://www.education.gov.in/ict-initiatives
2 Indian Institute of Technology Kharagpur Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project https://www.iitkgp.ac.in
3 National Digital Library of India Office, Indian Institute of Technology Kharagpur The administrative and infrastructural headquarters of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
4 Project PI / Joint PI Principal Investigator and Joint Principal Investigators of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
Prof. Saswat Chakrabarti  will be added soon
5 Website/Portal (Helpdesk) Queries regarding NDLI and its services support@ndl.gov.in
6 Contents and Copyright Issues Queries related to content curation and copyright issues content@ndl.gov.in
7 National Digital Library of India Club (NDLI Club) Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach clubsupport@ndl.gov.in
8 Digital Preservation Centre (DPC) Assistance with digitizing and archiving copyright-free printed books dpc@ndl.gov.in
9 IDR Setup or Support Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops idr@ndl.gov.in
I will try my best to help you...
Cite this Content
Loading...