Dependency Management in Software Component Deployment
2007, Electronic Notes in Theoretical Computer Science
https://doi.org/10.1016/J.ENTCS.2006.09.029Abstract
Component-based distributed systems are hard to deploy for two main reasons: the complexity of their structure and the complexity of the deployment tasks. Current tools do not manage these complexities properly because the descriptions that they allow lack of expressiveness. The absence of proper descriptions of system and component requirements makes it impossible to ensure safe installation and deinstallation. The goal of this paper is to present a formalization of deployment dependencies. These dependencies expressed in a logical language are associated with a deployment engine that allows installation and deinstallation of components in a system to be proved.
References (18)
- 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).
- 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.
- Bruneton, E., Developing with Fractal, France Telecom R&D (2004). URL fractal.objectweb.org/
- Bruneton., E., T. Coupaye and J. Stefani, Fractal Component Model Draft 2.0-2, France Telecom R&D INRIA (2003). URL fractal.objectweb.org/
- Distributed Management Task Force, Common Information Model (CIM), CIM Infrastructure Specification, DMTF (2005). URL www.dmtf.org/standards/cim
- Garlan, D., R. T. Monroe and D. Wile, Acme: Architectural description of component-based systems, in: G. T. Leavens and M. Sitaraman, editors, Foundations of Component-Based Systems, Cambridge University Press, New York, 2000 pp. 47-67.
- 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
- Hoareau, D. and Y. Mah o, Constraint-Based Deployment of Distributed Components in a Dynamic Network, in: Architecture of Computing Systems (ARCS 2006), LNCS (2006).
- Hoffmann A. et al., Specification of the deployment and configuration, Deliverable D2.4, IST COACH Project (2003).
- 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.
- Kon, F., "Automatic Configuration of Component-Based Distributed Systems," Phd thesis, Department of Computer Science, University of Illinois at Urbana-Champaign (2000).
- Medvidovic, N. and R. N. Taylor, A classification and comparison framework for software architecture description languages, Software Engineering 26 (2000), pp. 70-93. URL citeseer.ist.psu.edu/medvidovic97classification.html
- 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
- 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), pp. 1-14.
- Parrish, A. S., B. Dixon and D. Cordes, A conceptual foundation for component-based software deployment., Journal of Systems and Software 57 (2001), pp. 193-200.
- R. Di Cosmo, Report on Formal Management of Software Dependencies, Delivrable WP2-D2.2, EDOS Project (2006).
- 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
- 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).