From OWL-S descriptions to petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4907 LNCS, Issue , 2009, Pages 427-438

  Brogi, Antonio ^a   Corfini, Sara ^a   Iardella, Stefano ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MARINE BIOLOGY; PETRI NETS;

FORMAL ANALYSIS;

GRAPH THEORY;

EID: 58149480156     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-93851-4_41     Document Type: Conference Paper

References (19)

1. Papazoglou, M.P., Georgakopoulos, D.: Service-Oriented Computing. Communications of the ACM 46(10), 24-28 (2003)
2. WSDL Coaltion: Web Service Description Language (WSDL) version 2.0 (2007), http://www.w3.org/TR/wsdl20/
3. OWL-S Coalition: OWL-S: Semantic Markup for Web Service (2006), http://www.ai.sri.com/daml/services/owl-s/1.2/overview/
4. Elenius, D., Denker, G., Martin, D., Gilham, F., Khouri, J., Sadaati, S., Senanayake, R.: The OWL-S Editor - A Development Tool for Semantic Web Services. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 78-92. Springer, Heidelberg (2005)
5. Jaeger, M., et al.: OWLSM (2004), http://owlsm.projects.semwebcentral. org/
6. (Petri nets World), http://www.informatik.uni-hamburg.de/TGI/PetriNets/
7. Billington, J., Christensen, S., van Hee, K.M., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The Petri Net Markup Language: Concepts, Technology, and Tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 483-505. Springer, Heidelberg (2003)
8. The WoPeD Team: Workflow Petri Net Designer (2007), http://www.woped.org/
9. Research Group Petri Net Technology: Petri Net Kernel (2002), http://www2.informatik.hu-berlin.de/top/pnk/
10. BPEL Coalition: WS-BPEL 2.0 (2006), http://docs.oasis-open.org/wsbpel/2. 0/wsbpel-v2.0.pdf
11. Ouyang, C., Verbeek, E., van der Aalst, W., Breutel, S., Dumas, M., ter Hofstede, A.: WofBPEL: A Tool for Automated Analysis of BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 484-489. Springer, Heidelberg (2005)
12. Fernandez, J.C., Mounier, L.: On the Fly verification of behavioural equivalences and preorders. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol. 575, pp. 181-191. Springer, Heidelberg (1992)
13. Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: A Behavioural Congruence for Web services. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 240-256. Springer, Heidelberg (2007)
14. Benigni, F., Brogi, A., Corfini, S.: Discovering Service Compositions That Feature a Desired Behaviour. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 56-68. Springer, Heidelberg (2007)
15. Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: Compositional Specification of Web Services via Behavioural Equivalence: A Case Study. Technical Report TR-08-01, Computer Science Department, University of Pisa (2008), http://compass2.di.unipi.it/TR/Files/TR-08-01.pdf.gz
16. 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)
17. Massuthe, P., Reisig, W., Schmidt, K.: An operating guideline approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1(3), 35-43 (2005)
18. Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: WWW 2002, pp. 77-88. ACM Press, New York (2002)
19. Moldt, D., Ortmann, J.: DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 209-213. Springer, Heidelberg (2004)