{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,12]],"date-time":"2026-07-12T11:15:19Z","timestamp":1783854919550,"version":"3.55.0"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032124838","type":"print"},{"value":"9783032124845","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-12484-5_11","type":"book-chapter","created":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T05:48:05Z","timestamp":1770270485000},"page":"193-215","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards Dynamic Classification in\u00a0Domain Modeling with\u00a0Jjodel"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2930-6367","authenticated-orcid":false,"given":"Maurice H.","family":"ter Beek","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1154-1382","authenticated-orcid":false,"given":"Antonio","family":"Bucchiarone","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5231-3952","authenticated-orcid":false,"given":"Alfonso","family":"Pierantonio","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3703-8593","authenticated-orcid":false,"given":"Bran","family":"Selic","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,2,6]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","unstructured":"acatech\u00a0\u2013 National Academy of Science and Engineering (ed.): Cyber-Physical Systems: Driving force for innovation in mobility, health, energy and production. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-29090-9","DOI":"10.1007\/978-3-642-29090-9"},{"issue":"2","key":"11_CR2","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/J.SCICO.2010.07.002","volume":"76","author":"MH ter Beek","year":"2011","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state\/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2), 119\u2013135 (2011). https:\/\/doi.org\/10.1016\/J.SCICO.2010.07.002","journal-title":"Sci. Comput. Program."},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-030-22348-9_9","volume-title":"Models, Mindsets, Meta: The What, the How, and the Why Not?","author":"T Margaria","year":"2019","unstructured":"Margaria, T.: Making sense of complex applications: constructive design, features, and questions. In: Margaria, T., Graf, S., Larsen, K.G. (eds.) Models, Mindsets, Meta: The What, the How, and the Why Not? LNCS, vol. 11200, pp. 129\u2013148. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-22348-9_9"},{"key":"11_CR4","doi-asserted-by":"publisher","unstructured":"Bencomo, N., et al.: Abstraction Engineering. arXiv (2024). https:\/\/doi.org\/10.48550\/ARXIV.2408.14074","DOI":"10.48550\/ARXIV.2408.14074"},{"key":"11_CR5","doi-asserted-by":"publisher","unstructured":"Bucchiarone, A., Di\u00a0Rocco, J., Di\u00a0Vincenzo, D., Pierantonio, A.: From OCL to JSX: declarative constraint modeling in modern SaaS tools. arXiv (2025). https:\/\/doi.org\/10.48550\/ARXIV.2509.17629","DOI":"10.48550\/ARXIV.2509.17629"},{"key":"11_CR6","doi-asserted-by":"publisher","unstructured":"Bucchiarone, A., Di\u00a0Rocco, J., Di\u00a0Vincenzo, D., Pierantonio, A.: Modeling in Jjodel: towards bridging complexity and usability in model-driven engineering. Softw. Syst. Model. 1\u201325 (2025). https:\/\/doi.org\/10.1007\/s10270-025-01324-y","DOI":"10.1007\/s10270-025-01324-y"},{"key":"11_CR7","doi-asserted-by":"publisher","unstructured":"Cardozo, N., Mens, K.: Programming language implementations for context-oriented self-adaptive systems. Inf. Softw. Technol. 143(C), 106789 (2022). https:\/\/doi.org\/10.1016\/J.INFSOF.2021.106789","DOI":"10.1016\/J.INFSOF.2021.106789"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-540-24851-4_21","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"R DeLine","year":"2004","unstructured":"DeLine, R., F\u00e4hndrich, M.: Typestates for objects. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol. 3086, pp. 465\u2013490. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24851-4_21"},{"key":"11_CR9","doi-asserted-by":"publisher","unstructured":"Drossopoulou, S., Damiani, F., Dezani-Ciancaglini, M., Giannini, P.: More dynamic object reclassification: Fickle$$_{||}$$. ACM Trans. Program. Lang. Syst. 24(2), 153\u2013191 (2002). https:\/\/doi.org\/10.1145\/514952.514955","DOI":"10.1145\/514952.514955"},{"key":"11_CR10","unstructured":"Evans, E.: Domain-Driven Design: Tackling Complexity in the Heart of Software. Addison-Wesley (2004)"},{"key":"11_CR11","doi-asserted-by":"publisher","unstructured":"France, R.B., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: Proceedings of the ISCE Workshop on the Future of Software Engineering (FOSE 2007), pp. 37\u201354. IEEE (2007). https:\/\/doi.org\/10.1109\/FOSE.2007.14","DOI":"10.1109\/FOSE.2007.14"},{"key":"11_CR12","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley (1995)"},{"key":"11_CR13","unstructured":"Goldberg, A., Robson, D.: Smalltalk-80: The Language and Its Implementation. Addison-Wesley (1983)"},{"issue":"3","key":"11_CR14","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987). https:\/\/doi.org\/10.1016\/0167-6423(87)90035-9","journal-title":"Sci. Comput. Program."},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-23220-7_1","volume-title":"Recent Trends in Algebraic Development Techniques","author":"R Hennicker","year":"2019","unstructured":"Hennicker, R.: Role-based development of dynamically evolving esembles. In: Fiadeiro, J.L., et al. (eds.) WADT 2018. LNCS, vol. 11563, pp. 3\u201324. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-23220-7_1"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-642-54624-2_18","volume-title":"Specification, Algebra, and Software","author":"R Hennicker","year":"2014","unstructured":"Hennicker, R., Klarl, A.: Foundations for ensemble modeling \u2013 the Helena approach. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 359\u2013381. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54624-2_18"},{"key":"11_CR17","doi-asserted-by":"publisher","unstructured":"International Standard ISO\/IEC\/IEEE 42010: Systems and software engineering\u2014Architecture description (2011). https:\/\/doi.org\/10.1109\/IEEESTD.2011.6129467","DOI":"10.1109\/IEEESTD.2011.6129467"},{"key":"11_CR18","unstructured":"Jackson, M.: Object-orientation: classification considered harmful. In: Proceedings of NordDATA 1991, pp. 107\u2013121 (1991). https:\/\/www.researchgate.net\/publication\/246987164_Object-Orientation_Classification_Considered_Harmful"},{"key":"11_CR19","doi-asserted-by":"publisher","unstructured":"Jureta, I.J., Borgida, A., Ernst, N.A., Mylopoulos, J.: The requirements problem for adaptive systems. ACM Trans. Manage. Inf. Syst. 5(3), 17:1\u201317:33 (2014). https:\/\/doi.org\/10.1145\/2629376","DOI":"10.1145\/2629376"},{"key":"11_CR20","doi-asserted-by":"publisher","unstructured":"Kritzinger, W., Karner, M., Traar, G., Henjes, J., Sihn, W.: Digital twin in manufacturing: a categorical literature review and classification. IFAC-PapersOnLine 51(11), 1016\u20131022 (2018). https:\/\/doi.org\/10.1016\/J.IFACOL.2018.08.474, Proceedings of the 16th IFAC Symposium on Information Control Problems in Manufacturing (INCOM\u201918)","DOI":"10.1016\/J.IFACOL.2018.08.474"},{"key":"11_CR21","doi-asserted-by":"publisher","unstructured":"Lara, J., Guerra, E., S\u00e1nchez\u00a0Cuadrado, J.: When and how to use multilevel modelling. ACM Trans. Softw. Eng. Methodol. 24, 1\u201346 (2014). https:\/\/doi.org\/10.1145\/2685615","DOI":"10.1145\/2685615"},{"issue":"3","key":"11_CR22","doi-asserted-by":"publisher","first-page":"4837","DOI":"10.3390\/s150304837","volume":"15","author":"EA Lee","year":"2015","unstructured":"Lee, E.A.: The past, present and future of cyber-physical systems: a focus on models. Sensors 15(3), 4837\u20134869 (2015). https:\/\/doi.org\/10.3390\/s150304837","journal-title":"Sensors"},{"key":"11_CR23","doi-asserted-by":"publisher","unstructured":"Malayeri, D., Aldrich, J.: CZ: multiple inheritance without diamonds. In: Arora, S., Leavens, G.T. (eds.) Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2009), pp. 21\u201340. ACM (2009). https:\/\/doi.org\/10.1145\/1640089.1640092","DOI":"10.1145\/1640089.1640092"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Object Management Group: OMG Unified Modeling Language (OMG UML) (2017). https:\/\/www.omg.org\/spec\/UML\/2.5.1\/PDF","DOI":"10.1016\/B978-1-78548-171-0.50001-3"},{"key":"11_CR25","unstructured":"Object Management Group: Semantics of a Foundational Subset for Executable UML Models (fUML) (2021). https:\/\/www.omg.org\/spec\/FUML\/1.5\/PDF"},{"key":"11_CR26","unstructured":"Object Management Group: OMG Systems Modeling Language (SysML). Part\u00a01: Language Specification (2025). https:\/\/www.omg.org\/spec\/SysML\/2.0\/Language\/PDF"},{"key":"11_CR27","unstructured":"Object Management Group: OMG Systems Modeling Language (SysML). Part\u00a02: SysML v1 to SysML v2 Transformation (2025). https:\/\/www.omg.org\/spec\/SysML\/2.0\/Transformation\/PDF"},{"key":"11_CR28","unstructured":"Oliver, D., Kelliher, T., Keegan, J.: Engineering Complex Systems with Models and Objects. McGraw-Hill (1997)"},{"key":"11_CR29","doi-asserted-by":"publisher","unstructured":"P\u00e4\u00dfler, J., ter Beek, M.H., Damiani, F., Dubslaff, C., Johnsen, E.B., Tapia\u00a0Tarifa, S.L.: Feature-oriented modelling and analysis of a self-adaptive robotic system. Formal Aspects Comput. 37(4), 32:1\u201332:39 (2025). https:\/\/doi.org\/10.1145\/3709159","DOI":"10.1145\/3709159"},{"key":"11_CR30","doi-asserted-by":"publisher","unstructured":"P\u00e4\u00dfler, J., ter Beek, M.H., Damiani, F., Johnsen, E.B., Tapia\u00a0Tarifa, S.L.: A configurable software model of a self-adaptive robotic system. Sci. Comput. Program. 240, 103221 (2025). https:\/\/doi.org\/10.1016\/J.SCICO.2024.103221","DOI":"10.1016\/J.SCICO.2024.103221"},{"key":"11_CR31","doi-asserted-by":"publisher","unstructured":"P\u00e4\u00dfler, J., ter Beek, M.H., Damiani, F., Johnsen, E.B., Tapia\u00a0Tarifa, S.L.: Analysing self-adaptive systems as software product lines. J. Syst. Softw. 222, 112324 (2025). https:\/\/doi.org\/10.1016\/J.JSS.2024.112324","DOI":"10.1016\/J.JSS.2024.112324"},{"key":"11_CR32","doi-asserted-by":"publisher","unstructured":"Rumpe, B.: Modeling with UML: Language, Concepts, Methods. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33933-7","DOI":"10.1007\/978-3-319-33933-7"},{"key":"11_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/978-3-030-89159-6_22","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"B Seli\u0107","year":"2021","unstructured":"Seli\u0107, B., Pierantonio, A.: Fixing classification: a viewpoint-based approach. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 346\u2013356. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-89159-6_22"},{"issue":"1","key":"11_CR34","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/182078.182085","volume":"5","author":"GB Singh","year":"1994","unstructured":"Singh, G.B.: Single versus multiple inheritance in object oriented programming. OOPS Messenger 5(1), 34\u201343 (1994). https:\/\/doi.org\/10.1145\/182078.182085","journal-title":"OOPS Messenger"},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"Weyns, D.: An Introduction to Self-Adaptive Systems: A Contemporary Software Engineering Perspective. Wiley (2020)","DOI":"10.1002\/9781119574910"},{"issue":"3","key":"11_CR36","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/MS.2013.65","volume":"31","author":"J Whittle","year":"2014","unstructured":"Whittle, J., Hutchinson, J., Rouncefield, M.: The state of practice in model-driven engineering. IEEE Softw. 31(3), 79\u201385 (2014). https:\/\/doi.org\/10.1109\/MS.2013.65","journal-title":"IEEE Softw."}],"container-title":["Lecture Notes in Computer Science","Journeys Between Formal Methods and the Railway Industry"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-12484-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T05:48:10Z","timestamp":1770270490000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-12484-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032124838","9783032124845"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-12484-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"6 February 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}}]}}