A Multi-Paradigm Modelling approach to live modelling
Tóm tắt
Từ khóa
Tài liệu tham khảo
Armstrong, J.: The development of Erlang. In: Proceedings of the Second ACM SIGPLAN International Conference on Functional Programming (ICFP’97), pp. 196–203. ACM, New York (1997). https://doi.org/10.1145/258948.258967
Bousse, E., Corley, J., Combemale, B., Gray, J., Baudry, B.: Supporting efficient and advanced omniscient debugging for xDSMLs. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering (SLE 2015), pp. 137–148. ACM, New York (2015)
Bousse, E., Mayerhofer, T., Combemale, B., Baudry, B.: A generative approach to define rich domain-specific trace metamodels. In: 11th European Conference on Modelling Foundations and Applications (ECMFA). L’Aquila, Italy (2015)
Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh, M.: A manifesto for model merging. In: Proceedings of the 2006 International Workshop on Global Integrated Model Management (GaMMa’06), pp. 5–12. ACM, New York (2006). https://doi.org/10.1145/1138304.1138307
Burckhardt, S., Fähndrich, M., Kato, J.: It’s alive! continuous feedback in UI programming. In: Proceedings of PLDI’13, pp. 95–104 (2013)
Burnett, M.M., Atwood, J.W., Jr., Welch, Z.T.: Implementing level 4 liveness in declarative visual programming languages. In: Proceedings of Visual Languages ’98, pp. 126–133 (1998)
Chiş, A., Denker, M., Gîrba, T., Nierstrasz, O.: Practical domain-specific debuggers using the moldable debugger framework. Comput. Lang. Syst. Struct. 44(A), 89–113 (2015)
Czaplicki, E.: Elm: Concurrent FRP for Functional GUIs. https://www.seas.harvard.edu/sites/default/files/files/archived/Czaplicki.pdf (2012)
Déva, G., Kovács, G.F., Ancsin, A.: Textual, executable, translatable UML. In: Proceedings of the Workshop on OCL and Textual Modeling Applications and Case Studies, pp. 3–12 (2014)
Edwards, J.: Subtext: Uncovering the simplicity of programming. In: Proceedings of OOPSLA’05, pp. 505–518 (2005)
Fabry, R.S.: How to design a system in which modules can be changed on the fly. In: Proceedings of ICSE’76, pp. 470–476 (1976)
Favre, J.M.: Languages evolve too! changing the software time scale. In: Proceedings of the Eighth International Workshop on Principles of Software Evolution, IWPSE’05, pp. 33–44. IEEE Computer Society, Washington, DC, USA (2005). https://doi.org/10.1109/IWPSE.2005.22
Goldberg, A., Robson, D.: Smalltalk-80: The Language and Its Implementation. Addison-Wesley Longman, Boston (1983)
Grönniger, H., Krahn, H., Rumpe, B., Schindler, M., Völkel, S.: Text-based modeling. In: Proceedings of the 4th International Workshop on Software Language Engineering (2007)
Hancock, C.M.: Real-Time Programming and the Big Ideas of Computational Literacy. Ph.D. thesis, Massachusetts Institute of Technology (2003)
Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley Longman, Boston (2006)
Kelly, S., Tolvanen, J.P.: Domain-Specific Modeling: Enabling Full Code Generation. Wiley, New York (2008)
Kuhn, A., Murphy, G.C., Thompson, C.A.: An exploratory study of forces and frictions affecting large-scale model-driven development. In: Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS’12, pp. 352–367. Springer, Berlin (2012). https://doi.org/10.1007/978-3-642-33666-9_23
Lieberman, H., Fry, C.: Bridging the gulf between code and behavior in programming. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp. 480–486 (1995)
Lindeman, R.T., Kats, L.C.L., Visser, E.: Declaratively defining domain-specific language debuggers. In: Proceedings of the 10th International Conference on Generative Programming and Component Engineering, pp. 127–136 (2011)
Lucio, L., Mustafiz, S., Denil, J., Vangheluwe, H., Jukss, M.: FTG+PM: An integrated framework for investigating model transformation chains. In: SDL 2013: Model-Driven Dependability Engineering, Lecture Notes in Computer Science, vol. 7916, pp. 182–202. Springer, Berlin (2013). https://doi.org/10.1007/978-3-642-38911-5_11
Mannadiar, R., Vangheluwe, H.: Debugging in domain-specific modelling. In: Malloy, B., Staab, S., Brand, M. (Eds.) Software Language Engineering, Lecture Notes in Computer Science, vol. 6563, pp. 276–285. Springer, Berlin(2011). https://doi.org/10.1007/978-3-642-19440-5_17
McDirmid, S.: Living it up with a live programming language. In: Proceedings of OOPSLA’07, pp. 623–638 (2007)
Mellor, S.J., Balcer, M.J.: Executable UML: A Foundation for Model-Driven Architecture. Addison-Wesley, Reading (2002)
Meyers, B., Vangheluwe, H.: A framework for evolution of modelling languages. Sci. Comput. Program. 76(12), 1223–1246 (2011). https://doi.org/10.1016/j.scico.2011.01.002
Morin, B., Barais, O., Jezequel, J.M., Fleurey, F., Solberg, A.: Models@ run.time to support dynamic adaptation. Computer 42(10), 44–51 (2009). https://doi.org/10.1109/MC.2009.327
Mosterman, P.J., Vangheluwe, H.: Computer automated multi-paradigm modeling: an introduction. Simulation 80(9), 433–450 (2004). https://doi.org/10.1177/0037549704050532
Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989). https://doi.org/10.1109/5.24143
National Science Foundation: Cyber-Physical Systems (CPS). https://www.nsf.gov/pubs/2016/nsf16549/nsf16549.pdf (2016). Document number: nsf16549
Oakes, B.: Optimizing Simulink Models. Tech. Rep’. CS-TR-2014.5, McGill University (2014)
Pavletic, D., Voelter, M., Raza, S.A., Kolb, B., Kehrer, T.: Extensible debugger framework for extensible languages. Lect. Notes Comput. Sci. 9111, 33–49 (2015)
Petre, M.: Why looking isn’t always seeing: readership skills and graphical programming. Commun. ACM 38(6), 33–44 (1995). https://doi.org/10.1145/203241.203251
Rohr, M., Boskovic, M., Giesecke, S., Hasselbring, W.: Model-driven development of self-managing software systems. In: Proceedings of the Models at run.time Workshop Co-located with the ACM/IEEE 9th International Conference Models 2006 (2006)
Sandewall, E.: Programming in an interactive environment: the “lisp” experience. ACM Comput. Surv. 10(1), 35–71 (1978). https://doi.org/10.1145/356715.356719
Sendall, S., Kozaczynski, W.: Model transformation: the heart and soul of model-driven software development. IEEE Softw. 20(5), 42–45 (2003). https://doi.org/10.1109/MS.2003.1231150
Sorensen, A., Gardner, H.: Programming with time: cyber-physical programming with Impromptu. In: Proceedings of Onward! 2010, pp. 822–834 (2010)
Stewart, D., Chakravarty, M.M.: Dynamic applications from the ground up. In: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, pp. 27–38 (2005)
Tanimoto, S.L.: VIVA: a visual language for image processing. J. Vis. Lang. Comput. 1, 127–139 (1990)
Ungar, D., Smith, R.B.: Self: the power of simplicity. SIGPLAN Not. 22(12), 227–242 (1987). https://doi.org/10.1145/38807.38828
van Rozen, R., van der Storm, T.: Towards live domain-specific languages: from text differencing to adapting models at run time. Softw. Syst. Model. 1–18 (2017)
van der Storm, T.: Semantic deltas for live DSL environments. In: Proceedings of the 1st International Workshop on Live Programming, LIVE’13, pp. 35–38. IEEE Press, Piscataway, NJ, USA (2013)
Van Mierlo, S.: Explicitly modelling model debugging environments. In: Proceedings of the ACM Student Research Competition at MODELS 2015 Co-located with the ACM/IEEE 18th International Conference MODELS 2015, pp. 24–29 (2015)
Van Mierlo, S., Van Tendeloo, Y., Vangheluwe, H.: Debugging Parallel DEVS. Simulation 93(4), 285–306 (2017). https://doi.org/10.1177/0037549716658360
Van Tendeloo, Y.: Foundations of a multi-paradigm modelling tool. In: Proceedings of the ACM Student Research Competition at MODELS 2015 Co-located with the ACM/IEEE 18th International Conference MODELS 2015 (2015)
Van Tendeloo, Y., Vangheluwe, H.: The Modelverse: a tool for multi-paradigm modelling and simulation. In: Proceedings of the 2017 Winter Simulation Conference, WSC 2017, pp. 944 – 955. IEEE (2017)
Vangheluwe, H., de Lara, J., Mosterman, P.J.: An introduction to Multi-paradigm Modelling and Simulation. In: Proceedings of the AIS’2002 Conference (AI, Simulation and Planning in High Autonomy Systems), pp. 9 – 20 (2002)
Vangheluwe, H., Riegelhaupt, D., Mustafiz, S., Denil, J., Van Mierlo, S.: Explicit modelling of a CBD experimentation environment. In: Proceedings of the 2014 Symposium on Theory of Modeling and Simulation—DEVS, TMS/DEVS’14, Part of the Spring Simulation Multi-Conference, pp. 379–386. Society for Computer Simulation International (2014)
Wu, H., Gray, J., Mernik, M.: Grammar-driven generation of domain-specific language debuggers. Softw. Pract. Exp. 38(10), 1073–1103 (2008)
Zeller, A.: Why Programs Fail: A Guide to Systematic Debugging. Morgan Kaufmann, San Francisco (2005)