A behavioural congruence for web services

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

Volumn 4767 LNCS, Issue , 2007, Pages 240-256

  Bonchi, Filippo ^a   Brogi, Antonio ^a   Corfini, Sara ^a   Gadducci, Fabio ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS;

DISTRIBUTED HETEROGENEOUS SOFTWARE SYSTEMS; PROMISING TECHNOLOGY;

WEB SERVICES;

EID: 38149046398     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75698-9_16     Document Type: Conference Paper

References (25)

1. Newcomer, E.: Understanding Web Services: XML, WSDL, SOAP, and UDDI. Addison-Wesley, Reading (2002)
2. W3C: WSDL 1.1 (2001), http://www.w3.org/TR/wsdl
3. OWL-S Coalition: OWL-S 1.1 (2004), http://www.daml.org/services/owl-s/1. 1/
4. Reisig, W.: Petri Nets: An Introduction. EATCS Monographs in Theoretical Computer Science, vol. 4. Springer, Heidelberg (1985)
5. Hamadi, R., Benatallah, B.: A petri net-based model for web service composition. In: Schewe, K.D., Zhou, X. (eds.) Australasian Database Conference in Research and Practice in Information Technology, vol. 17, pp. 191-200. Australian Computer Society (2003)
6. Martens, A.: Analyzing Web service based business processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19-33. Springer, Heidelberg (2005)
7. van der Aalst, W.: Pi calculus versus Petri nets: Let us eat "humble pie" rather than further inflate the "Pi hype". BPTrends 3(5), 1-11 (2005)
8. Brogi, A., Corfini, S.: Behaviour-aware discovery of Web service compositions. International Journal of Web Services Research 4(3), 1-25 (2007)
9. Leifer, J., Milner, R.: Deriving bisimulation congruences for reactive systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 243-258. Springer, Heidelberg (2000)
10. Milner, R.: Bigraphs for Petri nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 686-701. Springer, Heidelberg (2004)
11. Sassone, V., Sobociński, S.: A congruence for Petri nets. In: Ehrig, H., Padberg, J., Rozenberg, G. (eds.) Petri Nets and Graph Transformation. Electr. Notes in Theor. Comp. Sci, vol. 127, pp. 107-120. Elsevier, Amsterdam (2005)
12. Montanari, U., Rossi, F.: Contextual nets. Acta Informatica 32(6), 545-596 (1995)
13. Martens, A.: Consistency between executable and abstract processes. In: eTechnology, e-Commerce, and e-Services, pp. 60-67. IEEE Computer Society, Los Alamitos (2005)
14. Verbeek, H., van der Aalst, W.: Analyzing BPEL processes using Petri nets. In: Marinescu, D. (ed.) Applications of Petri Nets to Coordination, Workflow and Business Process Management, pp. 59-78 (2005)
15. Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)
16. Lack, S., Sobociński, P.: Adhesive categories. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 273-288. Springer, Heidelberg (2004)
17. Sassone, V., Sobociński, P.: Reactive systems over cospans. In: Logic in Computer Science, pp. 311-320. IEEE Computer Society, Los Alamitos (2005)
18. Ehrig, H., König, B.: Deriving bisimulation congruences in the DPO approach to graph rewriting. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 151-166. Springer, Heidelberg (2004)
19. Bonchi, F., König, B., Montanari, U.: Saturated semantics for reactive systems. In: Logic in Computer Science, pp. 69-80. IEEE Computer Society, Los Alamitos (2006)
20. Pomello, L., Rozenberg, G., Simone, C.: A survey of equivalence notions for net based systems. In: Rozenberg, G. (ed.) Advances in Petri Nets 1992. LNCS, vol. 609, pp. 410-472. Springer, Heidelberg (1992)
21. Best, E., Devillers, R., Koutny, M.: The Box Algebra = Petri nets + process expressions. Information and Computation 178(1), 44-100 (2002)
22. Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional semantics for open Petri nets based on deterministic processes. Mathematical Structures in Computer Science 15(1), 1-35 (2005)
23. Kindler, E.: A compositional partial order semantics for Petri net components. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 235-252. Springer, Heidelberg (1997)
24. van der Aalst, W., de Medeiros, A.A., Weijters, A.: Process equivalence: Comparing two process models based on observed behavior. In: Dustdar, S., Fiadeiro, J.L., Sheth, A. (eds.) BPM 2006. LNCS, vol. 4102, Springer, Heidelberg (2006)
25. Ouyang, C., Verbeek, E., van der Aalst, W., Breutel, S., Dumas, M., ter Hofstede, A.: Formal semantics and analysis of control flow in WS-BPEL. Technical Report BPM-05-15, BPM Center (2005)