Process oriented discovery of business partners

ICEIS 2005 - Proceedings of the 7th International Conference on Enterprise Information Systems

Volumn , Issue , 2005, Pages 57-64

  Martens, Axel ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

BPEL4WS; Business process modeling; Petri nets; Process model matchmaking; UDDI; Web service

Indexed keywords

BPEL4WS; BUSINESS PARTNERS; BUSINESS PROCESS MODELING; COARSE-GRAINED; DYNAMIC APPLICATIONS; EMERGING TECHNOLOGIES; INDUSTRIAL STANDARDS; META INFORMATION; PROCESS MODEL; PROCESS-ORIENTED; SERVICE PROCESS; TECHNICAL ASPECTS; UDDI;

GRAPH THEORY; INDUSTRY; INTERNET PROTOCOLS; PETRI NETS; WEB SERVICES;

INFORMATION SYSTEMS;

EID: 33746363179     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. Alonso, G., Casati, F., Kuno, H., and Machiraju, V. (2002). Web Services. Springer-Verlag.
2. Andrews et al. (2002). BPEL4WS - Business Process Execution Language for Web Services. OASIS, Standard proposal, Version 1.1.
3. Bellwood, T., Clément, L., and von Riegen, C. (2002). UDDI - Universal Discovery, Description, and Integration. UDDI.org, Version 3.0, Standard.
4. Boubez, T. and Clément, L. (2002). UDDI Registry tModels. Technical contribution, Version 2.03, OASIS.
5. Christensen, E., Curbera, F., Meredith, G., and Weerawarana, S. (2001). WSDL - Web Services Description Language. W3C, Standard, Version 1.1.
6. Hamadi, R. and Benatallah, B. (2003). A Petri Net based Model for Web Service Composition. In Proc. of ADC 2003. Australian Computer Society, Inc.
7. Martens, A. (2003). On Compatibility of Web Services. Petri Net Newsletter, 65:12-20.
8. Martens, A. (2004). On Usability of Web Services. In Calero, Diaz, and Piattini, editors, Proc. of WISE 2003 Workshops, Rome, Italy. IEEE Computer Society.
9. Martens, A. (2005a). Analyzing Web Service based Business Processes. In Proc. of FASE'05, Edinburgh, Scotland. Springer-Verlag, LNCS. to appear.
10. Martens, A. (2005b). Consistency between Executable and Abstract Processes. In Proc. of IEEE EEE'05, Hong Kong. IEEE Computer Society. to appear.
11. Nielson, F., Nielson, H. R., and Hankin, C. (1999). Principles of Program Analysis. Springer-Verlag.
12. Paolucci, M., Kawamura, T., Payne, T., and Sycara, K. (2002). Importing the Semantic Web in UDDI. In Proc. of CAiSE 2002, Toronto, Canada.
13. Reisig, W. (1985). Petri Nets. Springer-Verlag.
14. Schmidt, K. (2002). Explicit State Space Verification. Postdoctoral thesis, Humboldt-Universität zu Berlin.
15. Schmidt, K. and Stahl, C. (2004). A Petri net semantic for BPEL4WS. In Proc. of 11th Workshop AWPN. University Paderborn, Germany.
16. Valmari, A. (1988). State Space Generation - Efficiency and Practicality. PhD thesis, Tampere University.
17. van der Aalst, W. (1998a). Modeling and Analyzing Interorganizational Workflows. In Proc. of CSD'98. IEEE Computer Society.
18. van der Aalst, W. (1998b). The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers, 8(1):21-66.
19. van Glabbeek, R. (1990). The Linear Time - Branching Time Spectrum. LNCS 458. Springer-Verlag.
20. Web-Ontology Working Group (2004). Ontology Web Language for Web Services. W3C, OWL-S 1.1 Release.
21. Wombacher, Fankhauser, Mahleko, and Neuhold (2004). Matchmaking for Business Processes. In Proc. of IEEE EEE-04. IEEE Computer Society.
22. WOMBAT4WS (2003). Workflow Modeling and Business Analysis Toolkit for Web Services. Tool hompage, http://www.informatik.hu-berlin.de/top/wombat/.