A standard-driven implementaion of WS-BPEL 2.0

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2010, Pages 2472-2476

  Hallwyl, Tim ^a   Henglein, Fritz ^a   Hildebrandt, Thomas ^b  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

^b IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

OASIS; standard driven; WS BPEL; XPath

Indexed keywords

COMPLEMENTARY METHODS; DATA ACCESS; DESIGN GOAL; EMPIRICAL EVALUATIONS; NEW HIGH; OPEN SOURCES; SYSTEMATIC STUDY; TEST CASE; WS-BPEL;

STANDARDS;

EID: 77954700070     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1774088.1774599     Document Type: Conference Paper

References (13)

1. Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Guízar, A., Kartha, N., Liu, C.K., Khalaf, R., König, D., Marin, M., Mehta, V., Thatte, S., van der Rijn, D., Yendluri, P., Yiu, A.: Web Services Business Process Execution Language Version 2.0. Technical report, OASIS Web Services Business Process Execution Language (WS-BPEL) TC (April 2007)
2. Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E., Yergeau, F., Cowan, J.: Extensible Markup Language (XML) 1.1 (Second Edition). W3C Recommendation, W3C (1999)
3. Karpf, J.: Quality Assurance of Legal Expert Systems. Jurimatics 8 (1989) Copenhagen Business School.
4. Bench-Capon, T.J.M., Coenen, F.P.: Isomorphism and legal knowledge based systems. Artificial Intelligence and Law 1 (1992) 65-86
5. Fahland, D.: Complete Abstract Operational Semantics for the Web Service Business Process Execution Language. Informatik-Berichte 190, Humboldt-Universität zu Berlin (September 2005)
6. Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative Control Flow. In Beauquier, D., Börger, E., Slissenko, A., eds.: Proceedings of the 12th International Workshop on Abstract State Machines (ASM'05), Paris XII (March 2005) 131-151
7. Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0 and its compiler BPEL2oWFN. Informatik-Berichte 212, Humboldt-Universität zu Berlin (August 2007)
8. Lapadula, A., Pugliese, R., Tiezzi, F.: A formal account of WS-BPEL. In: Proceedings of the 10th International Conference on Coordination Models and Languages (COORDINATION'08). Volume 5052 of Lecture Notes in Computer Science (LNCS)., Springer (2008) 199-215
9. Hallwyl, T.: Evaluating the BPEL standard specification. Master's thesis, Department of Computer Science, University of Copenhagen (May 2008) DIKU TOPPS Technical Report D-609.
10. Clark, J., DeRose, S.: XML Path Language (XPath) Version 1.0. W3C Recommendation, W3C (1999)
11. Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press (March 2009)
12. Hildebrandt, T., Niss, H., Olsen, M.: Formalising business process execution with bigraphs and Reactive XML. In: COORDINATION'06. Volume 4038 of LNCS., Springer (2006) 113-129
13. Bundgaard, M., Glenstrup, A.J., Hildebrandt, T., Højsgaard, E., Niss, H.: Formalizing higher-order mobile embedded business processes with binding bigraphs. In: Proceedings of the 10th International Conference on Coordination Models and Languages (COORDINATION'08). Volume 5052 of Lecture Notes in Computer Science (LNCS)., Springer (2008) 83-99