More Web Proxy on the site http://driver.im/

article

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

Authors:

Stefan HenklerAuthors Info & Claims

Journal of Visual Languages and Computing, Volume 17, Issue 6

Pages 528 - 550

https://doi.org/10.1016/j.jvlc.2006.10.002

Published: 01 December 2006 Publication History

Abstract

Software-intensive systems of the future are expected to be highly distributed and to exhibit adaptive and anticipatory behavior when operating in highly dynamic environments and interfacing with the physical world. Therefore, visual modeling techniques to address these software-intensive systems require a mix of models from a multitude of disciplines such as software engineering, control engineering, and business process engineering. As in this concert of techniques software provides the most flexible element, the integration of these different views can be expected to happen in the software. The software thus includes complex information processing capabilities as well as hard real-time coordination between distributed technical systems and computers. In this article, we identify a number of general requirements for the visual model-driven specification of next generation software-intensive systems. As business process engineering and software engineering are well integrated areas and in order to keep this survey focused, we restrict our attention here to approaches for the visual model-driven development of adaptable software-intensive systems where the integration of software engineering with control engineering concepts and safety issues are important. In this survey, we identify requirements and use them to classify and characterize a number of approaches that can be employed for the development of the considered class of software-intensive systems.

References

[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. v47 i8. 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. 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. 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. v8 i3. 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.]]

Digital Library

[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. 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.]]

Digital Library

[17]

Alur, R., Ivancic, F., Kim, J., Lee, I. and Sokolsky, O., Generating embedded software from hierarchical hybrid models. In: Proceedings of the 2003 ACM SIGPLAN Conference on Language, Compiler, and Tool for Embedded Systems, ACM Press, New York. pp. 171-182.]]

[18]

Alur, R., Grosu, R., Lee, I. and Sokolsky, O., Compositional refinement of hierarchical hybrid systems. In: Proceedings of the Fourth International Conference on Hybrid Systems: Computation and Control (HSCC'01), Lecture Notes in Computer Science, vol. 2034. Springer, Berlin. pp. 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., Westkämper, E. (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Lecture Notes in Computer Science, vol. 3147. Springer, Berlin. pp. 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. In: Modelling, Analysis, and Design of Hybrid Systems, Lecture Notes on Control and Information Sciences, vol. 279. Springer, Berlin. pp. 37-52.]]

[22]

Grosu, R., Stauner, T. and Broy, M., A modular visual model for hybrid systems. In: FTRTFT '98: Proceedings of the Fifth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, London, UK. pp. 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. v23 i1. 50-64.]]

[27]

Henzinger, T.A., Horowitz, B. and Kirsch, C.M., Giotto: a time-triggered language for embedded programming. Proceedings of the IEEE. v91. 84-99.]]

[28]

Henzinger, T.A., Masaccio: a formal model for embedded components. In: Proceedings of the First IFIP International Conference on Theoretical Computer Science (TCS), Lecture Notes in Computer Science, vol. 1872. Springer, Berlin. pp. 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. In: Proceedings of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, ACM Press, New York. pp. 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., Aksit, M. (Eds.), Model Driven Architecture: Foundations and Applications, Lecture Notes in Computer Science, vol. 3599. Springer, Berlin. pp. 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., Systä, T. (Eds.), Scenarios: Models, Algorithms and Tools, Lecture Notes in Computer Science, vol. 3371. Springer, Berlin. pp. 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. In: Proceedings of the Third International Fujaba Days 2005, Paderborn, Germany. pp. 71-78.]]

[35]

Friesen, V., Nordwig, A. and Weber, M., Object-oriented specification of hybrid systems using UMLh and ZimOO. In: Proceedings of the 11th International Conference of Z Users on the Z Formal Specification Notation, Berlin, Germany, Lecture Notes in Computer Science, vol. 1493. Springer, Berlin. pp. 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.]]

Cited By

Kahani NHili NCordy JDingel JChechik MRuscio DRumpe B(2017)Evaluation of UML-RT and Papyrus-RT for modelling self-adaptive systemsProceedings of the 9th International Workshop on Modelling in Software Engineering10.5555/3104068.3104074(12-18)Online publication date: 20-May-2017
https://dl.acm.org/doi/10.5555/3104068.3104074
Moreira De Sousa LRodrigues Da Silva A(2016)A domain specific language for spatial simulation scenariosGeoinformatica10.1007/s10707-015-0233-y20:1(117-149)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.1007/s10707-015-0233-y
Schäfer WWehrheim H(2010)Model-driven development with Mechatronic UMLGraph transformations and model-driven engineering10.5555/1985522.1985549(533-554)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.5555/1985522.1985549
Show More Cited By

Recommendations

Model driven development approach to natural language generation systems

Natural Language Generation systems have traditionally been built using ad-hoc software engineering practices with no explicit development process and no standard software architecture. This situation has drastically limited professional use of NLG ...
TALISMAN MDE Framework: An Architecture for Intelligent Model-Driven Engineering
IWANN '09: Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living

Models are becoming first-class artifacts in Software Engineering because they provide better productivity and quality. In this paper we present a framework for developing all kinds of applications, mainly by following the best practices of the two main ...
Agent-oriented software engineering: a model-driven approach

A recent trend in Agent-Oriented Software Engineering (AOSE) is the adoption of a model-driven approach for designing Multiagent Systems (MASs). OMG's Model-Driven Architecture (MDA) provides standards useful for a model-driven software engineering ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Journal of Visual Languages and Computing

Journal of Visual Languages and Computing Volume 17, Issue 6

December, 2006

104 pages

ISSN:1045-926X

Issue’s Table of Contents

Copyright © Elsevier Ltd © 2006.

Publisher

Academic Press, Inc.

United States

Publication History

Published: 01 December 2006

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Kahani NHili NCordy JDingel JChechik MRuscio DRumpe B(2017)Evaluation of UML-RT and Papyrus-RT for modelling self-adaptive systemsProceedings of the 9th International Workshop on Modelling in Software Engineering10.5555/3104068.3104074(12-18)Online publication date: 20-May-2017
https://dl.acm.org/doi/10.5555/3104068.3104074
Moreira De Sousa LRodrigues Da Silva A(2016)A domain specific language for spatial simulation scenariosGeoinformatica10.1007/s10707-015-0233-y20:1(117-149)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.1007/s10707-015-0233-y
Schäfer WWehrheim H(2010)Model-driven development with Mechatronic UMLGraph transformations and model-driven engineering10.5555/1985522.1985549(533-554)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.5555/1985522.1985549
Hirsch MHenkler SGiese HCheng Bde Lemos RGarlan DGiese HLitoiu MMagee JMüller HTaylor R(2008)Modeling collaborations with dynamic structural adaptation in mechatronic UMLProceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems10.1145/1370018.1370026(33-40)Online publication date: 12-May-2008
https://dl.acm.org/doi/10.1145/1370018.1370026
Lund MRefsdal AStølen K(2007)Semantics of UML models for dynamic behaviorProceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems10.5555/1927558.1927564(77-103)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.5555/1927558.1927564
Burmester SGiese HHenkler SHirsch MTichy MGambuzza AMunch EVocking H(2007)Tool Support for Developing Advanced Mechatronic SystemsProceedings of the 29th international conference on Software Engineering10.1109/ICSE.2007.88(801-804)Online publication date: 24-May-2007
https://dl.acm.org/doi/10.1109/ICSE.2007.88

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents