Abadi, M., Cardelli, L.: A Theory of Objects. Springer, New York (1998)
MATH
Google Scholar
Alur, R.: Principles of Cyber-Physical Systems. MIT Press, Cambridge (2015)
Google Scholar
Amrani, M., Blouin, D., Heinrich, R., Rensink, A., Vangheluwe, H., Wortmann, A.: Towards a formal specification of multi-paradigm modelling. In: International Conference on Model Driven Engineering Languages and Systems Companion, pp. 419–424 (2019)
Åström, K.J., Murray, R.M.: Feedback Systems: An Introduction for Scientists and Engineers. Princeton University Press, Princeton (2012)
MATH
Google Scholar
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T.A., Larsen, K.G.: Contracts for system design. Foundations and trends in electronic design automation. 12(2–3) (2018). https://www.amazon.co.uk/Contracts-System-Foundations-Electronic-Automation/dp/1680834029
Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing Ltd, Birmingham (2016)
Google Scholar
Brockmans, S., Ehrig, M., Koschmider, A., Oberweis, A., Studer, R.: Semantic alignment of business processes. In: Proceedings of the Eighth International Conference on Enterprise Information Systems: Databases and Information Systems Integration, pp. 191–196 (2006)
Broenink, J.F.: Bond graphs: A unifying framework for modelling of physical systems. In: Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, pp. 15–44. Springer (2020)
Burden, R.L., Faires, J.D.: Numerical Analysis. Cengage Learning (2015)
Butting, A., Eikermann, R., Kautz, O., Rumpe, B., Wortmann, A.: Modeling language variability with reusable language components. In: International Conference on Systems and Software Product Line (SPLC’18). ACM (2018)
Cambridge University Press: Cambridge Dictionary (2020). https://dictionary.cambridge.org/dictionary/english/paradigm. Accessed 25 Mar 2020
Carreira, P., Amaral, V., Vangheluwe, H.: Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems. Springer, New York (2020)
Book
Google Scholar
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude. How to Specify, Program and Verify Systems in Rewriting Logic. Springer, A High-Performance Logical Framework (2007)
Combemale, B., Thirioux, X., Baudry, B.: Formally defining and iterating infinite models. In: International Conference on Model Driven Engineering Languages and Systems, pp. 119–133 (2012)
Cooper, D.: Standard Pascal User Reference Manual. W. W. Norton, New York (1983)
Google Scholar
Corradini, A., Dotti, F.L., Foss, L., Ribeiro, L.: Translating java code to graph transformation systems. In: International Conference on Graph Transformation, pp. 383–398 (2004)
De Lara, J., Guerra, E.: A posteriori typing for model-driven engineering: concepts, analysis, and applications. ACM Trans. Softw. Eng. Methodol. 25(4), 1–31 (2017)
Article
Google Scholar
Decker, G., Weske, M.: Interaction-centric modeling of process choreographies. Inf. Syst. 36(2), 292–312 (2011). https://doi.org/10.1016/j.is.2010.06.005
Article
Google Scholar
Degueule, T., Combemale, B., Blouin, A., Barais, O., Jézéquel, J.M.: Melange: A meta-language for modular and reusable development of DSLs. Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, pp. 25–36 (2015b)
Denckla, B., Mosterman, P.J.: Formalizing causal block diagrams for modeling a class of hybrid dynamic systems. In: Proceedings of the 44th IEEE Conference on Decision and Control, pp. 4193–4198, (2005). https://doi.org/10.1109/CDC.2005.1582820
Dumas, M., Rosa, M.L., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management, 2nd edn. Springer, New York (2018)
Book
Google Scholar
El-Fakih, K., Gromov, M., Shabaldina, N.V., Yevtushenko, N.: Distinguishing experiments for timed nondeterministic finite state machines. Acta Cybern. 21(2), 205–222 (2013)
MathSciNet
Article
Google Scholar
Erdweg, S., Giarrusso, P.G., Rendel, T.: Language composition untangled. In: Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, pp. 1–8 (2012)
Erdweg, S., Van Der Storm, T., Völter, M., Tratt, L., Bosman, R., Cook, W.R., Gerritsen, A., Hulshout, A., Kelly, S., Loh, A., et al.: Evaluating and comparing language workbenches: existing results and benchmarks for the future. Comput. Lang. Syst. Struct. 44, 24–47 (2015)
Google Scholar
Fritzsche, M., Gilani, W., Lämmel, R., Jouault, F.: Model transformation chains in model-driven performance engineering: experiences and future research needs. In: Modellierung, pp. 213–220 (2011)
Gomes, C., et al.: Co-simulation: a survey. ACM Comput. Surv. 51(3), 49 (2018)
Article
Google Scholar
Gomes, C., Denil, J., Vangheluwe, H.: Causal-block diagrams: a family of languages for causal modelling of cyber-physical systems. In: Carreira, P., Amaral, V., Vangheluwe, H. (eds.) Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, pp. 97–125. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-43946-0_4
Gosling, J., Joy, B., Steele, G.L., Bracha, G., Buckley, A.: The Java Language Specification. Java SE, 8th edn. Addison-Wesley Professional, Redwood City (2014)
Grainger, J.J., Stevenson, W.D., Chang, G.W.: Power Systems Analysis. Mc Graw Hill, New York (2015)
Google Scholar
Guy, C., Combemale, B., Derrien, S., Steel, J.R., Jézéquel, J.M.: On model subtyping. In: European Conference on Modelling Foundations and Applications, pp. 400–415. Springer (2012)
Hailpern, B.: Guest editor’s introduction multiparadigm languages and environments. IEEE Softw. 3(01), 6–9 (1986). https://doi.org/10.1109/MS.1986.232426
Article
Google Scholar
Harel, D., Naamad, A.: The STATEMATE Semantics of Statecharts. ACM Trans. Softw. Eng. Methodol. 5, 293–333 (1996)
Article
Google Scholar
Heidenreich, F., Johannes, J., Karol, S., Seifert, M., Thiele, M., Wende, C., Wilke, C.: Integrating OCL and textual modelling languages. In: International Conference on Model Driven Engineering Languages and Systems, pp 349–363. Springer (2010)
Heinrich, R., Strittmatter, M., Reussner, R.H.: A layered reference architecture for metamodels to tailor quality modeling and analysis. IEEE Trans. Softw. Eng. (2019). https://doi.org/10.1109/TSE.2019.2903797
Article
Google Scholar
Hölldobler, K., Rumpe, B.: MontiCore 5 Language Workbench Edition 2017. Aachener Informatik-Berichte, Software Engineering, Band, vol. 32. Shaker Verlag (2017)
Hölldobler, K., Rumpe, B., Wortmann, A.: software language engineering in the large: towards composing and deriving languages. Comput. Lang. Syst. Struct. 54, 386–405 (2018)
Google Scholar
IEEE Ieee standard for modeling and simulation (m amp;s) high level architecture (hla)—framework and rules. IEEE Std 1516-2010 (Revision of IEEE Std 1516-2000) pp 1–38 (2010). https://doi.org/10.1109/IEEESTD.2010.5553440
IEEE: IEEE Standard for distributed interactive simulation—communication services and profiles. IEEE Std 12782–1995, 1–20 (1996). https://doi.org/10.1109/IEEESTD.1996.80824
Jinzhi, L.: A framework for cyber-physical system tool-chain development: A service-oriented and model-based systems engineering approach. PhD thesis, KTH Royal Institute of Technology (2019)
Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I., Valduriez, P.: ATL: a QVT-like transformation language. In: Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, pp. 719–720. ACM (2006)
Kolovos, D.S., Paige, R.F., Polack, F.A.: The epsilon transformation language. In: International Conference on Theory and Practice of Model Transformations, pp. 46–60. Springer (2008)
Kuhn, T.: The Structure of Scientific Revolutions. Chicago Press, Chicago (2012)
Book
Google Scholar
Kühne, T., Mezei, G., Syriani, E., Vangheluwe, H., Wimmer, M.: Explicit transformation modeling. In: MODELS Workshops, pp. 240–255 (2009)
Lautenbacher, F., Bauer, B.: A survey on workflow annotation and composition approaches. In: Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management (2007)
Leduc, M., Degueule, T., Combemale, B.: Modular Language Composition for the Masses. In: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, pp 47–59. ACM (2018)
Lee, E.A., Messerschmitt, D.G.: Static scheduling of synchronous data flow programs for digital signal processing. IEEE Trans. Comput. 36(1), 24–35 (1987)
Article
Google Scholar
Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems: A Cyber-Physical Systems Approach. MIT Press, Cambridge (2016)
MATH
Google Scholar
Liu, S.H.: Design Space Exploration for Distributed Real-Time: A Software Product Line Engineering Approach for Design and Analysis of Component-Based Distributed Real-Time and Embedded Systems. VDM Verlag (2010)
Lúcio, L., Amrani, M., Dingel, J., Lambers, L., Salay, R., Selim, G., Syriani, E., Wimmer, M.: Model transformation intents and their properties. SoSyM 15(3), 647–684 (2014)
Google Scholar
Manifesto, A.: Manifesto for agile software development. (2001) See https://agilemanifesto.org/. Accessed 2 Aug 2020
Maraninchi, F., Rémond, Y.: Mode Automata. A New Domain-Specific Construct For The Development of Safe Critical Systems. Science of Computer Programming (2003)
Merkow, M.: Secure, Resilient, and Agile Software Development. Auerbach Publications, New York (2019)
Book
Google Scholar
Merriam-Webster : Merriam-Webster Online Dictionary. (2020). https://www.merriam-webster.com/dictionary/paradigm. Accessed: 25 Mar 2020
Messerschmitt, D.G.: A tool for structured functional simulation. IEEE J. Sel. Areas Commun. 2(1), 137–147 (1984)
Article
Google Scholar
Meyers, B., Vangheluwe, H., Denil, J., Salay, R.: A framework for temporal verification support in domain-specific modelling. IEEE Trans. Softw. Eng. (TSE) 93(12), 1045–1061 (2017)
Google Scholar
Mosterman, P.J., Sztipanovits, J., Engell, S.: Computer-automated multiparadigm modeling in control systems technology. IEEE Trans. Control Syst. Technol. 12(2), 223–234 (2012)
Article
Google Scholar
Oxford University Press (2020) Oxford English Dictionary. https://www.oed.com/view/Entry/137329. Accessed: 25 Mar 2020
Pahl, G., Beitz, W., Feldhusen, J., Grote, K.H.: Engineering Design. A Systematic Approach. Springer, New York (2007)
Book
Google Scholar
Przybyłek, A., Morales-Trujillo, M.E. (eds.): Advances in Agile and User-Centred Software Engineering. Lecture Notes in Business Information Processing, vol. 376. Springer, New York (2019)
Rumpe, B., Wortmann, A.: Abstraction and refinement in hierarchically decomposable and underspecified CPS-architectures. In: Lohstroh, M., Derler, P., Sirjani, M. (eds.) Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, LNCS 10760, pp. 383–406. Springer, New York (2018)
Stärk, R.F., Schmid, J., Börger, E.: Java and the Java Virtual Machine: Definition. Verification Validation. Springer, New York (2014)
MATH
Google Scholar
Steel, J., Jézéquel, J.M.: On Model Typing. Software And Systems Modeling (2007)
Sun, W., Combemale, B., Derrien, S., France, R.B.: Using Model Types to Support Contract-Aware Model Substitutability. In: European Conference on Modelling Foundations and Applications, pp. 118–133 (2013)
Syriani, E., Vangheluwe, H., LaShomb, B.: T-core: a framework for custom-built model transformation engines. Softw. Syst. Model. 14(3), 1215–1243 (2015)
Article
Google Scholar
Taha, W., Taha, A.E.M., Thunberg, J.: Cyber-Physical Systems: A Model-Based Approach. Springer, New York (2020)
Google Scholar
Vacchi, E., Cazzola, W.: Neverlang: a framework for feature-oriented language development. Comput. Lang. Syst. Struct. 43, 1–40 (2015)
Google Scholar
van der Aalst, W.M.P., Mooij, A.J., Stahl, C., Wolf, K.: Service Interaction: Patterns, Formalization, and Analysis, pp. 42–88. Springer, Berlin (2009). https://doi.org/10.1007/978-3-642-01918-0_2
Van Roy, P.: Concepts, Techniques, and Models of Computer Programming, Chap Programming Paradigms for Dummies: What Every Programmer Should Know, pp. 9–47. MIT Press, Cambridge (2012)
Vangheluwe, H., Vansteenkiste, G., Kerckhoffs, E.: Simulation for the Future: Progress of the ESPRIT Basic Research working group 8467. In: European Simulation Symposium (ESS), SCS (1996)
Vangheluwe, H., Vansteenkiste, G.: A multi-paradigm modeling and simulation methodology: Formalisms and languages. In: European Simulation Symposium (ESS), SCS, pp. 168–172 (1996)
Wachsmuth, G.H., Konat, G.D.P., Visser, E.: language design with the Spoofax language Workbench. IEEE Softw. 31(5), 35–43 (2014)
Article
Google Scholar
Wainer, G.A.: Discrete-Event Modeling and Simulation: A Practitioner’s Approach. CRC Press, Boca Raton (2009)
Google Scholar
Wainer, G.A., Mosterman, P.J. (eds.): Discrete-Event Modeling and Simulation: Theory and Applications. CRC Press, Boca Raton (2010)
Google Scholar
Watson, I., Gürd, J.G.: A practical data flow computer. IEEE Comput. 15, 51–57 (1982)
Article
Google Scholar
Wegner, P.: Dimensions of object-based language design. SIGPLAN Not. 22(12), 168–182 (1987)
Article
Google Scholar
Wende, C.: Language Family Engineering—with Features and Role-Based Composition. PhD thesis, Technische Universitaet Dresden (2012)
Wimmer, M., Kramler, G.: Bridging Grammarware and Modelware. In: Workshop in Software Model Engineering, pp. 159–168 (2005)
Zave, P.: A compositional approach to multiparadigm programming. IEEE Softw. 6(05), 15–18 (1989). https://doi.org/10.1109/52.795096
Article
Google Scholar
Zeigler, B.P., Muzy, A., Kofman, E.: Theory of Modeling and Simulation: Discrete Event and Iterative System Computational Foundations. Academic Press, London (2018)
MATH
Google Scholar
Zhang, F., Yeddanapudi, M., Mosterman, P.J.: Zero-crossing location and detection algorithms for hybrid system simulation. Int. Fed. Autom. Control 41(2), 7967–7972 (2008)
Google Scholar