Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn


The popularity of service-oriented architectures (SOA) lives on the promise of dynamic IT-supported interbusiness collaborations. Yet the programming models in use today are a poor match for the distributed, loosely-coupled, document-based SOA; and the gap widens: interoperability across organizations needs contracts to reduce risks. Thus, high-level contract models are making their way into SOA, but application developers are still left to their own devices when it comes to writing code that will comply with a contract. This paper surveys existing and future directions regarding language-based solutions to the above problem.


  1. Aagedal, J. (2001). Quality of Service Support in Development of Distributed Systems. PhD thesis, Dept. of Informatics, University of Oslo.
  2. Aksit, M., Bergmans, L., and Vural, S. (1992). An objectoriented language-database integration model: The composition-filters approach. In ECOOP, pp. 372- 395.
  3. Aksit, M., Bosch, J., van der Sterren, W., and Bergmans, L. (1994). Real-time specification inheritance anomalies and real-time filters. In ECOOP, vol. 821 of LNCS, pp. 386-407.
  4. Andreoli, J. M. and Castellani, S. (2001). Towards a Flexible Middleware Negotiation Facility for Distributed Components. In DEXA, pp. 732-736. IEEE C.S.
  5. Assayad, I., Bertin, V., Defaut, F.-X., Gerner, P., Quevreux, O., and Yovine, S. (2005). Jahuel: A formal framework for software synthesis. In ICFEM, vol. 3785 of LNCS, pp. 204-218.
  6. Becker, C. and Geihs, K. (2001). Quality of Service and Object-Oriented Middleware-Multiple Concerns and their Separation. In ICDCSW.
  7. Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., and Yi, W. (1995). UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. In HS III, vol. 1066 of LNCS, pp. 232-243.
  8. Benton, N., Cardelli, L., and Fournet, C. (2004). Modern concurrency abstractions for c#. ACM Trans. Program. Lang. Syst., 26(5):769-804.
  9. Benzaken, V., Castagna, G., and Frisch, A. (2003). Cduce: an xml-centric general-purpose language. SIGPLAN Not., 38(9):51-63.
  10. Bergmans, L. and Aksit, M. (2001). Composing crosscutting concerns using composition filters. Commun. ACM, 44(10):51-57.
  11. Beugnard, A., Jzquel, J.-M., and Plouzeau, N. (1999). Making components contract aware. IEEE, 32(7):38-45.
  12. Bierman, G., Meijer, E., and Schulte, W. (2005). The essence of data access in C?. In ECOOP, vol. 3586 of LNCS, pp. 287-311.
  13. Bouyssounouse, B. and Sifakis, J., editors (2005). Embedded System Design: The ARTIST Roadmap for Research and Development, vol. 3436 of LNCS.
  14. Cooney, D., Dumas, M., and Roe, P. (2005). A programming language for web service development. In ACSC, vol. 38 of CRPIT, pp. 143-150.
  15. Daskalopulu, A. (2000). Model checking contractual protocols. In Legal Knowledge and Information Systems, Jurix 2000, IOS Press, pp. 35-47.
  16. Daskalopulu, A. and Maibaum, T. S. E. (2001). Towards Electronic Contract Performance. In DEXA, pp. 771- 777. IEEE.
  17. Davulcu, H., Kifer, M., and Ramakrishnan, I. V. (2004). CTR-S: A Logic for Specifying Contracts in Semantic Web Services. In WWW, pp. 144-153.
  18. de Win, B., Piessens, F., Smans, J. and Joosen, W. (2005). Towards a unifying view on security contracts. In SESS, pp. 1-7. ACM Press.
  19. Diaz, G., Pardo, J.-J., Cambronero, M. E., Valero, V., and Cuartero, F. (2005). Verification of web services with timed automata. In WWV, pp. 177-191.
  20. Filman, R. E., Elrad, T., Clarke, S., and Aks¸it, M., editors (2005). Aspect-Oriented Software Development. Addison-Wesley, Boston.
  21. Florescu, D., Gr ünhagen, A., and Kossman, D. (2002). XL: An XML programming language for web service specification and composition. In WWW, pp. 65-76.
  22. Gapeyev, V. and Pierce, B. (2003). Regular object types. In ECOOP, vol. 2743 of LNCS, pp. 151-175.
  23. Giambiagi, P., Owe, O., Ravn, A. P., and Schneider, G. (2006). Contract-based internet service software development: A proposal. Technical Report 333, Dept. of Informatics, University of Oslo, Norway.
  24. Governatori, G. (2005). Representing business contracts in RuleML. Int. Journal of Coop. Inf. Sys., 14:181-216.
  25. Grosof, B. and Poon, T. (2002). Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions. In RuleML.
  26. Hosoya, H. and Pierce, B. C. (2003). Xduce: A statically typed xml processing language. ACM Trans. Inter. Tech., 3(2):117-148.
  27. Johnsen, E. B. and Owe, O. (2004). An asynchronous communication model for distributed concurrent objects. In SEFM, pp. 188-197. IEEE.
  28. Kraus, S. (2001). Automated Negotiation and Decision Making in Multiagent Environments. 2086:150-172.
  29. Matsuoka, S. and Yonezawa, A. (1993). Analysis of inheritance anomaly in object-oriented concurrent programming languages. Research directions in concurrent object-oriented programming, pp. 107-150.
  30. Meijer, E., Schulte, W., and Bierman, G. (2003). Programming with cirdvcles, triangles and rectangles. In XML Conference.
  31. Molina-Jimenez, C., Shrivastava, E. S. and Warne, J. (2004). Run-time Monitoring and Enforcement of Electronic Contracts. Elect. Commerce Research and Applications, 3(2).
  32. Montanari, U. (2004). Web services and models of computation. In WS-FM, vol. 105 of ENTCS, pp. 5-9.
  33. Papazoglou, M. P. (2003). Service-Oriented Computing: Concepts, Characteristics and Directions. In WISE, pp. 3-12. IEEE.
  34. Paschke, A., Bichler, M., and Dietrich, J. (2005a). ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements. In RuleML, vol. 3791 of LNCS, pp. 209-217.
  35. Paschke, A., Dietrich, J., and Kuhla, K. (2005b). A Logic Based SLA Management Framework. In Semantic Web and Policy Workshop 2005, pp. 68-83.
  36. Paschke, A., Kiss, C., and Al-Hunaty, S. (2005c). A Pattern Language for Decentralized Coordination and Negotiation Protocols. In EEE, pp. 404-407. IEEE.
  37. Picard, W. (2003). NeSSy: Enabling Mass E-Negotiations of Complex Contracts. In DEXA, pp. 829-833. IEEE.
  38. Reeves, D. M., Wellman, M. P., and Grosof, B. N. (2001). Automated negotiation from declarative contract descriptions. In AGENTS, pp. 51-58. ACM Press.
  39. Szyperski, C. (2003). Component technology - what, where, and how? In ICSE, pp. 684-693. IEEE.
  40. Tesanovic, A., Nystrm, D., Hansson, J., and Norstrm, C. (2004). Aspects and components in real-time system development: Towards reconfigurable and reusable software. Journal of Embedded Computing, 1(1).
  41. Tosic, V. (2005). On Comprehensive Contractual Descriptions of Web Services. In EEE, pp. 444-449. IEEE.
  42. Tsang, S. L., Clarke, S., and Baniassad, E. L. A. (2004). An evaluation of aspect-oriented programming for javabased real-time systems development. In ISORC, pp. 291-300.
  43. WSA (2004). Web Services Architecture. W3C Working Group Note,
  44. Yovine, S. (1997). Kronos: A verification tool for realtime systems. Int. Journal of Software Tools for Tech. Transfer, 1(1/2):123-133.
  45. O lveczky, P. and Meseguer, J. (2002). Specification of real-time and hybrid systems in rewriting logic. TCS, 285(2):359-405.

Paper Citation

in Harvard Style

Giambiagi P., Owe O., Schneider G. and P. Ravn A. (2006). LANGUAGE-BASED SUPPORT FOR SERVICE ORIENTED ARCHITECTURES: FUTURE DIRECTIONS . In Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-972-8865-69-6, pages 339-344. DOI: 10.5220/0001315103390344

in Bibtex Style

author={Pablo Giambiagi and Olaf Owe and Gerardo Schneider and Anders P. Ravn},
booktitle={Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT,},

in EndNote Style

JO - Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT,
SN - 978-972-8865-69-6
AU - Giambiagi P.
AU - Owe O.
AU - Schneider G.
AU - P. Ravn A.
PY - 2006
SP - 339
EP - 344
DO - 10.5220/0001315103390344