NAOMI - An experimental platform for multi-modeling

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

Volumn 5301 LNCS, Issue , 2008, Pages 143-157

  Denton, Trip ^a   Jones, Edward ^a   Srinivasan, Srini ^a   Owens, Ken ^a   Buskens, Richard W ^a  

^a LOCKHEED MARTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX SYSTEMS; DO-MAINS; EXPERIMENTAL PLATFORMS; MODEL CHANGES; MODEL DEPENDENCIES; MODELING LANGUAGES; MODELING PARADIGMS; MULTIPLE MODELS; SINGLE DOMAINS; TESTBED;

LINGUISTICS;

MODELS;

EID: 56649123106     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87875-9_10     Document Type: Conference Paper

References (22)

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)
2. Greenfield, J., Short, K., Cook, S., Kent, S.: Software Factories. Wiley, Chichester (2004)
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)
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)
7. Hardebolle, C., Boulanger, F., Marcadet, D., Vidal-Naquet, G.: A generic execution framework for models of computation. In: Fernandes, J.M., Maehado, R.J., Khedri, R., Clarke, S. (eds.) MOMPES 2007, pp. 45-54. IEEE Computer Society, Los Alamitos (2007)
8. Karsai, G., Lang, A., Neema, S.: Design patterns for open tool integration. Software and Systems Modeling (SoSym) 4(2), 157-170 (2005)
9. Ölveczky, P., Meseguer, J.: Semantics and pragmatics of real-time maude. Higher-Order and Symbolic Computation 20(1), 161-196 (2007)
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)
15. Zave, P., Jackson, M.: Where Do Operations Come From?: A Multiparadigm Specification Technique. IEEE Transactions on Software Engineering 22(7), 508-528 (1996)
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)
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)
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)
19. Wimmer, M., Schauerhuber, A., Strommer, M., Schwinger, W., Kappel, G.: A Semiautomatic Approach for Bridging DSLs with UML? In: Proceedings of the 7th OOPSLA Workshop on Domain-Specific Modeling (2007)
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)
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. Bradie;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)