Model-driven program transformation of a large avionics framework

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

Volumn 3286, Issue , 2004, Pages 361-378

  Gray, Jeff ^a   Zhang, Jing ^a   Lin, Yuehua ^a   Roychoudhury, Suman ^a   Wu, Hui ^a   Sudarsan, Rajesh ^a   Gokhale, Aniruddha ^b   Neema, Sandeep ^b   Shi, Feng ^b   Bapty, Ted ^b  

^a UNIVERSITY OF ALABAMA AT BIRMINGHAM   (United States)

^b VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AVIONICS; COMPUTATIONAL LINGUISTICS; SEMANTICS; SOFTWARE DESIGN; VISUAL LANGUAGES;

CONFIGURATION FEATURES; DOMAIN SPECIFIC MODELING; DOMAIN-SPECIFIC VISUAL LANGUAGE; LEGACY APPLICATIONS; MODEL DRIVEN APPROACH; MODEL DRIVEN DEVELOPMENT; PROGRAM TRANSFORMATIONS; TRANSFORMATION RULES;

SYSTEMS ANALYSIS;

EID: 35048871042     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30175-2_19     Document Type: Article

References (34)

1. Uwe Aßmann, Invasive Software Composition, Springer-Verlag, 2003.
2. Don Batory, Jacob Neal Sarvela, and Axel Rauschmeyer, "Scaling Step-Wise Refinement," IEEE Transactions on Sotware Engineering, June 2004, pp. 355-371.
3. Ira Baxter, Christopher Pidgeon, and Michael Mehlich, "DMS: Program Transformation for Practical Scalable Software Evolution," International Conference on Software Engineering (ICSE), Edinburgh, Scotland, May 2004, pp. 625-634.
4. Jean Bézivin, "From Object Composition to Model Transformation with the MDA," Technology of Object-Oriented Languages and Systems (TOOLS), Santa Barbara, California, August 2001, pp. 350-354.
5. th International Conference on the Unified Modeling Language, San Francisco, California, Keynote talk, October 22, 2003. (http://www.sciences. univ-nantes.fr/info/perso/permanents/bezivin/UML.2003/ UML.SF.JB.GT.ppt)
6. Shigeru Chiba, "A Metaobject Protocol for C++," Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Austin, Texas, October 1995, pp. 285-299.
7. James Cordy, Thomas Dean, Andrew Malton, and Kevin Schneider, "Source Transformation in Software Engineering using the TXL Transformation System," Special Issue on Source Code Analysis and Manipulation, Journal of Information and Software Technology (44,13) October 2002, pp. 827-837.
8. Krzysztof Czarnecki and Ulrich Eisenecker, Generative Programming: Methods, Tools, and Applications, Addison-Wesley, 2000.
9. Eric Evans, Domain-Driven Design: Tackling Complexity at the Heart of Software, Addison-Wesley, 2003.
10. Martin Fowler, Refactoring: Improving the Design of Existing Programs, Addison-Wesley, 1999.
11. David Frankel, Model Driven Architecture: Applying MDA to Enterprise Computing, John Wiley and Sons, 2003.
12. Aniruddha Gokhale, Douglas Schmidt, Balachandran Natarajan, Jeff Gray, and Nanbor Wang, "Model-Driven Middleware," in Middleware for Communications, (Qusay Mahmoud, editor), John Wiley and Sons, 2004.
13. Jeff Gray, Ted Bapty, Sandeep Neema, and James Tuck, "Handling Crosscutting Constraints in Domain-Specific Modeling," Communications of the ACM, Oct. 2001, pp. 87-93.
14. Jeff Gray, Janos Sztipanovits, Douglas C. Schmidt, Ted Bapty, Sandeep Neema, and Aniruddha Gokhale, "Two-level Aspect Weaving to Support Evolution of Model-Driven Synthesis," in Aspect-Oriented Software Development, (Robert Filman, Tzilla Elrad, Mehmet Aksit, and Siobhán Clarke, eds.), Addison-Wesley, 2004.
15. Jeff Gray and Suman Roychoudhury, "A Technique for Constructing Aspect Weavers Using a Program Transformation System," International Conference on Aspect-Oriented Software Development (AOSD), Lancaster, UK, March 22-27, 2004, pp. 36-45.
16. William G. Griswold and David Notkin, "Automated Assistance for Program Restructuring," Trans, on Software Engineering and Methodology, July 1993, pp. 228-269.
17. Tim Harrison, David Levine, and Douglas C. Schmidt, "The Design and Performance of a Hard Real-Time Object Event Service," Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA), Atlanta, Georgia, October 1997, pp. 184-200.
18. Gábor Karsai, Miklos Maroti, Ákos Lédeczi, Jeff Gray, and Janos Sztipanovits, 'Type Hierarchies and Composition in Modeling and Meta-Modeling Languages," IEEE Trans, on Control System Technology (special issue on Computer Automated Multi-Paradigm Modeling), March 2004, pp. 263-278.
19. Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Videira Lopes, Jean-Marc Loingtier, and John Irwin, "Aspect-Oriented Programming," European Conference on Object-Oriented Programming (ECOOP), LNCS 1241, Springer-Verlag, Jyväskylä, Finland, June 1997, pp. 220-242.
20. Ralf Lämmel and Chris Verhoef, "Cracking the 500 Language Problem," IEEE Software, November/December 2001, pp. 78-88.
21. Ákos Lédeczi, Arpad Bakay, Miklos Maroti, Peter Volgyesi, Greg Nordstrom, Jonathan Sprinkle, and Gabor Karsai, "Composing Domain-Specific Design Environments," IEEE Computer, November 2001, pp. 44-51.
22. Karl Lieberherr, Doug Orleans, and Johan Ovlinger, "Aspect-Oriented Programming with Adaptive Methods," Communications of the ACM, October 2001, pp. 39-41.
23. Sandeep Neema, Ted Bapty, Jeff Gray, and Aniruddha Gokhale, "Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems," Generative Programming and Component Engineering (GPCE), LNCS 2487, Pittsburgh, Pennsylvania, October 2002, pp. 236-251.
24. David Parnas, "On the Criteria To Be Used in Decomposing Systems into Modules," Communications of the ACM, December 1972, pp. 1053-1058.
25. Douglas C. Schmidt, Michael Stal, Hans Rohnert, and Frank Buschmann, Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects, John Wiley and Sons, 2000.
26. David Sharp, "Component-Based Product Line Development of Avionics Software," First Software Product Lines Conference (SPLC-1), Denver, Colorado, August 2000, pp. 353-369.
27. Olaf Spinczyk, Andreas Gal, Wolfgang Schröder-Prcikschat, "AspectC++: An Aspect-Oriented Extension to C++," International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Pacific 2002), Sydney, Australia, February 2002, pp. 53-60.
28. Janos Sztipanovits and Gabor Karsai, "Model-Integrated Computing," IEEE Computer, April 1997, pp. 10-12.
29. Janos Sztipanovits, "Generative Programming for Embedded Systems," Keynote Address: Generative Programming and Component Engineering (GPCE), LNCS 2487, Pittsburgh, Pennsylvania, October 2002, pp. 32-49.
30. William Ulrich, Legacy Systems: Transformation Strategies, Prentice-Hall, 2002.
31. Mark van den Brand, Jan Heering, Paul Klint, and Pieter Olivier, "Compiling Rewrite Systems: The ASF+SDF Compiler," ACM Transactions on Programming Languages and Systems, July 2002, pp. 334-368.
32. th International Conference on Rewriting Techniques and Applications (RTA), Springer-Verlag LNCS 2051, Utrecht, The Netherlands, May 2001, pp. 357-361.
33. Eelco Visser, "A Survey of Rewriting Strategies in Program Transformation Systems," Workshop on Reduction Strategies in Rewriting and Programming (WRSV1) - Electronic Notes in Theoretical Computer Science, vol. 57, Utrecht, The Netherlands, May 2001. (http://www1.elsevier.com/gej-ng/31/29/23/ 93/27/33/57007.pdf)
34. Eric Wohlstadter, Stoney Jackson, and Premkumar T. Devanbu, "DADO: Enhancing Middleware to Support Crosscutting Features in Distributed, Heterogeneous Systems," International Conference on Software Engineering, Portland, Oregon, pp. 174-186.