A survey of approaches for the visual model-driven development of next generation software-intensive systems

Journal of Visual Languages and Computing

Volumn 17, Issue 6, 2006, Pages 528-550

  Giese, Holger ^a   Henkler, Stefan ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Adaptable; MDA; MDD; Software intensive systems; Survey; Visual modeling

Indexed keywords

EID: 33751505941     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jvlc.2006.10.002     Document Type: Article

References (42)

1. M. Wirsing (Ed.), Report on the EU/NSF Strategic Workshop on Engineering Software-Intensive Systems, Edinburgh, GB, 2004.
2. Standards Coordinating Committee of the IEEE Computer Society, The Institute of Electrical and Electronics Engineers, Inc., 345 East 47th Street, New York, NY 10017-2394, USA, Recommended Practice for Architectural Description of Software-Intensive Systems, IEEE-Std-1471, 2000.
3. Freeman P., and Hart D. A science of design for software-intensive systems. Communications of the ACM 47 8 (2004) 19-21
4. NSF Workshop on Modeling and Simulation for Design of Large Software-Intensive Systems: Toward a New Paradigm Recognizing Networked, Distributed and Diffuse-Control Software, 3-4 December, 2003.
5. Selic B., Gullekson G., and Ward P. Real-Time Object-Oriented Modeling (1994), Wiley, New York
6. Object Management Group, UML for System Engineering Request for Proposal, document ad/03-03-41, March 2003.
7. SysML Partner, Systems Modeling Language (SysML) Specification, version 1.0 alpha, document ad/05-11-14, November 2005.
8. Object Management Group, UML 2.0 Superstructure Specification, document: ptc/04-10-02 (convenience document), October 2004.
9. L. Carloni, M.D.D. Benedetto, R. Passerone, A. Pinto, A. Sangiovanni-Vincentelli, Modeling Techniques, Programming languages and design toolsets for hybrid systems, Project IST-2001-38314 COLUMBUS-Design of Embedded Controllers for Safety Critical Systems, WPHS: Hybrid System Modeling, version: 0.2, Deliverable number: DHS4-5-6, July 2004.
10. D. Henriksson, O. Redell, J. El-Khoury, M. Törngren, K.-E. Årzén, Tools for real-time control systems co-design-a survey, Technical Report ISRN LUTFD2/TFRT-7612--SE, Department of Automatic Control, Lund Institute of Technology, Sweden, April 2005.
11. Kornecki A.J., and Zalewski J. Experimental evaluation of software development tools for safety-critical real-time systems. Innovations in Systems and Software Engineering (2005) 176-188
12. Object Management Group, OMG Unified Modeling Language Specification, Version 1.5, OMG document formal/03-03-01, September 2001.
13. Harel D. Statecharts: a visual formalism for complex systems. Science of Computer Programming 8 3 (1987) 231-274
14. R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, The algorithmic analysis of hybrid systems, Theoretical Computer Science 138 (1995) 3-34.
15. Kesten Y., and Pnueli A. Timed and hybrid statecharts and their textual representation. In: Vytopil J. (Ed). Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science vol. 571 (1992), Springer, Berlin
16. R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. Pappas, O. Sokolsky, Hierarchical hybrid modeling of embedded systems, in: First Workshop on Embedded Software, 2001.
17. Alur R., Ivancic F., Kim J., Lee I., and Sokolsky O. Generating embedded software from hierarchical hybrid models. Proceedings of the 2003 ACM SIGPLAN Conference on Language, Compiler, and Tool for Embedded Systems (2003), ACM Press, New York 171-182
18. Alur R., Grosu R., Lee I., and Sokolsky O. Compositional refinement of hierarchical hybrid systems. Proceedings of the Fourth International Conference on Hybrid Systems: Computation and Control (HSCC'01), Lecture Notes in Computer Science vol. 2034 (2001), Springer, Berlin 33-48
19. Berkenkötter K., Bisanz S., Hannemann U., and Peleska J. Executable HybridUML and its application to train control systems. In: Ehrig H., Damm W., Desel J., Große-Rhode M., Reif W., Schnieder E., and Westkämper E. (Eds). Integration of Software Specification Techniques for Applications in Engineering, Lecture Notes in Computer Science vol. 3147 (2004), Springer, Berlin 145-173
20. T. Stauner, A. Pretschner, I. Péter, Approaching a discrete-continuous UML: tool support and formalization, in: Proceedings of the UML'2001 Workshop on Practical UML-Based Rigorous Development Methods-Countering or Integrating the eXtremists, Toronto, Canada, 2001, pp. 242-257.
21. Bender K., Broy M., Peter I., Pretschner A., and Stauner T. Model based development of hybrid systems. Modelling, Analysis, and Design of Hybrid Systems, Lecture Notes on Control and Information Sciences vol. 279 (2002), Springer, Berlin 37-52
22. Grosu R., Stauner T., and Broy M. A modular visual model for hybrid systems. FTRTFT '98: Proceedings of the Fifth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (1998), Springer, London, UK 75-91
23. R. Grosu, I. Krüger, T. Stauner, Hybrid sequence charts, in: Proceedings of the Third IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC 2000), IEEE, 2000.
24. C. Hylands, E. Lee, J. Liu, X. Liu, S. Neuendorffer, Y. Xiong, Y. Zhao, H. Zheng, Overview of the Ptolemy Project, TechReport UCB/ERL M03/25, Department of Electrical Engineering and Computer Science, University of California, Berkeley, July 2003.
25. C. Brooks, A. Cataldo, E.A. Lee, J. Liu, X. Liu, S. Neuendorffer, H. Zheng, HyVisual: a hybrid system visual modeler, University of California, Berkeley, Technical Memorandum UCB/ERL M05/24, 2005.
26. Henzinger T.A., Kirsch C.M., Sanvido M.A., and Pree W. From control models to real-time code using Giotto. IEEE Control Systems Magazine 23 1 (2003) 50-64 (A preliminary report on this work appeared in: C.M. Kirsch, M.A.A. Sanvido, T.A. Henzinger, W. Pree, (Eds.), A Giotto-based Helicopter Control System, Proceedings of the Second International Workshop on Embedded Software (EMSOFT), Lecture Notes in Computer Science, vol. 2491, Springer, Berlin, 2002, pp. 46-60)
27. Henzinger T.A., Horowitz B., and Kirsch C.M. Giotto: a time-triggered language for embedded programming. Proceedings of the IEEE 91 (2003) 84-99 (A preliminary version appeared in: Proceedings of the First International Workshop on Embedded Software (EMSOFT), Lecture Notes in Computer Science, vol. 2211, Springer, Berlin, 2001, pp. 166-184)
28. Henzinger T.A. Masaccio: a formal model for embedded components. Proceedings of the First IFIP International Conference on Theoretical Computer Science (TCS), Lecture Notes in Computer Science vol. 1872 (2000), Springer, Berlin 549-563
29. A. Agrawal, G. Simon, G. Karsai, Semantic translation of simulink/stateflow models to hybrid automata using graph transformations, in: International Workshop on Graph Transformation and Visual Modeling Techniques, Barcelona, Spain, 2004.
30. Giese H., Burmester S., Schäfer W., and Oberschelp O. Modular design and verification of component-based mechatronic systems with online-reconfiguration. Proceedings of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA (2004), ACM Press, New York 179-188
31. Burmester S., Giese H., and Tichy M. Model-driven development of reconfigurable mechatronic systems with mechatronic UML. In: Assmann U., Rensink A., and Aksit M. (Eds). Model Driven Architecture: Foundations and Applications, Lecture Notes in Computer Science vol. 3599 (2005), Springer, Berlin 47-61
32. S. Burmester, H. Giese, O. Oberschelp, Hybrid UML components for the design of complex self-optimizing mechatronic systems, in: Informatics in Control, Automation and Robotics, Kluwer Academic Publishers, Dordrecht, 2005.
33. Burmester S., Giese H., and Klein F. Synthesis of parameterized UML real-time patterns from multiple parameterized real-timed scenarios. In: Bordeleau F., Leue S., and Systä T. (Eds). Scenarios: Models, Algorithms and Tools, Lecture Notes in Computer Science vol. 3371 (2005), Springer, Berlin 193-211
34. Burmester S., Giese H., Seibel A., and Tichy M. Worst-case execution time optimization of story patterns for hard real-time systems. Proceedings of the Third International Fujaba Days 2005 (2005), Paderborn, Germany 71-78
35. Friesen V., Nordwig A., and Weber M. Object-oriented specification of hybrid systems using UMLh and ZimOO. Proceedings of the 11th International Conference of Z Users on the Z Formal Specification Notation, Berlin, Germany, Lecture Notes in Computer Science vol. 1493 (1998), Springer, Berlin 328-346
36. V. Friesen, S. Jähnichen, M. Weber, Specification of software controlling a discrete-continuous environment, in: Proceedings of the 1997 International Conference on Software Engineering, Boston, Massachusetts, United States, 1997.
37. T. Stauner, Systematic development of hybrid systems, Ph.D. Thesis, Technische Universität München, 2001.
38. S. Burmester, H. Giese, M. Hirsch, Syntax and semantics of hybrid components, Technical Report tr-ri-05-264, University of Paderborn, October 2005.
39. SysML Submission Team (SST), Systems Modeling Language (SysML) Specification, version 1.0 alpha, document ad/06-02-13, February 2005.
40. P. Allen (Ed.), The OMG's Model Driven Architecture, Component Development Strategies, vol. XII, The Monthly Newsletter from the Cutter Information Corp. on Managing and Developing Component-Based Systems, 2002.
41. A.S. Vincentelli, Defining platform-based design, EEDesign of EETimes, 2002.
42. B. Bouyssounouse, J. Sifakis (Eds.), Embedded Systems Design: The ARTIST Roadmap for Research and Development, Lecture Notes in Computer Science, vol. 3436, Springer, GmbH, 2005.