Composition and Cloning in Modeling and Meta-Modeling

IEEE Transactions on Control Systems Technology

Volumn 12, Issue 2, 2004, Pages 263-278

  Karsai, Gabor ^a   Maroti, Miklos ^a   Ledeczi, Akos ^a   Gray, Jeff ^b   Sztipanovits, Janos ^a  

^a VANDERBILT UNIVERSITY   (United States)

^b UNIVERSITY OF ALABAMA AT BIRMINGHAM   (United States)

Author keywords

Computer aided software engineering; software modeling; software prototyping; visual languages

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; FINITE AUTOMATA; SEMANTICS; SOFTWARE PROTOTYPING;

GENERIC MODELING ENVIRONMENT; META-MODELING; SOFTWARE MODELING; VISUAL LANGUAGES;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 1942536180     PISSN: 10636536     EISSN: 15580865     Source Type: Journal    
DOI: 10.1109/TCST.2004.824311     Document Type: Article

References (33)

1. B. Abbott, T. Bapty, C. Biegl, G. Karsai, and J. Sztipanovits,“Model based approach for software synthesis,” IEEE Softw., vol. 10, pp. 42-54, May 1993.
2. G. Booch, I. Jacobson, and J. Rumbaugh, The Unified Modeling Lan guage User Guide. Reading, MA: Addison-Wesley, 1998.
3. I. Craig, The Interpretation of Object-Oriented Programming Lan guages. Berlin: Springer-Verlag, 2000.
4. C. J. Date, An Introduction to Database Systems, 8th ed. Reading, MA: Addison-Wesley, 2003.
5. J. Davis, J. Scott, J. Sztipanovits, and M. Martinez,“Multi-domain surety modeling and analysis for high assurance systems,” in Proc. Engineering Computer Based Systems (ECBS), Nashville, TN, Mar. 1999, pp. 254-260.
6. J. Gray, T. Bapty, S. Neema, and J. Tuck,“Handling crosscutting con straints in domain-specific modeling,” Commun. ACM, pp. 87-93, Oct. 2001.
7. R. Hilliard,“Views and viewpoints in software systems architecture,” in Proc. First Working IFIP Conf. Software Architecture, San Antonio, TX, Feb. 22-24, 1999.
8. Recommended Practice for Architectural Description of Software-Intensive Systems, IEEE Standard 1471-2000, Oct. 2000.
9. G. Karsai,“A configurable visual programming environment: A tool for domain-specific programming,” IEEE Computer, vol. 28, pp. 36-44, Mar. 1995.
10. G. Karsai, G. Nordstrom, A. Ledeczi, and J. Sztipanovits,“Specifying graphical modeling systems using constraint-based metamodels,” presented at the IEEE Symp. Computer Aided Control System Design, An chorage, AK, Sept. 25, 2000.
11. S. Kelly and J. Tolvanen,“Benefits and experiences of visual do main-specific modeling with metaCASE,” presented at the Int. Workshop Model Engineering-ECOOP 2000, Nice, France, June 13, 2000.
12. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold,“Getting started with AspectJ,” Commun. ACM, pp. 59-65, Oct. 2001.
13. A. Ledeczi, M. Maroti, G. Karsai, and G. Nordstrom,“Metapro grammable toolkit for model-integrated computing,” in Proc. Engineering Computer Based Systems (ECBS), Nashville, TN, Mar. 1999, pp. 311-317.
14. A. Ledeczi, A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom, J. Sprinkle, and G. Karsai,“Composing domain-specific design environments,” IEEE Computer, pp. 44-51, Nov. 2001.
15. E. A. Lee and Y. Xiong,“System-level types for component-based design,” in Proc. 1st Int. Workshop Embedded Software, Tahoe City, CA, Oct. 2001, pp. 237-253.
16. H. Lieberman,“Using prototypical objects to implement shared behavior in object oriented systems,” in Proc. Object-Oriented Pro gramming Systems, Languages, Applications (OOPSLA), Portland, OR, Nov. 1986, pp. 214-223.
17. E. Long, A. Misra, and J. Sztipanovits,“Increasing productivity at Saturn,” IEEE Computer, vol. 31, pp. 35-43, Aug. 1998.
18. M. Moore, S. Monemi, J. Wang, J. Marble, and S. Jones,“Diagnostics and integration in electrical utilities,” in Proc. IEEE Rural Electric Power Conf., Louisville, KY, May 2000, pp. C21-C210.
19. G. Nordstrom, J. Sztipanovits, G. Karsai, and A. Ledeczi,“Meta modeling-Rapid design and evolution of domain-specific modeling environments,” in Proc. Engineering Computer Based Systems (ECBS), Nashville, TN, Mar. 1999, pp. 68-74.
20. B. Nuseibeh, J. Kramer, and A. Finkelstein,“A framework for expressing the relationship between multiple views in requirements specification,” IEEE Trans. Software Eng., vol. 20, pp. 760-774, Oct. 1994.
21. J. Sztipanovits, G. Karsai, and T. Bapty,“Self-adaptive software for signal processing,” Commun. ACM, pp. 66-74, May 1998.
22. J. Sztipanovits, G. Karsai, and H. Franke,“Model-integrated program synthesis environment,” in Proc. Engineering Computer Based Systems (ECBS), Friedrichshafen, Germany, Mar. 11, 2000, pp. 348-355.
23. D. Ungar and R. Smith,“Self: The power of simplicity,” in Proc. Object Oriented Programming Systems, Languages Applications (OOPSLA), Orlando, FL, Dec. 1987, pp. 227-242.
24. J. Warmer and A. Kleppe, The Object Constraint Language: Precise Modeling With UML. Reading, MA: Addison-Wesley, 1999.
25. P. Wegner,“Programming languages-The first 25 years,” IEEE Trans. Comput., pp. 1207-1225, Dec. 1976.
26. The Extensible Markup Language (XML) [Online]. Available: http://www.w3c.org/XML/
27. Fault-Adaptive Control Technology (FACT) Project [Online]. Available: http://www.isis.vanderbilt.edu/Projects/Fact/Fact.htm
28. M. S. Branicky, V. Borkar, and S. Mitter,“A unified framework for hybrid control: Background, model, and theory,” in Proc. 33rd IEEE Conf. Decision Control, Paper No. LIDS-P-2239, Lake Buena Vista, FL.
29. P. J. Mosterman and G. Biswas,“A theory of discontinuities in physical system models,” J. Franklin Inst., vol. 335B, pp. 401-439.
30. A. Misra, J. Sztipanovits, and J. Carnes,“Robust diagnostics: Structural redundancy approach,” in Proc. Knowledge Based Artificial Intelligence Systems Aerospace Industry, SPIE's Symp. Intelligent Systems, Orlando, FL, Apr. 5-6.
31. E. J. Manders, S. Narasimhan, G. Biswas, and P. J. Mosterman,“A combined qualitative/quantitative approach for efficient fault isolation in complex dynamic systems,” in Proc. 4th Symp. Fault Detection, Su pervision Safety Processes, pp. 512-517.
32. M. Stal, H. Rohnert, and F. Buschmann, Pattern-Oriented Software Architecture, Volume 2: Patterns for Concurrent and Networked Objects, D. Schmidt, Ed. New York: Wiley, 2000.
33. J. Paunicka, B. Mendel, and D. Corman,“The OCP-An open middle ware solution for embedded systems,” in Proc. American Control Conf., 2001.