Skip to main content

NAOMI – An Experimental Platform for Multi–modeling

  • Conference paper
Book cover Model Driven Engineering Languages and Systems (MODELS 2008)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5301))

Abstract

Domain-specific modeling languages (DSMLs) are designed to provide precise abstractions of domain-specific constructs. However, models for complex systems typically do not fit neatly within a single domain and capturing all important aspects of such a system requires developing multiple models using different DSMLs. Combining these models into multi-models presents difficult challenges, most importantly those of integrating the various models and keeping both the models and their associated data synchronized. To this end, we present NAOMI, an experimental platform for enabling multiple models, developed in different DSMLs, to work together. NAOMI analyzes model dependencies to determine the impact of changes to one model on other dependent models and coordinates the propagation of necessary model changes. NAOMI also serves as a useful testbed for exploring how diverse modeling paradigms can be combined.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 149.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hessellund, A., Czarnecki, K., Wasowski, A.: Guided development with multiple domain-specific languages. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 46–60. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  2. Greenfield, J., Short, K., Cook, S., Kent, S.: Software Factories. Wiley, Chichester (2004)

    Google Scholar 

  3. OMG: Unified modeling language specification version 2.0 (2005), http://www.uml.org/

  4. OMG: Modeling and analysis of real-time and embedded systems (MARTE) (2006), http://www.omgmarte.org/

  5. OMG: Omg systems modeling language (sysml) specification version 1.0 (2007)

    Google Scholar 

  6. Nuseibeh, B., Kramer, J., Finkelstein, A.: Expressing the relationships between multiple views in requirements specification. In: ICSE 1993, pp. 187–196. IEEE Computer Society Press, Los Alamitos (1993)

    Google Scholar 

  7. Hardebolle, C., Boulanger, F., Marcadet, D., Vidal-Naquet, G.: A generic execution framework for models of computation. In: Fernandes, J.M., Machado, R.J., Khedri, R., Clarke, S. (eds.) MOMPES 2007, pp. 45–54. IEEE Computer Society, Los Alamitos (2007)

    Google Scholar 

  8. Karsai, G., Lang, A., Neema, S.: Design patterns for open tool integration. Software and Systems Modeling (SoSym) 4(2), 157–170 (2005)

    Article  Google Scholar 

  9. Ölveczky, P., Meseguer, J.: Semantics and pragmatics of real-time maude. Higher-Order and Symbolic Computation 20(1), 161–196 (2007)

    Article  MATH  Google Scholar 

  10. CollabNet: Subversion version control system (2006), http://subversion.tigris.org/

  11. World Wide Web Consortium: W3C Extensible Markup Language (XML) (2006), http://www.w3.org/XML

  12. World Wide Web Consortium: W3C XML schema (2006), http://www.w3.org/XML/Schema

  13. Sun Microsystems: Netbeans (2008), http://netbeans.org/

  14. Brooks, C., Feng, T.H., Lee, E.A.: Multimodeling: A preliminary case study. Technical Report UCB/EECS-2008-7, EECS Department, University of California, Berkeley (2008)

    Google Scholar 

  15. Zave, P., Jackson, M.: Where Do Operations Come From?: A Multiparadigm Specification Technique. IEEE Transactions on Software Engineering 22(7), 508–528 (1996)

    Article  Google Scholar 

  16. Girault, A., Lee, B., Lee, E.: Hierarchical finite state machines with multiple concurrency models. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 18(6), 742–760 (1999)

    Article  Google Scholar 

  17. Steffen, B., Margaria, T., Braun, V.: The Electronic Tool Integration platform: concepts and design. International Journal on Software Tools for Technology Transfer (STTT) 1(1), 9–30 (1997)

    Article  MATH  Google Scholar 

  18. Margaria, T., Nagel, R., Steffen, B.: jETI: A Tool for Remote Tool Integration. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 557–562. Springer, Heidelberg (2005)

    Google Scholar 

  19. Wimmer, M., Schauerhuber, A., Strommer, M., Schwinger, W., Kappel, G.: A Semi-automatic Approach for Bridging DSLs with UML? In: Proceedings of the 7th OOPSLA Workshop on Domain-Specific Modeling (2007)

    Google Scholar 

  20. Kappel, G., Kramler, G., Kapsammer, E., Reiter, T., Retschitzegger, W., Schwinger, W.: Modelcvs - a semantic infrastructure for model-based tool integration. Technical report, Johannes Kepler University of Linz and Vienna University of Technology (2005)

    Google Scholar 

  21. Grune, D., Berliner, B., Polk, J., Jones, L., Price, D.R., Baushke, M.: Concurrent versions system (2005), http://ftp.gnu.org/non-gnu/cvs/

  22. Bräeuer, M., Lochmann, H.: Towards semantic integration of multiple domain-specific languages using ontological foundations. In: Proceedings of the 4th International Workshop on (Software) Language Engineering (ATEM) (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Krzysztof Czarnecki Ileana Ober Jean-Michel Bruel Axel Uhl Markus Völter

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Denton, T., Jones, E., Srinivasan, S., Owens, K., Buskens, R.W. (2008). NAOMI – An Experimental Platform for Multi–modeling. In: Czarnecki, K., Ober, I., Bruel, JM., Uhl, A., Völter, M. (eds) Model Driven Engineering Languages and Systems. MODELS 2008. Lecture Notes in Computer Science, vol 5301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87875-9_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-87875-9_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-87874-2

  • Online ISBN: 978-3-540-87875-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics