Abstract
Open distributed systems include in particular Web services and business processes. There is a need of techniques to model such systems formally, and to derive decisive properties from such models. Three such techniques are presented in this paper, exemplified by help of realistic examples, and mutually related w.r.t. their respective expressive power and the availability of analysis techniques.
Chapter PDF
Similar content being viewed by others
Keywords
- Business Process
- Model Business Process
- Business Process Execution Language
- Constant Symbol
- Output Place
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Alonso, G., Casati, C., Kuno, H., Machirajv, V.: Web Services. Springer, Heidelberg (2004)
Börger, E., Stärk, R.: Abstract State Machines – A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Weerawarana, S.: Business Process Execution Language for Web Services Version 1.1. Specification, BEA Systems, IBM, Microsoft, SAP, Siebel (May 5, 2003), http://msdn.microsoft.com/library/default.asp?url=/library/en-us/dnbiz2k2/html/bpel1-1.asp.
Fahland, D., Reisig, W.: ASM based semantics of Web services: the negative control flow. In: International Conference, ASM 2005, Paris (March 2005)
Gurevich, Y.: Sequential Abstract-State Machines Capture Sequential Algorithms. ACM Tranactions on Computational Logic 1(1), 77–111 (2000)
Kindler, E., Martens, A., Reisig, W.: Inter-operability of Workflow Applications: Local Criteria for Global Soundness. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 235–253. Springer, Heidelberg (2000)
Martens, A.: On Usability of Web Services. In: Proceedings of WQW 2003, Rome, Italy. IEEE Computer Society Press, Los Alamitos (2003)
Martens, A.: Analyzing Web Service based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)
Martens, A.: Consistency between Executable and Abstract Processes. In: Proceedings of IEEE International Conference on e-Technology, e-Commerce and e- Service (EEE’05), Hong Kong, China, March 2005. IEEE Computer Society Press, Los Alamitos (2005)
Massuthe, P., Schmidt, K.: Operating guidelines – an alternative to public view. Internal report, Humboldt-Universität zu Berlin (2005)
Reisig, W.: Elements of Distributed Systems. Springer, Heidelberg (1997)
Reisig, W., Brade, A.: ASM models of Web Services. Technical report, Humboldt-Universität zu Berlin, Computer Science Institute, No. 181 (December 2004)
Reisig, W., Schmidt, K., Stahl, C.: Geschäftsprozesse modellieren und analysieren auf der Basis von Petri-Netzen. Technical report, Humboldt- Universität zu Berlin, Computer Science Institute, No. 182 (December 2004)
Schmidt, K., Stahl, C.: A Petri net Semantic for BPEL4WS - Validation and Application. In: Ekkart Kindler, editor, Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN’04), pp. 1–6. Universität Paderborn (October 2004)
van der Aalst, W.M.P.: Structural Characterization of Sound Workflow Nets. Technical report, Eindhoven University of Technology, Dept. of Mathematics and Computing Science, Computing Science Report 96/23 (1996)
van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers 8(1), 21–66 (1998)
W3C. Web Services Architecture Requirements. Working group note, W3C (October 2002), http://www.w3.org/TR/wsa-reqs/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 IFIP International Federation for Information Processing
About this paper
Cite this paper
Reisig, W. (2005). Modeling- and Analysis Techniques for Web Services and Business Processes. In: Steffen, M., Zavattaro, G. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 2005. Lecture Notes in Computer Science, vol 3535. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11494881_16
Download citation
DOI: https://doi.org/10.1007/11494881_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26181-0
Online ISBN: 978-3-540-31556-8
eBook Packages: Computer ScienceComputer Science (R0)