Using grammarware languages to define operational semantics of modelled languages

Lecture Notes in Business Information Processing

Volumn 33 LNBIP, Issue , 2009, Pages 348-356

  Sadilek, Daniel A ^a   Wachsmuth, Guido ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CONTOUR FOLLOWERS; LINGUISTICS; SEMANTICS;

ABSTRACT STATE MACHINES; DESCRIPTION LANGUAGES; INDUSTRIAL CASE STUDY; LANGUAGE ENGINEERING; MODELLING FRAMEWORK; OPERATIONAL SEMANTICS; PROTOTYPING; STATE MACHINE; UNIFIED FRAMEWORK;

QUERY LANGUAGES;

EID: 68949129073     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-02571-6_20     Document Type: Conference Paper

References (21)

1. Schieferdecker, I., Hartman, A. (eds.): ECMDA-FA 2008. LNCS, vol. 5095. Springer, Heidelberg (2008)
2. Alanen, M., Porres, I.: Difference and union of models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 2-17. Springer, Heidelberg (2003)
3. Alanen, M., Porres, I.: A relation between context-free grammars and Meta Object Facility. Technical report, TUCS (2004)
4. Chen, K., Sztipanovits, J., Abdelwalhed, S., Jackson, E.: Semantic anchoring with model transformations. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol. 3748, pp. 115-129. Springer, Heidelberg (2005)
5. Esser, R., Janneck, J.: Moses: A tool suite for visual modeling of discrete-event systems. In: HCC 2001, pp. 272-279. IEEE Computer Society Press, Los Alamitos (2001)
6. Farahbod, R., Gervasi, V., Glässer, U.: CoreASM: an extensible ASM execution engine. Fundamenta Informaticae 77(1-2), 71-103 (2007)
7. Gjøsæter, T., Isfeldt, I.F., Prinz, A.: Sudoku - a language description case study. In: Gǎsević, D., Lämmel, R., Van Wyk, E. (eds.) SLE 2009. LNCS, vol. 5452, pp. 305-321. Springer, Heidelberg (2009)
8. Hartmann, T., Sadilek, D.A.: Undoing operational steps of domain-specific modeling languages. In: Proceedings of the 8th OOPSLA Workshop on Domain-Specific Modeling (DSM 2008), University of Alabama at Birmingham (2008)
9. Kurtev, I., Bézivin, J., Aksit, M.: Technological spaces: An initial appraisal. In: CoopIS, DOA 2002 Federated Conferences, Industrial track (2002)
10. Miller, S.G.: SISC: A complete scheme interpreter in Java. Technical report, Indiana University (January 2002)
11. Muller, P., Fleurey, F., Jézéquel, J.: Weaving executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264-278. Springer, Heidelberg (2005)
12. Object Management Group. Meta Object Facility 2.0 Query/View/ Transformation Specification (2007)
13. Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)
14. Ruscio, D.D., Jouault, F., Kurtev, I., Bézivin, J., Pierantonio, A.: Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs. Technical Report 06.02, LINA Laboratoire D'Informatique De Nantes Atlantique (April 2006)
15. Sadilek, D.A., Wachsmuth, G.: Prototyping visual interpreters and debuggers for domain-specific modelling languages. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 63-78. Springer, Heidelberg (2008)
16. Scheidgen, M.: Textual modelling embedded into graphical modelling. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 153-168. Springer, Heidelberg (2008)
17. Schieferdecker, I., Großmann, J.: Testing hybrid control systems: an overview on cont. ttcn-3. Int. J. Softw. Tools Technol. Transf. 10(4), 383-400 (2008)
18. Störrle, H.: A prolog-based approach to representing and querying software engineering models. In: Proceedings of the VLL 2007 workshop on Visual Languages and Logic. CEUR-WS, vol. 274, pp. 85-96 (2007)
19. Wachsmuth, G.: Modelling the operational semantics of domain-specific modelling languages. In: Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol. 5235, pp. 506-520. Springer, Heidelberg (2007)
20. Wielemaker, J.: SWI-Prolog 5.6 Reference Manual (2008), http://www.swi-prolog.org
21. Wimmer, M., Kramler, G.: Bridging grammarware and modelware. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 159-168. Springer, Heidelberg (2006)