Modeling- and analysis techniques for Web services and business processes

Lecture Notes in Computer Science

Volumn 3535, Issue , 2005, Pages 243-258

  Reisig, Wolfgang ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPETITIVE INTELLIGENCE; DECISION MAKING; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LANGUAGES; WORLD WIDE WEB; FORMAL METHODS; SOCIAL NETWORKING (ONLINE); WEBSITES;

BUSINESS PROCESSES; FORMAL METHODS; INFORMATION PROCESSING; WEB SERVICES; ANALYSIS TECHNIQUES; BUSINESS PROCESS; EXPRESSIVE POWER; MODEL AND ANALYSIS; OPEN DISTRIBUTED SYSTEMS;

TELECOMMUNICATION SERVICES; WEB SERVICES;

EID: 26444447503     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11494881_16     Document Type: Conference Paper

References (17)

1. G. Alonso, C. Casati, H. Kuno, and V. Machirajv. Web Services. Springer Verlag, 2004.
2. E. Börger and R. Stärk. Abstract State Machines - A Method for High-Level System Design and Analysis. Springer-Verlag, 2003.
3. F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller, and S. Weerawarana. Business Process Execution Language for Web Services Version 1.1. Specification, BEA Systems, IBM, Microsoft, SAP, Siebel, 05 May 2003. http://msdn.microsoft.com/library/default.asp?url=/library/en-us/dnbiz2k2/html/ bpel1-1.asp.
4. D. Fahland and W. Reisig. ASM based semantics of Web services: the negative control flow. International conference, ASM05, Paris, March 2005.
5. Y. Gurevich. Sequential Abstract-State Machines Capture Sequential Algorithms. ACM Tranactions on Computational Logic, Vol.1 No.1:77-111, July 2000.
6. Ekkart Kindler, Axel Martens, and Wolfgang Reisig. Inter-operability of Workflow Applications: Local Criteria for Global Soundness. In Business Process Management, LNCS 1806, pages 235-253, 2000.
7. Axel Martens. On Usability of Web Services. In Proceedings of WQW 2003, Rome, Italy, 2003. IEEE Computer Society Press.
8. Axel Martens. Analyzing Web Service based Business Processes. In Proceedings of Intl. Conference on Fundamental Approaches to Software Engineering (FASE'05), Edinburgh, Scotland, April 2005. Springer-Verlag.
9. Axel Martens. 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.
10. P. Massuthe and K. Schmidt. Operating guidelines - an alternative to public view. Internal report, Humboldt-Universität zu Berlin, 2005.
11. W. Reisig. Elements of Distributed Systems. Springer Verlag, 1997.
12. W. Reisig and A. Brade. ASM models of Web Services. Technical report, Humboldt-Universität zu Berlin, Computer Science Institute, December 2004. No. 181.
13. W. Reisig, K. Schmidt, and Chr. Stahl. Geschäftsprozesse modellieren und analysieren auf der Basis von Petri-Netzen. Technical report, Humboldt-Universität zu Berlin, Computer Science Institute, December 2004. No. 182.
14. Karsten Schmidt and Christian Stahl. 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), pages 1-6. Universität Paderborn, October 2004.
15. W.M.P. van der Aalst. Structural Characterization of Sound Workflow Nets. Technical report, Eindhoven University of Technology, Dept. of Mathematics and Computing Science, 1996. Computing Science Report 96/23.
16. W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers, 8(1):21-66, 1998.
17. W3C. Web Services Architecture Requirements. Working group note, W3C, October 2002. http://www.w3.org/TR/wsa-reqs/.