![](bg6.png)
Benzaken, V., Castagna, G., and Frisch, A. (2003). Cduce:
an xml-centric general-purpose language. SIGPLAN
Not., 38(9):51–63.
Bergmans, L. and Aksit, M. (2001). Composing cross-
cutting concerns using composition filters. Commun.
ACM, 44(10):51–57.
Beugnard, A., Jzquel, J.-M., and Plouzeau, N. (1999). Mak-
ing components contract aware. IEEE, 32(7):38–45.
Bierman, G., Meijer, E., and Schulte, W. (2005). The
essence of data access in Cω . In ECOOP, vol. 3586
of LNCS, pp. 287–311.
Bouyssounouse, B. and Sifakis, J., editors (2005). Embed-
ded System Design: The ARTIST Roadmap for Re-
search and Development, vol. 3436 of LNCS.
Cooney, D., Dumas, M., and Roe, P. (2005). A pro-
gramming language for web service development. In
ACSC, vol. 38 of CRPIT, pp. 143–150.
Daskalopulu, A. (2000). Model checking contractual pro-
tocols. In Legal Knowledge and Information Systems,
Jurix 2000, IOS Press, pp. 35–47.
Daskalopulu, A. and Maibaum, T. S. E. (2001). Towards
Electronic Contract Performance. In DEXA, pp. 771–
777. IEEE.
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.
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.
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.
Filman, R. E., Elrad, T., Clarke, S., and Aks¸it, M., edi-
tors (2005). Aspect-Oriented Software Development.
Addison-Wesley, Boston.
Florescu, D., Gr
¨
unhagen, A., and Kossman, D. (2002).
XL: An XML programming language for web service
specification and composition. In WWW, pp. 65–76.
Gapeyev, V. and Pierce, B. (2003). Regular object types. In
ECOOP, vol. 2743 of LNCS, pp. 151–175.
Giambiagi, P., Owe, O., Ravn, A. P., and Schneider, G.
(2006). Contract-based internet service software de-
velopment: A proposal. Technical Report 333, Dept.
of Informatics, University of Oslo, Norway.
Governatori, G. (2005). Representing business contracts in
RuleML. Int. Journal of Coop. Inf. Sys., 14:181–216.
Grosof, B. and Poon, T. (2002). Representing Agent Con-
tracts with Exceptions using XML Rules, Ontologies,
and Process Descriptions. In RuleML.
Hosoya, H. and Pierce, B. C. (2003). Xduce: A statically
typed xml processing language. ACM Trans. Inter.
Tech., 3(2):117–148.
Johnsen, E. B. and Owe, O. (2004). An asynchronous com-
munication model for distributed concurrent objects.
In SEFM, pp. 188–197. IEEE.
Kraus, S. (2001). Automated Negotiation and Decision
Making in Multiagent Environments. 2086:150–172.
Matsuoka, S. and Yonezawa, A. (1993). Analysis of inheri-
tance anomaly in object-oriented concurrent program-
ming languages. Research directions in concurrent
object-oriented programming, pp. 107–150.
Meijer, E., Schulte, W., and Bierman, G. (2003). Program-
ming with cirdvcles, triangles and rectangles. In XML
Conference.
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).
Montanari, U. (2004). Web services and models of compu-
tation. In WS-FM, vol. 105 of ENTCS, pp. 5–9.
Papazoglou, M. P. (2003). Service-Oriented Computing:
Concepts, Characteristics and Directions. In WISE,
pp. 3–12. IEEE.
Paschke, A., Bichler, M., and Dietrich, J. (2005a). Con-
tractLog: An Approach to Rule Based Monitoring and
Execution of Service Level Agreements. In RuleML,
vol. 3791 of LNCS, pp. 209–217.
Paschke, A., Dietrich, J., and Kuhla, K. (2005b). A Logic
Based SLA Management Framework. In Semantic
Web and Policy Workshop 2005, pp. 68–83.
Paschke, A., Kiss, C., and Al-Hunaty, S. (2005c). A Pattern
Language for Decentralized Coordination and Nego-
tiation Protocols. In EEE, pp. 404–407. IEEE.
Picard, W. (2003). NeSSy: Enabling Mass E-Negotiations
of Complex Contracts. In DEXA, pp. 829–833. IEEE.
Reeves, D. M., Wellman, M. P., and Grosof, B. N. (2001).
Automated negotiation from declarative contract de-
scriptions. In AGENTS, pp. 51–58. ACM Press.
Szyperski, C. (2003). Component technology - what,
where, and how? In ICSE, pp. 684–693. IEEE.
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).
Tosic, V. (2005). On Comprehensive Contractual Descrip-
tions of Web Services. In EEE, pp. 444–449. IEEE.
Tsang, S. L., Clarke, S., and Baniassad, E. L. A. (2004). An
evaluation of aspect-oriented programming for java-
based real-time systems development. In ISORC, pp.
291–300.
WSA (2004). Web Services Architecture. W3C Working
Group Note, www.w3.org/TR/ws-arch/.
Yovine, S. (1997). Kronos: A verification tool for real-
time systems. Int. Journal of Software Tools for Tech.
Transfer, 1(1/2):123–133.
¨
Olveczky, P. and Meseguer, J. (2002). Specification of
real-time and hybrid systems in rewriting logic. TCS,
285(2):359–405.
ICSOFT 2006 - INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES
344