Abstract
The current WS-BPEL specification is based on a textual description of the semantics of its constructs. This can raise some misunderstandings and difficults the development of tools for analysis and verification of WS-BPEL processes. To alleviate this lack, several groups have proposed formal models for WS-BPEL. Such models comprise more or less the full semantics in a tightly-coupled approach. We consider that WS-BPEL needs a more flexible fault handling model. This paper presents an executable model based on AsmL which allows to seamlessly add/modify behavior to implement new transaction models.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services, version 1.1 (2003)
Butler, M., Ferreira, C., Ng, M.: Precise Modelling of Compensating Business Transactions and its Application to BPEL. Journal of Universal Computer Science (2005)
Fahland, D.: Complete Abstract Operational Semantics for the Web Service Process Execution Language. Technical report, Humboldt-Universität zu Berlin (2005)
Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative control flow. In: Proceedings of Abstract State Machines (2005)
Farahbod, R., Glässer, U., Vajihollahi, M.: Abstract operational semantics of the Business Process Execution Language for Web Services. Technical Report SFU-CMPT-TR-2004-03, Simon Fraser University, Canada (2004)
Ferrara, A.: Web services: A process algebra approach. Technical Report 17-04, Università di Roma ”La Sapienza” (2004)
Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proceedings of the 13th Inter. Conf. on World Wide Web. ACM Press, New York (2004)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of reusable object-oriented Software. Addison-Wesley, Reading (1995)
Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In: Specification and Validation Methods. Oxford University Press, Oxford (1995)
Microsoft AsmL research team: (Asml web site), http://www.research.microsoft.com/foundations/asml/
Ouyang, C., van der Aalst, W.M., Breutel, S., Dumas, M., ter Hofstede, A.H., Verbeek, E.: Formal Semantics and Analysis of Control Flow in WS-BPEL. Technical Report BPM-05-03, BPMcenter.org. (2005)
Schmidt, D., Stal, M., Rohnert, H., Buschmann, F.: Pattern-Oriented Software Architecture: Patterns for concurrent and networked objects, vol. 2. Wiley & Sons, Chichester (2000)
Stahl, C.: A Petri Net Semantics for BPEL. Technical Report 188, Humboldt-Universität zu Berlin, Institut für Informatik (2005)
Zhang, A., Nodine, M.H., Bhargava, B.K., Bukhres, O.A.: Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems. In: Proc. of the 1994 ACM SIGMOD Inter. Conf. on Management of Data. ACM Press, New York (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
García-Bañuelos, L. (2006). An AsmL Executable Model for WS-BPEL with Orthogonal Transactional Behavior. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds) Business Process Management. BPM 2006. Lecture Notes in Computer Science, vol 4102. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11841760_30
Download citation
DOI: https://doi.org/10.1007/11841760_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38901-9
Online ISBN: 978-3-540-38903-3
eBook Packages: Computer ScienceComputer Science (R0)