A formal framework for component deployment

ACM SIGPLAN Notices

Volumn 41, Issue 10, 2006, Pages 325-343

  Liu, Yu David ^a   Smith, Scott F ^a  

^a JOHNS HOPKINS UNIVERSITY   (United States)

Author keywords

Application buildbox; Component; Deployment; Version

Indexed keywords

APPLICATION BUILDBOX; SOFTWARE COMPONENTS; SOFTWARE DEPLOYMENT; UNIT DESIGN;

COMPUTER PROGRAMMING LANGUAGES; OBJECT ORIENTED PROGRAMMING;

SOFTWARE ENGINEERING;

EID: 33750420609     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1167515.1167502     Document Type: Article

References (44)

1. ALLEN, E., CHASE, D., LUCHANGCO, V., RYU, J. W. M. S., STEELE, G., AND TOBIN-HOCHSTADT, S. The Fortress Language Specification (Version 0.618), April 2005.
2. BALABAN, I., TIP, F., AND FUHRER, R. Refactoring Support for Class Library Migration. In OOPSLA '05 (2005), pp. 265-279.
3. The Scala Bazaar System, http://scala.epfl.ch/downloads/sbaz.html.
4. BEA. BEA WebLogic Server Enterprise JavaBeans 1.1, http://www.weblogic. com/docs51/classdocs/API_ejb/.
5. BUCKLEY, A. A model of dynamic binding in .NET. In Proceedings of 3rd International Working Conference on Component Deployment (2005), pp. 149-163.
6. CARDELLI, L. Program fragments, linking, and modularization. In POPL'97 (1997), pp. 266-277.
7. CHATLEY, R., EISENBACH, S., AND MAGEE, J. Magicbeans: a platform for deploying plugin components. In Second International Working Conference on Component Deployment (2004), vol. 3083, pp. 97-112.
8. CHEN, X., AND SIMONS, M. A component framework for dynamic reconfiguration of distributed systems. In Lecture Notes in Computer Science, Volume 2370 (Jan 2002), vol. 2370.
9. CORWIN, J., BACON, D. F., GROVE, D., AND MURTHY, C. MJ: a rational module system for Java and its applications. In OOPSLA '03 (2003), pp. 241-254.
10. Comprehensive perl archive network, http://www.cpan.org.
11. Comprehensive tex archive network, http://www.ctan.org.
12. Debian package management, http://www.debian.org.
13. DROSSOPOULOU, S., LAGORIO, G., AND EISENBACH, S. Flexible models for dynamic linking. In Proceedings of the 12th European Symposium on Programming (2003).
14. DUGGAN, D. Type-safe linking with recursive DLLs and shared libraries. ACM Transactions on Programming Languages and Systems 24, 6 (2002), 711-804.
15. Eclipse, http://www.eclipse.org.
16. ECMA. Standard ECMA-335: Common Language Infrastructure, 2002.
17. EJB 3.0 EXPERT GROUP. JSR 220: Enterprise JavaBeans Version 3.0, June 2005.
18. EWING, M., AND TROAN, E. The RPM packaging system. In Proceedings of the 1st Conference on Freely Redistributable Software. (1996).
19. FLATT, M., AND FELLEISEN, M. Units: Cool modules for HOT languages. In PLDI'98 (1998), pp. 236-248.
20. GLEW, N., AND MORRISETT, G. Type-safe linking and modular assembly language. In POPL'99 (1999), pp. 250-261.
21. GORDON, A. The NET and COM Interoperability Handbook. Pearson Education, Inc., Upper Saddle River, NJ, USA, 2003.
22. HALL, R. S., HEIMBIONER, D. M., AND WOLF, A. L. Evaluating software deployment languages and schema. In ICSM '98: Proceedings of the. International Conference on Software. Maintenance (Washington, DC, USA, 1998), IEEE Computer Society, p. 177.
23. HICKS, M. W., MOORE, J. T., AND NETTLES, S. Dynamic software updating. In PLDI'01 (2001), pp. 13-23.
24. HILLMAN, J., AND WARREN, I. An Open Framework for Dynamic Reconfiguration. In ICSE'04 (2004), pp. 594-603.
25. Installshield, http://www.installshield.com.
26. LISKOV, B., AND WING, J. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems 16, 6 (Nov. 1994), 1811-1841.
27. LIU, Y. D., AND SMITH, S. F. Modules With Interfaces for Dynamic Linking and Communication. In ECOOP'04 (2004), pp. 414-439.
28. LIU, Y. D., AND SMITH, S. F. Interaction-based Programming with Classages. In OOPSLA '05 (2005), pp. 191-209.
29. LIU, Y. D., AND SMITH, S. F. A Formal Framework for Component Deployment (Long Version), http://www.cs.jhu.edu/~yliu/deploy/. Tech. rep., The Johns Hopkins University, Baltimore, Maryland, March 2006.
30. MCCAMANT, S., AND ERNST, M. D. Early identification of incompatibilities in multi-component upgrades. In Proceedings of the 18th ECOOP (2004), pp. 440-164.
31. MCDIRMID, S., FLATT, M., AND HSIEH, W. Jiazzi: New-Age Components for Old-Fashioned Java. In OOPSLA'01 (2001), pp. 211-222.
32. MEIJER, E., AND GOUGH, J. Technical Overview of the Common Language Runtime, 2000.
33. MICROSOFT. Component Object Model Technologies, http://www.microsoft.com/ com/.
34. Mono, http://www.mono-projact.com.
35. MSDN. Shared Source Common Language Infrastructure 1.0 Release, http://msdn.microsoft.com/net/sscli/.
36. OBJECT MANAGEMENT GROUP. Deployment and Configuration of Component-based Distributed Applications Specification, July 2003.
37. OSGI. Open services gateway initiative service platform, release 4 core, available at http://www.osgi.org, 2005.
38. PARRISH, A., DIXON, B., AND CORDES, D. A conceptual foundation for component-based software deployment. Journal of Systems and Software 57, 3 (2001), 193-200.
39. PIETREK, M. Avoiding DLL hell: Introducing application metadata in the microsoft NET framework. MSDN Magazine, available at http://msdn.microsoft.com (2000).
40. Portage, http://www.gentoo.org.
41. REID, A., FLATT, M., STOLLER, L., LEPREAU, J., AND EIDE, E. Knit: Component composition for systems software. In Proc. of the 4th Operating Systems Design and Implementation (OSDI) (October 2000), pp. 347-360.
42. RINAT, R., AND SMITH, S. F. Modular internet programming with cells. In Proceedings of the 16th ECOOP (2002), pp. 257-280.
43. Rubygems, http://rubyforga.org/projects/rubygems/.
44. SZYPERSKI, C. Component Software: Beyond Object-Oriented Programming. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002.