Language-based support for service oriented architectures: Future directions

ICSOFT 2006 - 1st International Conference on Software and Data Technologies, Proceedings

Volumn 1, Issue , 2006, Pages 339-344

  Giambiagi, Pablo ^a   Owe, Olaf ^b   Schneider, Gerardo ^b   Ravn, Anders P ^c  

^a SWEDISH INSTITUTE OF COMPUTER SCIENCE   (Sweden)

^b UNIVERSITY OF OSLO   (Norway)

^c AALBORG UNIVERSITY   (Denmark)

Author keywords

Contracts; SOA; Web languages; Web services

Indexed keywords

APPLICATION DEVELOPERS; FUTURE DIRECTIONS; SOA; WEB LANGUAGES; WRITING CODES;

COMPUTER SOFTWARE; INFORMATION SERVICES; QUERY LANGUAGES; SERVICE ORIENTED ARCHITECTURE (SOA); WEB SERVICES;

LINGUISTICS;

EID: 57749196395     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (45)

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 Akş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 BasedMonitoring 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, www.w3.org/TR/ws-arch/.
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. Ölveczky, P. and Meseguer, J. (2002). Specification of real-time and hybrid systems in rewriting logic. TCS, 285(2):359-405. (Pubitemid 34862897)