Information Technology Reference
In-Depth Information
[5] Beisiegel, M., Blohm, H., Booz, D., Edwards, M., Hurley, O.: SCA service compo-
nent architecture, assembly model specification. Technical report (March 2007),
www.osoa.org/display/Main/Service+Component+Architecture+
Specifications
[6] Bruneton, E., Coupaye, T., Stefani, J.B.: The Fractal Component Model. Techni-
cal report, ObjectWeb Consortium (February 2004),
http://fractal.objectweb.org/specification/index.html
[7] Bruni, R., et al.: Service oriented architectural design. In: Barthe, G., Fournet, C.
(eds.) TGC 2007 LNCS, vol. 4912, pp. 186-203. Springer, Heidelberg (2008)
[8] Camara, J., Salaun, G., Canal, C., Ouederni, M.: Interactive Specification and
Verification of Behavioural Adaptation Contracts. In: Ninth International Confer-
ence on Quality Software, pp. 65-75 (August 2009)
[9] Canal, C., Poizat, P., Salaun, G.: Synchronizing behavioural mismatch in soft-
ware composition. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS,
vol. 4037, pp. 63-77. Springer, Heidelberg (2006)
[10] Cansado, A., Madelaine, E.: Specification and verification for grid Component-
Based applications: From models to tools. In: Formal Methods for Components
and Objects, pp. 180-203 (2009)
[11] CCA-Forum. The Common Component Architecture (CCA) Forum home page
(2005),
http://www.cca-forum.org/
[12] Grabe, I., Steffen, M., Torjusen, A.B.: Executable interface specifications for test-
ing asynchronous creol components. Technical Report Research Report No. 375,
University Of Oslo (July 2008)
[13] Henrio, L., Kammuller, F., Rivera, M.: An asynchronous distributed component
model and its semantics. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds.)
FMCO 2008. LNCS, vol. 5751, Springer, Heidelberg (2009) (to appear)
[14] Henrio, L., Khan, M.U.: Asynchronous components with futures: Semantics and
proofs in isabelle/hol. In: Proceedings of the Seventh International Workshop,
FESCA 2010. ENTCS (2010) (to appear)
[15] Broch Johnsen, E., Owe, O.: An asynchronous communication model for dis-
tributed concurrent objects. In: Proceedings of the Software Engineering and For-
mal Methods, SEFM 2004, Washington, DC, USA, pp. 188-197. IEEE Computer
Society Press, Los Alamitos (2004)
[16] Broch Johnsen, E., Owe, O., Yu, I.C.: Creol: a type-safe object-oriented model for
distributed concurrent systems. Theor. Comput. Sci. 365(1), 23-66 (2006)
[17] Khan, M.U., Henrio, L.: First class futures: a study of update strategies. Research
Report RR-7113, INRIA (2009)
[18] Merle, P.B., Stefani, J.B.: A formal specification of the Fractal component model
in Alloy. Research Report RR-6721, INRIA (2008)
[19] Meseguer, J.: Conditional reqriting logic as a unified model of concurrency. Journal
of Theoretical Computer Science 96, 73-155 (1992)
[20] Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL - A Proof Assistant for
Higher-Order Logic. In: Isabelle/HOL. LNCS, vol. 2283, Springer, Heidelberg
(2002)
[21] OW2.Consortium. FraSCAti, Open SCA middleware platform (2009),
https://wiki.objectweb.org/frascati/Wiki.jsp?page=FraSCAti
