Dependency Management in Software Component Deployment

Electronic Notes in Theoretical Computer Science

Volumn 182, Issue SPEC. ISS., 2007, Pages 17-32

  Belguidoum, Meriem ^a   Dagnat, Fabien ^a  

^a TECHNOPÔLE BREST IROISE   (France)

Author keywords

Component deployment; Deployment dependencies; Safe deployment

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; INSTALLATION;

COMPONENT DEPLOYMENT; DEPLOYMENT DEPENDENCIES; SAFE DEPLOYMENT;

COMPUTER SOFTWARE MAINTENANCE;

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

References (18)

1. Belguidoum, M. and F. Dagnat, Analysis of deployment dependencies in software components, in: SAC '06: Proceedings of the 2006 ACM symposium on Applied computing (2006)
2. Belguidoum, M., F. Dagnat and A. Beugnard, Analyse des dépendances pour le déploiement automatique de composants, in: Journées Composants 2005, Le Croisic, France, 2005, pp. 57-68
3. Bruneton, E., Developing with Fractal, France Telecom R&D (2004). URL fractal.objectweb.org/
4. Bruneton., E., T. Coupaye and J. Stefani, Fractal Component Model Draft 2.0-2, France Telecom R&D INRIA (2003). URL fractal.objectweb.org/
5. Distributed Management Task Force, Common Information Model (CIM), CIM Infrastructure Specification, DMTF (2005). URL www.dmtf.org/standards/cim
6. Garlan D., Monroe R.T., and Wile D. Acme: Architectural description of component-based systems. In: Leavens G.T., and Sitaraman M. (Eds). Foundations of Component-Based Systems (2000), Cambridge University Press, New York 47-67
7. Gelfond, M. and V. Lifschitz, The stable model semantics for logic programming, in: Proceedings of the 5th International Conference on Logic Programming (1988), pp. 1070-1080. URL homepages.inf.ed.ac.uk/dcspaul/publications/ggf12.pdf
8. Hoareau D., and Mah o Y. Constraint-Based Deployment of Distributed Components in a Dynamic Network. Architecture of Computing Systems. (ARCS 2006). LNCS (2006)
9. Hoffmann A. et al., Specification of the deployment and configuration, Deliverable D2.4, IST COACH Project (2003)
10. Khare, R., M. Guntersdorfer, P. Oreizy, N. Medvidovic and R. Taylor, xADL: Enabling Architecture-Centric Tool Integration with XML, in: Proc. of the 34th Hawaii International Conference on System Sciences, Volume 9 (2001), p. 9053
11. Kon, F., "Automatic Configuration of Component-Based Distributed Systems," Phd thesis, Department of Computer Science, University of Illinois at Urbana-Champaign (2000)
12. Medvidovic N., and Taylor R.N. A classification and comparison framework for software architecture description languages. Software Engineering 26 (2000) 70-93. URL citeseer.ist.psu.edu/medvidovic97classification.html
13. OMG, Deployment and Configuration of Component-based Distributed Applications, Specification version 4, OMG (2006). URL www.omg.org/cgi-bin/doc?formal/06-04-02
14. Oquendo F. π-ADL: an architecture description language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures. SIGSOFT Softw. Eng. Notes 29 (2004) 1-14
15. Parrish A.S., Dixon B., and Cordes D. A conceptual foundation for component-based software deployment. Journal of Systems and Software 57 (2001) 193-200
16. R. Di Cosmo, Report on Formal Management of Software Dependencies, Delivrable WP2-D2.2, EDOS Project (2006)
17. Reussner, R., I. Poernomo and H. Schmidt, Contracts and quality attributes for software components, in: W. Weck, J. Bosch and C. Szyperski, editors, Proc. 8th Int'l Workshop on Component-Oriented Programming (WCOP'03), 2003. URL citeseer.ist.psu.edu/703313.html
18. Syrjänen, T., A rule-based formal model for software configuration, Research Report A55, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland (1999)