Compositional specification of web services via behavioural equivalence of nets: A case Study

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

Volumn 5062 LNCS, Issue , 2008, Pages 52-71

  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

COMPUTER SOFTWARE; GRAPH THEORY; INFORMATION SERVICES; PETRI NETS; SPECIFICATIONS; WEB SERVICES; WORLD WIDE WEB;

BANKING SYSTEMS; CASE STUDIES; COMPOSITIONAL SPECIFICATION; EXTENDED PETRI NETS; HETEROGENEOUS SOFTWARE SYSTEMS; INTERNATIONAL CONFERENCES; SERVICE SPECIFICATIONS;

MARINE BIOLOGY;

EID: 48249088825     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68746-7_8     Document Type: Conference Paper

References (26)

1. Papazoglou, M., Georgakopoulos, D.: Service-Oriented Computing. Communications of the ACM 46(10), 24-28 (2003)
2. OWL-S Coalition: OWL-S: Semantic Markup for Web Service (2006), http://www.ai.sri.com/daml/services/owl-s/1.2/overview/
3. Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: A Behavioural Congruence for Web services. In: Arbab, F., Sarjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 240-256. Springer, Heidelberg (2007)
4. Corifini, S.: The CreditPortal service (2008), http://www.di.unipi.it/ corfini/owls/processmodels/(economy) CreditPortal.owl.xml
5. Reisig, W.: Petri Nets: An Introduction. EACTS Monographs on Theoretical Computer Science. Springer, Heidelberg (1985)
6. Brogi, A., Corfini, S.: Behaviour-aware discovery of Web service compositions. International Journal of Web Services Research 4(3), 1-25 (2007)
7. 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)
8. 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)
9. Brogi, A., Corfini, S., Iardella, S.: From OWL-S descriptions to Petri nets. In: Nitto, E.D., Ripeanu, M. (eds.) ICSOC 2007 Workshops. LNCS, Springer, Heidelberg (to appear, 2008), http://www.di.unipi.it/̃corfini/paper/ WESOA07.pdf
10. 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. Florida International University, Miami (2005)
11. 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)
12. Martens, A.: On compatibility of Web services. Petri Net Newsletter 65, 12-20 (2003)
13. Martens, A.: Analyzing Web service based business processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19-33. Springer, Heidelberg (2005)
14. Pathak, J., Basu, S., Honavar, V.: On context-specific substitutability of Web Services. In: Web Services, pp. 192-199. IEEE Computer Society, Los Alamitos (2007)
15. Puhlmann, F., Weske, M.: Interaction soundness for Service Orchestrations. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 302-313. Springer, Heidelberg (2006)
16. Massuthe, P., Reisig, W., Schmidt, K.: An operating guideline approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1(3), 35-43 (2005)
17. Lohmann, N., Massuthe, P., Wolf, K.: Operating Guidelines for finite-state services. In: Kleijn, Y., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 321-341. Springer, Heidelberg (2007)
18. Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing interacting BPEL processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 17-32. Springer, Heidelberg (2006)
19. Castagna, G., Gesbert, N., Padovani, L.: A Theory of Contracts for Web Services. In: Ghelli, G. (ed.) Programming Language Technologies for XML, pp. 37-48 (2007)
20. Laneve, C., Padovani, L.: The must preorder revisited. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 212-225. Springer, Heidelberg (2007)
21. Bordeaux, L., Salaün, G., Berardi, D., Mecella, M.: When are Two Web Services Compatible? In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol. 3324, pp. 15-28. Springer, Heidelberg (2005)
22. Benatallah, B., Casati, F., Ponge, J., Toumani, F.: Compatibility and replaceability analysis for timed web service protocols. In: Benzaken, V. (ed.) Bases de Données Avancées (2005)
23. Fernandez, J.C., Mounier, L., Jard, C., Jeron, T.: On-the-fly verification of finite transition systems. Formal Methods in System Design 1(2/3), 251-273 (1992)
24. Bonchi, F., Montanari, U.: Coalgebraic models for reactive systems. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 364-379. Springer, Heidelberg (2007)
25. BPEL Coalition: WS-BPEL 2.0 (2006), http://docs.oasis-open.org/wsbpel/2. 0/wsbpel-v2.0.pdf
26. 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)