Instance isolation analysis for service-oriented architectures

Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008

Volumn 1, Issue , 2008, Pages 249-256

  Decker, Gero ^a   Weske, Mathias ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FINANCIAL DATA PROCESSING; GRAPH THEORY; INFORMATION SERVICES; MARINE BIOLOGY; PETRI NETS; TESTING;

INCOMING MESSAGES; INTERNATIONAL CONFERENCES; SERVICES COMPUTING;

CORRELATION METHODS;

EID: 51749111176     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCC.2008.44     Document Type: Conference Paper

References (23)

1. UML 2.0 Superstructure Specification. Technical report, Object Management Group (OMG), August 2005.
2. A. Barros, G. Decker, M. Dumas, and F. Weber. Correlation Patterns in Service-Oriented Architectures. In FASE 2007, Braga, Portugal, 2007.
3. E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. Web Services Description Language (WSDL) 1.1. Technical report, Mar 2001. http://www.w3.org/TR/2001/NOTE-wsdl-20010315.
4. F. Curbera, F. Leymann, T. Storey, D. Ferguson, and S. Weerawarana. Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging and More. Prentice Hall PTR, 2005.
5. G. Decker, O. Kopp, F. Leymann, and M. Weske. BPEL4Chor: Extending BPEL for Modeling Choreographies. In ICWS 2007, Salt Lake City, USA, July 2007.
6. G. Decker, F. Puhlmann, and M. Weske. Formalizing Service Interactions. In BPM 2006, Vienna, Austria, Sept 2006. Springer LNCS.
7. D. Fahland and W. Reisig. ASM-based semantics for BPEL: The negative Control Flow. In D. Beauquier, E. Brger, and A. Slissenko, editors, ASM 2005, pages 131{151. Paris XII, Mar. 2005.
8. D. C. Fallside and P. Walmsley. Web Services Business Process Execution Language Version 2.0. Technical report, Oct 2005. http://www.oasis-open.org/ apps/org/workgroup/wsbpel/.
9. M. Gudgin, M. Hadley, and T. Rogers. Web Services Addressing 1.0 - Core, W3C Recommendation. Technical report, May 2006. http://www.w3.org/TR/ws-addr- core/.
10. S. Hinz, K. Schmidt, and C. Stahl. Transforming BPEL to Petri Nets. In BPM 2005, volume 3649 of LNCS, pages 220{235, Nancy, France, Sept. 2005. Springer.
11. G. Hohpe and B. Woolf. Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2003.
12. K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1. Springer, 1996.
13. N. Kavantzas, D. Burdett, G. Ritzinger, and Y. Lafon. Web Services Choreography Description Language Version 1.0, W3C Candidate Recommendation. Technical report, November 2005. http://www.w3.org/TR/ws-cdl-10.
14. N. Lohmann, O. Kopp, F. Leymann, and W. Reisig. Analyzing BPEL4Chor: Verification and Participant Synthesis. In WSFM 2007, Brisbane, Australia, September 2007.
15. A. Martens. Analyzing Web Service based Business Processes. In FASE 2005, volume 3442 of LNCS, Edinburgh, Scotland, April 2005. Springer-Verlag.
16. A. Martens. Consistency between Executable and Abstract Processes. In EEE 2005, pages 60-67, Hong Kong, China, 2005. IEEE Computer Society.
17. P. Mayer and D. Lübke. Towards a BPEL unit testing framework. In TAV-WEB 2006, Portland, Maine, USA, July 2006.
18. M. Mazzara and R. Lucchi. pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming, 70:96-118, 2006.
19. R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes. Information and Computation, 100:1-40, 1992.
20. S. Moser, A. Martens, K. Gorlach, W. Amme, and A. Godlinski. Advanced verification of distributed ws-bpel business processes incorporating cssa-based data flow analysis. In SCC 2007, pages 98-105, Salt Lake City, Utah, USA, 2007. IEEE Computer Society.
21. W. D. Pauw, R. Hoch, and Y. Huang. Discovering conversations in web services using semantic correlation analysis. In ICWS 2007, pages 639-646, Salt Lake City, Utah, USA, July 2007. IEEE Computer Society.
22. W. Reisig. Petri nets. Springer Verlag, 1985.
23. F. R. Velardo and D. de Frutos-Escrig. Name creation vs. replication in petri net systems. In Petri Nets 2007, volume 4546 of LNCS, pages 402-422, Siedlce, Poland, June 2007. Springer.