Challenges and directions in formalizing the semantics of modeling languages

Computer Science and Information Systems

Volumn 8, Issue 2, 2011, Pages 225-253

  Bryant, Barrett R ^a   Gray, Jeff ^a   Mernik, Marjan ^b   Clarke, Peter J ^c   France, Robert B ^d   Karsai, Gabor ^e  

^a UNIVERSITY OF ALABAMA AT BIRMINGHAM   (United States)

^b UNIVERSITY OF MARIBOR   (Slovenia)

^c FLORIDA INTERNATIONAL UNIVERSITY   (United States)

^d Department of Computer Science   (United States)

^e VANDERBILT UNIVERSITY   (United States)

Author keywords

Model based tools; Modeling languages; Semantics

Indexed keywords

EID: 80755163673     PISSN: 18200214     EISSN: None     Source Type: Journal    
DOI: 10.2298/CSIS110114012B     Document Type: Article

References (56)

1. van der Aalst, W. M. P., ter Hofstede, A. H. M.: YAWL: Yet Another Workflow Language. Information Systems, Vol. 30, No. 4, 245-275. (2003)
2. Agrawal, A., Karsai, G., Neema, S., Shi, F., Vizhanyo, A.: The Design of a Language for Model Transformations. Journal on Software and System Modeling, Vol. 5, No. 3, 261-288. (2006)
3. Álvarez, J. M., Evans, A., Sammut, P.: Mapping between Levels in the Metamodel Architecture. In: Gogolla, M., Kobryn, C. (eds.): The Unified Modeling Language. Modeling Languages, Concepts, and Tools, Lecture Notes in Computer Science, Vol. 2185. Springer-Verlag, New York, 34-46. (2001)
4. Baudry, B., Ghosh, S., Fleury, M., France, R., La Traon, Y., Mottu, J.-M.: Barriers to Systematic Model Transformation Testing. Communications of the ACM, Vol. 53, No. 6, 139-143. (2010)
5. von der Beeck, M.: A Comparison of Statecharts Variants. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems. Lecture Notes in Computer Science, Vol. 863. Springer-Verlag, Berlin, 128-148. (1994)
6. Blair, G., Bencomo, N., and France, R. R.: Models @ run. time. Computer, Vol. 42. No. 10, 22-27. (2009).
7. Börger, E.: The Origins and Development of the ASM Method for High-Level System Design and Analysis. Journal of Universal Computer Science, Vol. 8, No. 1, 2-74. (2002)
8. Burke, R. P., White, J. A.: Internet Rounds: A Congenital Heart Surgeons Web Log. Seminars in Thoracic and Cardiovascular Surgery, Vol. 16, No. 3, 283-292. (2004)
9. Chen, K., Sztipanovits, J., Abdelwalhed, S., Jackson, E.: Semantic Anchoring with Model Transformations. In: Hartman, A., Kreische, D. (eds.): Model Driven Architecture-Foundations and Applications. Lecture Notes in Computer Science, Vol. 3748. Springer-Verlag, Berlin, 115-129. (2005)
10. Chen, K., Sztipanovits, J., Neema, S.: Compositional Specification of Behavioral Semantics. In Proceedings of DATE 07, Design, Automation and Test in Europe, IEEE, Nice, France, 906-911. (2007)
11. Chiorean, D., Pasca, M., Cârcu, A., Botiza, C., Moldovan, S.: Ensuring UML Models Consistency Using the OCL Environment. Electronic Notes in Theoretical Computer Science, Vol. 102, 99-110. (2004)
12. Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: A New Symbolic Model Checker. International Journal on Software Tools for Technology Transfer, Vol. 2, 2000. (2000)
13. Demirezen, Z., Mernik, M., Gray, J., Bryant, B. R.: Verification of DSMLs Using Graph Transformation: A Case Study with Alloy. In Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, ACM, Denver, Colorado. (2009)
14. Deng, Y., Sadjadi, S.M., Clarke, P. J., Hristidis, V., Rangaswamy, R., Wang, Y.: CVM-A Communication Virtual Machine. Journal of Systems Software, Vol. 81, No. 10, 1640-1662. (2008)
15. Dinh-Trong, T T., Ghosh, S., France, R. B.: A Systematic Approach to Generate Inputs to Test UML Design Models. In Proceedings of ISSRE 06, the 17th International Symposium on Software Reliability Engineering, IEEE, Raleigh, North Carolina, 95-104. (2006)
16. Di Ruscio, D., Jouault, F., Kurtev, I., Bezivin, J., Pierantonio, A.: Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs. Technical Report, INRIA/LINA, http://hal.archives-ouvertes.fr/ccsd-00023008/en. (2006)
17. Ducasse, S., Girba, T., Kuhn, A., Renggli, L.: Meta-Environment and Executable Meta-Language using Smalltalk: An Experience Report. Software and Systems Modeling, Vol. 8, No. 1, 5-19. (2009)
18. Eker, J., Janneck, J. W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming Heterogeneity-The Ptolemy Approach, Proceedings of the IEEE, Vol. 91, No. 1, 127-144. (2003)
19. Engels, G., Hausmann, J., Heckel, R., Sauer, S.: Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In: Evans, A., Kent, S., Selic, B. (eds.): The Unified Modeling Language. Modeling Languages, Concepts, and Tools, Lecture Notes in Computer Science, Vol. 1939. Springer-Verlag, New York, 323-337. (2000)
20. Ermel, C., Holscher, K., Kuske, S., Ziemann, P.: Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation. In Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing, IEEE Computer Society, Dallas, Texas, 125-133. (2005)
21. Esser, R., Janneck, J.W.: Moses-A Tool Suite for Visual Modeling of Discrete-Event Systems. In Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01), IEEE Computer Society, Stresa, Italy, 272-279. (2001)
22. Gargantini, A., Riccobene, E., Scandurra, P.: A Semantic Framework for Metamodel-Based Languages. Automated Software Engineering, Vol. 16, No. 3, 415-454. (2009)
23. Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Journal on Software and System Modeling, Vol. 4, No. 4, 386-398. (2005)
24. Gray, J., Tolvanen, J.P., Kelly, S., Gokhale, A., Neema, S., Sprinkle, J.: Domain-Specific Modeling. In Fishwick, P. A. (ed.): Handbook of Dynamic System Modeling, CRC Press, Boca Raton, Florida. (2007)
25. Hahn, C.: A Domain Specific Modeling Language for Multiagent Systems. In Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Estoril, Portugal, 233-240. (2008)
26. Harel, D., Rumpe, B.: Meaningful Modeling: What's the Semantics of "Semantics"?, Computer, Vol. 37, No. 10, 64-72. (2004)
27. Henriques, P. R., Pereira, M. J. V., Mernik, M., Lenič, M., Gray, J., Wu, H.: Automatic Generation of Language-Based Tools using the LISA System. IEE Proceedings Software, Vol. 152, No. 2, 54-69. (2005)
28. Jackson, D.: Alloy: A Lightweight Object Modelling Notation. ACM Transactions on Software Engineering and Methodology, Vol. 11, No. 2, 256-290. (2002)
29. Kelly, S., Tolvanen, J-P.: Domain-Specific Modeling: Enabling Full-Code Generation, John Wiley and Sons. (2008)
30. Knapp. A.: A Formal Semantics for UML Interactions. In: France, R. B., Rumpe, B. (eds.): The Unified Modeling Language. Modeling Languages, Concepts, and Tools, Lecture Notes in Computer Science, Vol. 1723. Springer-Verlag, New York, 116-130. (1999)
31. Kosar, T., Oliveira, N., Mernik, M., Varanda Pereira, M. J., Črepinšek, M., da Cruz, D., Henriques, P. R.: Comparing General-Purpose and Domain-Specific Languages: An Empirical Study. Computer Science and Information Systems, Vol. 7, No. 2, 247-264. (2010)
32. de Lara, J., Vangheluwe, H., Alfonseca, M.: Metamodelling and Graph Grammars for Multi-Paradigm Modelling in AToM 3. Software and Systems Modeling, Vol. 3, No. 3, 194-209. (2004)
33. Lédeczi, Á., Bakay, Á., Maróti, M., Völgyesi, P., Nordstrom, G., Sprinkle, J., Karsai, G.: Composing Domain-Specific Design Environments, Computer, Vol. 34, No. 11, 44-51. (2001)
34. Lilius, J. and Porres Paltor, I. Formalising UML State Machines for Model Checking. In: France, R. B., Rumpe, B. (eds.): The Unified Modeling Language. Modeling Languages, Concepts, and Tools, Lecture Notes in Computer Science, Vol. 1723. Springer-Verlag, New York, 430-445. (1999)
35. Lin, Y., Zhang, J., Gray, J.: A Testing Framework for Model Transformations. In Beydeda, S., Book, M., Gruhn, V. (eds.), Model-driven Software Development, Springer, Heidelberg, Germany, 219-236. (2005)
36. Mathworks: Matlab Simulink/Stateflow Tools, http://www.mathworks.com (2010)
37. Mernik, M., Heering, J., Sloane, A. M.: When and How to Develop Domain-Specific Languages. ACM Computing Surveys, Vol. 37, No. 4, 316-344. (2005)
38. Microsoft Corporation: The Abstract State Machine Language, http://research.microsoft.com/en-us/projects/asml. (2010)
39. Microsoft Corporation: Windows Workflow Foundation, http://msdn.microsoft.com/en-us/vbasic/cc506054 (2010)
40. Muller, P.-A., Fleurey, F., Jézéquel, J.-M.: Weaving Executability into Object-Oriented Meta-Languages. In: Briand, L. C., Williams, C. (eds.): Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, Vol. 3713. Springer-Verlag, Heidelberg, Germany, 264-278. (2005)
41. Object Management Group. Unified Modeling Language: Superstructure, Version 2, http://www.omg.org/spec/UML/2.3. (2010)
42. Porubän, J., Forgáč, M., Sabo, M., Běhálek, M.: Annotation Based Parser Generator. Computer Science and Information Systems, Vol. 7, No. 2, 291-307. (2010)
43. Romero, J.R., Rivera, J.E., Durán, F., Vallecillo, A.: Formal and Tool Support for Model Driven Engineering with Maude, Journal of Object Technology, Vol. 6, No. 9, 187-207. (2007)
44. Sadilek, D. A., Wachsmuth, G.: Using Grammarware Languages to Define Operational Semantics of Modelled Languages. In: Oriol, M., Meyer, B. (eds.): Objects, Components, Models and Patterns, Lecture Notes in Business Information Processing, Vol. 33. Springer-Verlag, Heidelberg, Germany, 348-356. (2009)
45. Scheidgen, M., Fischer, J.: Human Comprehensible and Machine Processable Specifications of Operational Semantics. In: Akehurst, D. H., Vogel, R., Paige, R. F. (eds.): Model Driven Architecture-Foundations and Applications, Lecture Notes in Computer Science, Vol. 4530. Springer-Verlag, Heidelberg, Germany, 157-171. (2007)
46. Schmidt, D. C.: Guest Editor's Introduction: Model-Driven Engineering. Computer, Vol. 39, No. 2, 25-31. (2006)
47. Shah, S., Anastasakis, K., Bordbar, B.: From UML to Alloy and Back Again. In Proceedings of MoDeVVa 09, the 6th International Workshop on Model-Driven Engineering, Verification and Validation, ACM, Denver, Colorado, USA, 1-10. (2009)
48. Smith, G.: The Object-Z Specification Language, Kluwer Academic Publishers. (2000)
49. Soden, M., Eichler, H.: Towards a Model Execution Framework for Eclipse. In Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture, ACM, Enschede, Netherlands, 1-7. (2009)
50. Sprinkle, J., Mernik, M., Tolvanen, J.-P., Spinellis, D.: Guest Editors' Introduction: What Kinds of Nails Need a Domain-Specific Hammer? IEEE Software, Vol. 26, No. 4, 15-18. (2009)
51. Sunyé, G., Pennaneach, F., Ho, W.-M., Le Guennec, A. and Jézéquel, J.-M.: Using UML Action Semantics for Executable Modeling and Beyond. In: Dittrich, K. R., Geppert, A., Norrie, M. C. (eds.): Advanced Information Systems Engineering, Lecture Notes in Computer Science, Vol. 2068. Springer-Verlag, Heidelberg, Germany, 433-447. (2001)
52. Sztipanovits, J., Karsai, G.: Model-Integrated Computing. Computer, Vol. 30, No. 4, 110-111. (1997)
53. Varró, D.: A Formal Semantics of UML Statecharts by Model Transition Systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.): Graph Transformation, Lecture Notes in Computer Science, Vol. 2505. Springer-Verlag, Heidelberg, Germany, 378-392. (2002)
54. Wang, Y., Wu, Y., Allen, A., Espinoza, B., Clarke, P.J., Deng, Y.: Towards the Operational Semantics of User-Centric Communication Models. In Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, vol.1, pp.254-262. (2009)
55. Wu, H., Gray, J., Mernik, M.: Grammar-Driven Generation of Domain-Specific Language Debuggers. Software: Practice and Experience, Vol. 38, No. 10, 1073-1103. (2008)
56. Yu, L., France, R. B., Ray, I.: Scenario-Based Static Analysis of UML Class Models. Model-Driven Engineering Languages and Systems. Lecture Notes in Computer Science, Vol. 5301. Springer-Verlag, New York, 234-248. (2008)