On the Impact of Formal Methods in the SOA

Electronic Notes in Theoretical Computer Science

Volumn 160, Issue 1, 2006, Pages 113-126

  Bocchi, Laura ^a   Ciancarini, Paolo ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

formal methods; Service oriented architectures; transactions

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; NETWORK PROTOCOLS; SEMANTICS; TELECOMMUNICATION SERVICES; WORLD WIDE WEB;

DISTRIBUTED SERVICES; FORMAL METHODS; SERVICE ORIENTED ARCHITECTURES; TRANSACTIONS;

COMPUTER ARCHITECTURE;

EID: 33746673188     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.05.018     Document Type: Article

References (51)

1. Andreozzi S., Montesi D., Ciancarini P. and Moretti R., Towards a Model for Quality of Web and Grid Services, in: Proceedings of the 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'04) (2004), pp. 271-276
2. Atkinson B., Della-Libera G., Hada S., Hondo M.A., Hallam-Baker P., Klein J., La Macchia B., Leach P., Manferdelli J., Maruyama H., Nadalin A., Nagaratnam N., Prafullchandra H., Shewchuk J., and Simon D. Web Services Security (WS-Security). URL (2002). www-106.ibm.com/developerworks/webservices/library/ws-secure/
3. Bechhofer S., Harmelen F., Hendler J., Horrocks D., McGuinnes I., Patel-Schneider P. and Stein L.A., OWL Web Ontology Language Reference, Technical report, World Wide Web Consortium (W3C) (2004). URL www.w3.org/TR/owl-ref/
4. Berger M., and Honda K. The Two-Phase Commitment Protocol in an Extended Pi-calculus. Electronic Notes in Theoretical Computer Science 39 (2003) 105-130
5. Bernstein P.A., Hadzilacos V., and Goodman N. Concurrency Control and Recovery in Database Systems (1987), Addison-Wesley
6. Bilorusets R., Bosworth A., Box D., Cabrera F., Collison D., Ferguson D., Ferris C., Freund T., Hondo M.A., Ibbotson J., Kaler C., Langworthy D., Lewis A., Limprecht R., Lucco S., Mihic M., Mullen D., Nadalin A., Nottingham M., Orchard D., Samdarshi S., Shewchuk J. and Storey T., Web Services Reliable Messaging protocol (WS-ReliableMessaging) (2004)
7. Bocchi L. Compositional Nested Long Running Transactions. In: Wermelinger M., and Margaria T. (Eds). Proceedings of the 7th International Conference on Fundamental Approaches to Software Engineering. (FASE 2004). Lecture Notes in Computer Science 2984 (2004) 195-208
8. Bocchi L., Ciancarini P. and Lucchi R., Atomic Commit and Negotiation in Service Oriented Computing, Technical Report UBLCS-2005-16, University of Bologna, Italy (2005). URL ftp://ftp.cs.unibo.it/pub/techreports/2005/2005-16.pdf
9. Bocchi L., Laneve C., and Zavattaro G. A calculus for long running transactions. In: Najm E., Nestmann U., and Stevens P. (Eds). Proceedings of the 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems. (FMOODS 2003). Lecture Notes in Computer Science 2884 (2003) 124-138. URL www.cs.unibo.it/~laneve/papers/biztalk.pdf
10. Booth D., Haas H. and Brown A., Web Services Glossary, Technical report, World Wide Web Consortium (W3C) (2004). URL www.w3.org/TR/ws-gloss/
11. Booth D., Haas H., McCabe F., Newcomer E., Champion M., Ferris C. and Orchard D., Web Service Architecture, Technical report, World Wide Web Consortium (W3C) (2004). URL www.w3.org/TR/ws-arch/
12. Bruni R., Melgratti H. and Montanari U., Nested Commits for Mobile Calculi: Extending Join, in: Levy J-J., Mayr E.W. and Mitchell J.C., editors, Proceedings of 3rd IFIP International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics (IFIP TCS 2004) (2004), pp. 563-576
13. Busi N., Gorrieri R., Guidi C., Lucchi R. and Zavattaro G., Choreography and Orchestration: a Synergic Approach for System Design, in: Proceedings of 3rd International Conference of Service Oriented Computing (ICSOC'05), 2005, to appear
14. Butler M.J., and Ferreira C. An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions. In: De Nicola R., Ferrari G.L., and Meredith G. (Eds). Proceedings of 6th International Conference on Coordination Models and Languages. (COORDINATION'04). Lecture Notes in Computer Science 2949 (2004) 87-104
15. Cabrerea F., Copeland G., Cox B., Freund T., Klein J., Storey T., and Thatte S. Web Services Transaction (WS-Transaction). URL (2002). www-106.ibm.com/developerworks/webservices/library/ws-transpec/
16. Carriero N., and Gelernter D. Coordination Languages and Their Significance. Communications of the ACM 35 (1992) 97-107
17. Christensen E., Curbera F., Meredith G., and Weerawarana S. Web Services Description Language (WSDL) 1.1. URL (2001). www.w3.org/TR/wsdl
18. Curbera F., Goland Y., Klein J., Leymann F., Roller D., Thatte S. and Weerawarana S., Business Process Execution Language for Web Services (BPEL4WS 1.1), Technical report (2004). URL www-106.ibm.com/developerworks/webservices/library/ws-bpel/
19. DARPA. The DARPA Agent Markup Language. URL. www.daml.org
20. Davis R., and Smith R.G. Negotiation as a Metaphor for Distributed Problem Solving. Readings in Distributed Artificial Intelligence (1988), Morgan Kaufmann Publishers Inc. 333-356
21. De Nicola R., Ferrari G., Montanari U., Pugliese R., and Tuosto E. A Basic Calculus for Modelling Service Level Agreements. In: Jacquet J., and Picco G.P. (Eds). International Conference on Coordination Models and Languages. Lecture Notes in Computer Science 3454 (2005) 33-48
22. Dubray J.J. A novel approach for modeling business process definitions. URL (2002). www.ebpml.org/ebpml2.2.doc
23. Ferguson D.F., Storey T., Lovering B., and Shewchuk J. Secure, Reliable, Transacted Web Services. URL (2003). www-106.ibm.com/developerworks/webservices/library/ws-securtrans/
24. FIPA. FIPA Contract Net Interaction Protocol Specification. FIPA, URL (2001). www.fipa.org/specs/fipa00029/
25. Foster I., Kesselman C., and Tuecke S. The Anatomy of the Grid: Enabling Scalable Virtual Organizations. International Journal of Supercomputer Applications 15 (2001) 200-222
26. Fournet C. and Gonthier G., The Reflexive Chemical Abstract Machine and the Join-Calculus, in: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '96) (1996), pp. 372-385
27. France Telecom, Maryland Information and Network Dynamics Lab at the University of Maryland, National Institute of Standards and Technology (NIST), Network Inference, Nokia, SRI International, Stanford University, Toshiba Corporation and University of Southampton, OWL-S (2005). URL www.w3.org/Submission/2004/07/
28. Gorrieri R., Guidi C., and Lucchi R. Reasoning about Interaction Patterns in Choreography. 2nd International Workshop on Web Services and Formal Methods. (WS-FM'05). Lecture Notes in Computer Science 3670 (2005) 333-348
29. Hadzilacos V. On the Relationship Between the Atomic Commitment and Consensus Problems. In: Simons B., and Spector A.Z. (Eds). Fault Tolerant Distributed Computing. Lecture Notes in Computer Science 448 (1990) 201-208
30. Hinz S., Schmidt K., and Stahl C. Transforming BPEL to Petri Nets. Business Process Management (2005) 220-235
31. Jennings N.R., Parsons, S., Sierra C. and Faratin P., Automated Negotiation, in: Proceedings of 5th Int Conf. on Practical Application of Intelligent Agents and Multi-Agent Systems (PAAM-2000), 2000, pp. 23-30.
32. Johnson J.E., Langworthy D.E., Lamport L., and Vogt F.H. Formal Specification of a Web Services Protocol. Proceedings of the 1st International Workshop on Web Services and Formal Methods. (WS-FM 2004). Electronic Notes in Theoretical Computer Science 105 (2004) 147-158
33. Kavantzas N., Olsson G., Mischkinsky J., and Chapman M. Web Services Choreography Description Language (WS-CDL) 1.0. URL (2004). www.w3.org/TR/ws-cdl-10/
34. Klepper R., and Jones W.O. Outsourcing Information Technology, Systems and Services (1998), Prentice Hall, Inc.
35. Lamport L. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (1994) 872-923
36. Laneve C. and Zavattaro G., Foundations of Web Transactions, in: Proceedings of Foundations of Software Science and Computation Structures (FOSSACS 2005), 2005, pp. 282-298.
37. Lee K.J., and Chang Y.S. Time-Bounded Negation Framework for Multi-Agent Coordination. Selected papers from the First Pacific Rim International Workshop on Multi-Agents, Multiagent Platforms. (PRIMA'98). Lecture Notes in Computer Science 1599 (1999) 61-75
38. Leymann F. Web Services Flow Language (WSFL 1.0). URL (2001). www-3.ibm.com/software/solutions/webservices/pdf/WSFL.pdf
39. Leymann F., and Roller D. Production Workflow: Concepts and Techniques (2000), Prentice Hall PTR
40. Milner R. A Calculus of Communicating Systems. Lecture Notes in Computer Science 92 (1980), Springer Verlag
41. Milner R. Communicating and Mobile Systems: the Pi-Calculus (1999), Cambridge University Press
42. OASIS. Business Transaction Protocol. URL (2002). www.oasis-open.org/
43. Peltz C. Web Services Orchestration and Choreography. IEEE Computer 36 (2003) 46-52
44. Sensoria. Software Engineering for Service-Oriented Overlay Computers (SENSORIA). URL. sensoria.fast.de/
45. Smith R.G. The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver. Readings in Distributed Artificial Intelligence (1988), Morgan Kaufmann Publishers Inc. 357-366
46. Su S.W., Dujmovic J.J., Batory D.S., Navathe S.B., and Elnicki R. A Cost-Benefit Decision Model: Analysis, Comparison, and Selection of Data Management Systems. ACM Transaction on Database Systems 12 (1987) 472-520
47. Thatte S. XLANG: Web Services for Business Process Design. URL (2001). www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm
48. Van der Aalst W.M.P., Three Good Reasons for Using a Petri-net-based Workflow Management System, in: Progeedings of International Working Conference on Information and Process Integration in Enterprises (ICEIS'96), 1996, pp. 179-201
49. Van Der Aalst W.M.P., Ter Hofstede A.H.M., Kiepuszewski B., and Barros A.P. Workflow Patterns. Distributed Parallel Databases 14 (2003) 5-51
50. Van der Aalst W.M.P. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8 (1998) 21-66
51. Vogels W. Web Services Are Not Distributed Objects. IEEE Internet Computing 7 (2003) 59-66