Using domain-specic languages for the realization of component composition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1783, Issue , 2000, Pages 112-126

  Anlauff, Matthias ^a   Kutter, Philipp W ^b   Pierantonio, Alfonso ^c   Sünbül, Asuman ^d  

^a FRAUNHOFER FIRST   (Germany)

^b ETH ZURICH   (Switzerland)

^c UNIVERSITY OF L'AQUILA   (Italy)

^d TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

GLUES; GLUING; SEMANTICS; SOFTWARE ENGINEERING;

COMPONENT COMPOSITION; COMPONENT INTERACTION; COMPONENT-BASED DEVELOPMENT; GRAPHICAL ANIMATION; KEY TECHNOLOGIES; LANGUAGE TECHNOLOGY; POSITIVE EXPERIENCES; SCRIPTING LANGUAGES;

PROGRAM DEBUGGING;

EID: 84896853678     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46428-x_9     Document Type: Conference Paper

References (23)

1. M. Anlau, A. Bemporad, S. Chakraborty, P. Kutter, D. Mignone, M. Morari, A. Pierantonio, and L. Thiele. From ease in programming to easy maintenance: Extending DSL usability with Montages, 1999. submitted for publication.
2. M. Anlau, P. Kutter, and A. Pierantonio. Formal Aspects of and Development Environments for Montages. In M. Sellink, editor, 2nd International Workshop on the Theory and Practice of Algebraic Specifications, Workshops in Computing, Amsterdam, 1997. Springer.
3. M. Anlau, P. Kutter, and A. Pierantonio. Enhanced control flow graphs in Montages. In A. D.Bjoerner, M.Broy, editor, Perspective of System Informatics, LNCS, 1999. to appear.
4. M. Anlau, P. W. Kutter, and A. Pierantonio. The Gem-Mex tool homepage. http://www.first.gmd.de/ma/gem/, 1997.
5. M. Anlauff and A. Sünbül. Software architecture based composition of components. In GI-Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme, 1999.
6. J. A. Bergstra and P. Klint. The ToolBus coordination architecture. In Ciancarini and Hankin [9], pages 75-88.
7. E. Börger, I. Durdanović, and D. Rosenzweig. Occam: Specication and Compiler Correctness. Part I: Simple Mathematical Interpreters. In U. Montanari and E. R.Olderog, editors, Proc. PROCOMET'94 (IFIP Working Conference on Programming Concepts, Methods and Calculi), pages 489-508. North-Holland, 1994.
8. E. Börger and W. Schulte. Programmer Friendly Modular Denition of the Semanticsof Java. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java, LNCS. Springer, 1998.
9. P. Ciancarini and C. Hankin, editors. Coordination and models, Proceedings of the rst international conference, Cesena, Italy, number 1061 in LNCS. Springer Verlag, 1996.
10. C. Consel and R. Marlet. Architecturing software using a methodology for language development. In C. Palamidessi, H. Glaser, and K. Meinke, editors, Proceedings of the 10th International Symposium on Programming Language Implementation and Logic Programming, number 1490 in LNCS, pages 170-194, Pisa, Italy, Sept. 1998.
11. F. Griel. Componentware. Dpunkt.verlag, 1998.
12. Y. Gurevich. Logic and the challenge of computer science. In E. Borger, editor, Theory and Practice of Software Engineering, pages 1-57. CS Press, 1988.
13. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Börger, editor, Specication and Validation Methods, pages 9-36. Oxford University Press, 1995.
14. Y. Gurevich and J. Huggins. The Semantics of the C Programming Language. In E. Börger, H. Kleine Büning, G. Jäger, S. Martini, and M. M. Richter, editors, Computer Science Logic, volume 702 of LNCS, pages 274-309. Springer, 1993.
15. J. Huggins. Abstract State Machines Web Page. http://www.eecs.umich.edu/gasm.
16. P. Kutter. Dynamic semantics of the programming language oberon. Technical report, ETH Zürich, 1997.
17. P. Kutter and A. Pierantonio. Montages specications of realistic programming languages. Journal of Universal Computer Science, 3(5), 1997.
18. P. W. Kutter, D. Schweizer, and L. Thiele. Integrating formal domain-speci_c language design in the software life cycle. In Current Trends in Applied Formal Methods, LNCS. Springer, October 1998.
19. J. K. Ousterhout. Scripting: Higher level programming for the 21st century. IEEE Computer, 31(3):23-30, Mar. 1998.
20. J.-G. Schneider and O. Nierstrasz. Scripting: Higher-level programming for component-based systems. In OOPSLA 1998, 1998. Tutorial.
21. J.-G. Schneider and O. Nierstrasz. Components, scripts and glue. In L. Barroca, J. Hall, and P. Hall, editors, Software Architectures. Advances and Applications, pages 13-25. Springer, 1999.
22. A. Sünbül. Abstract state machines for the composition of architectural styles. In Perspectives on System Informatics, PSI99, 1999. to appear.
23. C. Wallace. The Semantics of the C++ Programming Language. In E. Borger, editor, Specication and Validation Methods, pages 131-164. Oxford University Press, 1995.