Abstract
An increasing number of software applications and business processes are relying upon the use of web services to achieve their requirements. This is due in part to the use of standardized composition languages like the Business Process Execution Language (BPEL). BPEL allows the process designer to compose a procedural workflow from an arbitrary number of available web services and supplemental “programming-like” activities (e.g., assigning values to variables). Such composition languages naturally bring concerns of reliability, consistency, and durability, let alone safety and security. Thus, there is a need for formal specification and analysis of BPEL compositions for high assurance satisfaction. We propose the use of Unified Modeling Language (UML) sequence diagrams as a means for analysis of BPEL process consistency and demonstrate our technique with two examples.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
O’Brien L, Merson P, Bass L (2007) Quality Attributes for Service-Oriented Architectures. International Workshop on Systems Development in SOA Environments
Kontogiannis K, Lewis GA, Smith DB et al (2007) The Landscape of Service-Oriented Systems: A Research Perspective. International Workshop on Systems Development in SOA Environments
Sarna-Starosta B, Stirewalt REK, Dillon LK (2007) Contracts and Middleware for Safe SOA Applications. International Workshop on Systems Development in SOA Environments
Zheng Y, Krause P (2007) Automata Semantics and Analysis of BPEL. Digital EcoSystems and Technologies Conference 147-152
Zheng Y, Zhou J, Krause P (2007) A Model Checking based Test Case Generation Framework for Web Services. Fourth International Conference on Information Technology 715-722
Ye C, Cheung SC, Chan WK (2006) Publishing and composition of atomicity-equivalent services for B2B collaboration. Proceedings of the 28th international Conference on Software Engineering 351-360
Li Q, Zhu H, He J (2008) Towards the Service Composition Through Buses. High Assurance Systems Engineering Symposium 441-444
Chu W, Qian D (2008) Architecture Centric System Design for Supporting Reconfiguration of Service Oriented Systems. High Assurance Systems Engineering Symposium 414-423
Dun H, Xu H, Wang L (2008) Transformation of BPEL Processes to Petri Nets. Theoretical Aspects of Software Engineering 166-173
Laneve C, Zavattaro G (2005) Foundations of web transactions. Proceedings of Foundations of Software Science and Computation Structures 282-298
Foster H, Uchitel S, Magee J et al (2006) LTSA-WS: A Tool for Model-Based Verification of Web Service Compositions and Choreography. International Conference on Software Engineering 771-774
Foster H, Uchitel S, Magee J et al (2006) Model-based Verification of Web Service Compositions. 18th IEEE International Conference on Automated Software Engineering
Foster H, Uchitel S, Magee J et al (2004) Compatibility Verification for Web Service Choreography. 3rd IEEE International Conference on Web Services
Foster H (2003) Mapping BPEL4WS to FSP, Technical Report. Imperial College
Akkiraju R, Flaxer D, Chang H et al (2001) A Framework for Facilitating Dynamic e-Business Via Web Services. OOPSLA 2001 -Workshop on Object-Oriented Web Services
Fu X, Bultan T, Su J (2004) WSAT: A tool for Formal Analysis of Web Services. 16th International Conference on Computer Aided Verification
Nakajima S (2002) Model-Checking Verification for Reliable Web Service. Workshop on Object-Oriented Web Services
Rumbaugh J, Jacobon I, Booch G (2004) The Unified Modeling Laguage Reference Manual Second Edition. Addison-Wesley, United States
Object Management Group (2007) Unified Modeling Language: Super-structure v2.1.2.
Whittle J, Schumann J (2000) Generating statechart designs from scenarios. International Conference on Software Engineering 314-323
Uchitel S, Kramer J, Maggee J (2003) Synthesis of behavioral models from scenarios. IEEE Transactions on Software Engineering 99-115
Arlow J, Neustadt I (2008) UML 2 and the Unified Process, Second Edition. Addison-Wesley, United States
OASIS (2007) Web Services Business Process Execution Language Version 2.0.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag US
About this chapter
Cite this chapter
Robinson, M., Shen, H., Niu, J. (2009). High Assurance BPEL Process Models. In: Zhang, LJ., Paul, R., Dong, J. (eds) High Assurance Services Computing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-87658-0_11
Download citation
DOI: https://doi.org/10.1007/978-0-387-87658-0_11
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-87657-3
Online ISBN: 978-0-387-87658-0
eBook Packages: Computer ScienceComputer Science (R0)