Only the Best Can Make It: Optimal Component Selection

Electronic Notes in Theoretical Computer Science

Volumn 176, Issue 2, 2007, Pages 105-124

  Gesellensetter, Lars ^a   Glesner, Sabine ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

adaptor code generation; component selection; component based software engineering; cost functions; term rewriting

Indexed keywords

CODES (SYMBOLS); COST FUNCTIONS; OPTIMIZATION; PROGRAM COMPILERS;

ADAPTOR CODE GENERATION; COMPONENT SELECTION; COMPONENT-BASED SOFTWARE ENGINEERING; TERM REWRITING;

SOFTWARE ENGINEERING;

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

References (14)

1. Aho A.V., Johnson S.C., and Ullman J.D. Code Generation for Expressions with Common Subexpressions. J. ACM 24 (1977) 146-160
2. Baader F., and Nipkow T. Term rewriting and all that (1998), Cambridge University Press, New York, NY, USA
3. *. J. ACM 32 (1985) 505-536
4. TM Specification," SUN Microsystems, November 2003, version 2.1, Final Release
5. Glesner S., Goos G., and Zimmermann W. Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers). it - Information Technology 46 (2004) 265-276
6. Hart P.E., Nilsson N.J., and Raphael B. A formal basis for the heuristic determination of minimum cost paths. IEEE Transactions on Systems Science and Cybernetics SSC4 2 (1968) 100-107
7. Hemer, D., A formal approach to component adaptation and composition, in: ACSW '05, Australasian Computer Science Week, 2005
8. Kopp, S., N. Krämer, L. Gesellensetter and I. Wachsmuth, A conversational agent as museum guide - design and evaluation of a real-world application, in: 5th Int. working conference on Intelligent Virtual Agents (IVA'05), 2005
9. Nymeyer A., and Katoen J.-P. Code generation based on formal BURS theory and heuristic search. Acta Informatica 34 (1995) 597-635
10. Page, E.H. and J.M. Opper, Observations on the complexity of composable simulation, in: WSC '99: 31st conf. on Winter simulation (1999), pp. 553-560
11. Petty, M., E.W. Weisel and R.R. Mielke., Computational complexity of selecting models for composition, in: Proceedings of the Fall 2003 Simulation Interoperability Workshop, Orlando FL, 2003, pp. 517-525
12. Upadhyayaand, B.Z.L., Formal support for development of javabeans component systems, in: 28th Annual International Computer Software and Applications Conference (COMPSAC'04), 2004, pp. 23-28
13. Weerawarana, S., F. Curbera, M.J. Duftler, D.A. Epstein and J. Kesselman, Bean markup language: A composition language for javabeans components, in: COOTS 2001, 2001
14. Yellin D.M., and Strom R.E. Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst. 19 (1997) 292-333