{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,23]],"date-time":"2026-10-23T19:14:00Z","timestamp":1792782840857,"version":"4.5.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2026,7,12]],"date-time":"2026-07-12T00:00:00Z","timestamp":1783814400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,7,12]],"date-time":"2026-07-12T00:00:00Z","timestamp":1783814400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Universit\u00e0 degli Studi dell\u2019Aquila","id":[{"id":"https:\/\/ror.org\/01j9p1r26","id-type":"ROR","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2026,10]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    Object-oriented modeling grounds the identity of a system in stable objects and classifications. Dynamic and viewpoint-based classification relax this assumption by allowing entities to change roles and perspectives while preserving identity, but they still treat objects and classifications as the primary ontological foundation. This paper argues that, for systems exhibiting deep functional overlap, contextual modulation, and non-deterministic interaction, identity cannot be adequately explained at this level. We introduce\n                    <jats:italic>synergic modeling<\/jats:italic>\n                    , a paradigm in which the identity of a system is grounded in\n                    <jats:italic>coherence constraints<\/jats:italic>\n                    . Rather than prescribing behavior or enforcing invariants, coherence constraints delimit families of admissible evolutions that preserve system intelligibility across concurrent, uncoordinated functional interactions. Building on the Dynamic Classification Notation (DCN), synergic modeling allows multiple viewpoint-specific functions to act concurrently on shared observations, giving rise to constrained non-determinism and emergent execution order. Determinism is thus relocated from individual state transitions to coherence-preserving trajectories, providing a foundation for modeling complex and adaptive systems.\n                  <\/jats:p>","DOI":"10.1007\/s10270-026-01404-7","type":"journal-article","created":{"date-parts":[[2026,7,12]],"date-time":"2026-07-12T01:26:56Z","timestamp":1783819616000},"page":"1455-1474","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Synergic modeling of coherent systems"],"prefix":"10.1007","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1154-1382","authenticated-orcid":false,"given":"Antonio","family":"Bucchiarone","sequence":"first","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-0003-2079-6643","authenticated-orcid":false,"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,12]]},"reference":[{"key":"1404_CR1","unstructured":"Armstrong, J.: Programming Erlang: software for a concurrent world, The Pragmatic Bookshelf (2013)"},{"issue":"5","key":"1404_CR2","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MS.2003.1231149","volume":"20","author":"C Atkinson","year":"2003","unstructured":"Atkinson, C., K\u00fchne, T.: Model-driven development: a metamodeling foundation. IEEE Softw. 20(5), 36\u201341 (2003)","journal-title":"IEEE Softw."},{"key":"1404_CR3","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, London (2008)"},{"key":"1404_CR4","volume-title":"Brain of the Firm","author":"S Beer","year":"1995","unstructured":"Beer, S.: Brain of the Firm. Wiley, London (1995)"},{"issue":"2\u20133","key":"1404_CR5","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1561\/1000000053","volume":"12","author":"A Benveniste","year":"2018","unstructured":"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. Found. Trends Electron. Des. Autom. 12(2\u20133), 124\u2013400 (2018)","journal-title":"Found. Trends Electron. Des. Autom."},{"key":"1404_CR6","unstructured":"Booch, G.: Object-Oriented Analysis and Design with Applications, Addison-Wesley, 3rd edition, (2007)"},{"issue":"13","key":"1404_CR7","first-page":"5","volume":"14","author":"G Booch","year":"1996","unstructured":"Booch, G., Jacobson, I., Rumbaugh, J., et al.: The unified modeling language. Unix Review 14(13), 5 (1996)","journal-title":"The unified modeling language. Unix Review"},{"issue":"8","key":"1404_CR8","doi-asserted-by":"publisher","first-page":"3207","DOI":"10.1007\/s10270-018-00713-w","volume":"18","author":"A Cicchetti","year":"2019","unstructured":"Cicchetti, A., Ciccozzi, F., Pierantonio, A.: Multi-view approaches for software and system modelling: a systematic literature review. Softw. Syst. Model. 18(8), 3207\u20133233 (2019)","journal-title":"Softw. Syst. Model."},{"key":"1404_CR9","doi-asserted-by":"crossref","unstructured":"Clarke, EM.: Model checking. In International Conference on Foundations of Software Technology and Theoretical Computer Science, pp. 54\u201356. Springer, (1997)","DOI":"10.1007\/BFb0058022"},{"key":"1404_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.cola.2023.101223","volume":"76","author":"I David","year":"2023","unstructured":"David, I., Vangheluwe, H., Syriani, E.: Model consistency as a heuristic for eventual correctness. J. Comput. Languages 76, 1\u201313 (2023)","journal-title":"J. Comput. Languages"},{"issue":"01","key":"1404_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1142\/S0218194092000038","volume":"2","author":"A Finkelstein","year":"1992","unstructured":"Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., Goedicke, M.: Viewpoints: a framework for integrating multiple perspectives in system development. Int. J. Software Eng. Knowl. Eng. 2(01), 31\u201357 (1992)","journal-title":"Int. J. Software Eng. Knowl. Eng."},{"key":"1404_CR12","volume-title":"John Vlissides","author":"E Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R.: John Vlissides. Elements of Reusable Object-Oriented Software. Addison-Wesley, Design Patterns (1995)"},{"issue":"2014","key":"1404_CR13","first-page":"1","volume":"1","author":"M Grieves","year":"2014","unstructured":"Grieves, M., et al.: Digital twin: manufacturing excellence through virtual factory replication. White Paper 1(2014), 1\u20137 (2014)","journal-title":"White Paper"},{"key":"1404_CR14","doi-asserted-by":"crossref","unstructured":"Herrmannsd\u00f6rfer, M., Benz, S., Juergens, E.: Cope\u2014automating coupled evolution of metamodels and models. In Proceedings of the 23rd European Conference on Object-Oriented Programming (ECOOP 2009), volume 5653 of Lecture Notes in Computer Science, pp. 52\u201376. Springer, (2009). Presents an approach for managing co-evolution between metamodels and models in MDE","DOI":"10.1007\/978-3-642-03013-0_4"},{"key":"1404_CR15","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes, vol. 21. ACM New York, NY, USA (1978)","DOI":"10.1145\/359576.359585"},{"key":"1404_CR16","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, UK (2006)"},{"key":"1404_CR17","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J-M., Irwin, J.: Aspect-oriented programming. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP \u201997), volume 1241 of Lecture Notes in Computer Science, pp. 220\u2013242. Springer, (1997)","DOI":"10.1007\/BFb0053381"},{"issue":"9","key":"1404_CR18","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/83880.84459","volume":"33","author":"T Korson","year":"1990","unstructured":"Korson, T., McGregor, J.D.: Understanding object-oriented: a unifying paradigm. Commun. ACM 33(9), 40\u201360 (1990)","journal-title":"Commun. ACM"},{"issue":"4","key":"1404_CR19","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s10270-006-0017-9","volume":"5","author":"T K\u00fchne","year":"2006","unstructured":"K\u00fchne, T.: Matters of (meta-)modeling. Softw. Syst. Model. 5(4), 369\u2013385 (2006)","journal-title":"Softw. Syst. Model."},{"issue":"4","key":"1404_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3063384","volume":"25","author":"J De Lara","year":"2017","unstructured":"De Lara, J., Guerra, E.: A posteriori typing for model-driven engineering: concepts, analysis, and applications. ACM Transac. Softw. Eng. Methodol. (TOSEM) 25(4), 1\u201360 (2017)","journal-title":"ACM Transac. Softw. Eng. Methodol. (TOSEM)"},{"issue":"4","key":"1404_CR21","first-page":"267","volume":"1","author":"MW Maier","year":"1998","unstructured":"Maier, M.W.: Architecting principles for systems-of-systems. Syst. Eng. J. Int. Council Syst. Eng. 1(4), 267\u2013284 (1998)","journal-title":"Syst. Eng. J. Int. Council Syst. Eng."},{"key":"1404_CR22","volume-title":"Communicating and Mobile Systems: The $$\\pi $$-Calculus","author":"R Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The $$\\pi $$-Calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"9","key":"1404_CR23","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1177\/0037549704050532","volume":"80","author":"PJ Mosterman","year":"2004","unstructured":"Mosterman, P.J., Vangheluwe, H.: Computer automated multi-paradigm modeling: an introduction. SIMULATION 80(9), 433\u2013450 (2004)","journal-title":"SIMULATION"},{"issue":"2","key":"1404_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2794381","volume":"48","author":"CB Nielsen","year":"2015","unstructured":"Nielsen, C.B., Larsen, P.G., Fitzgerald, J., Woodcock, J., Peleska, J.: Systems of systems engineering: basic concepts, model-based techniques, and research directions. ACM Comput. Surv. 48(2), 1\u201341 (2015)","journal-title":"ACM Comput. Surv."},{"issue":"10","key":"1404_CR25","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MC.2003.1236471","volume":"36","author":"C Peltz","year":"2003","unstructured":"Peltz, C.: Web services orchestration and choreography. Computer 36(10), 46\u201352 (2003)","journal-title":"Computer"},{"key":"1404_CR26","doi-asserted-by":"crossref","unstructured":"Reynolds, CW.: Flocks, herds and schools: A distributed behavioral model. In Proceedings of the 14th Annual Conference on Computer graphics and Interactive Techniques, pp. 25\u201334, (1987)","DOI":"10.1145\/37401.37406"},{"key":"1404_CR27","doi-asserted-by":"crossref","unstructured":"Richters, M., Gogolla, M.: OCL: Syntax, Semantics, and Tools, pp. 42\u201368. Springer Berlin Heidelberg, Berlin, Heidelberg, (2002)","DOI":"10.1007\/3-540-45669-4_4"},{"key":"1404_CR28","unstructured":"Rumbaugh, J.: Michael Blaha. Frederick Eddy, and William Lorensen. Object-Oriented Modeling and Design. Prentice Hall, William Premerlani (1991)"},{"issue":"3","key":"1404_CR29","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BF01211084","volume":"9","author":"D Sannella","year":"1997","unstructured":"Sannella, D., Tarlecki, A.: Essential concepts of algebraic specification and program development. Formal Aspects Comput. 9(3), 229\u2013269 (1997)","journal-title":"Formal Aspects Comput."},{"issue":"5","key":"1404_CR30","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MS.2003.1231146","volume":"20","author":"B Selic","year":"2003","unstructured":"Selic, B.: The pragmatics of model-driven development. IEEE Softw. 20(5), 19\u201325 (2003)","journal-title":"IEEE Softw."},{"key":"1404_CR31","doi-asserted-by":"crossref","unstructured":"Selic, B.: A systematic approach to domain-specific language design using uml. In 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC\u201907), pp. 2\u20139. (2007)","DOI":"10.1109\/ISORC.2007.10"},{"key":"1404_CR32","doi-asserted-by":"crossref","unstructured":"Seli\u0107, B., Pierantonio, A.: Fixing classification: a viewpoint-based approach. In International Symposium on Leveraging Applications of Formal Methods, pp. 346\u2013356. Springer, (2021)","DOI":"10.1007\/978-3-030-89159-6_22"},{"issue":"1","key":"1404_CR33","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0169-023X(00)00023-9","volume":"35","author":"F Steimann","year":"2000","unstructured":"Steimann, F.: On the representation of roles in object-oriented and conceptual modelling. Data Knowl. Eng. 35(1), 83\u2013106 (2000)","journal-title":"Data Knowl. Eng."},{"issue":"4","key":"1404_CR34","doi-asserted-by":"publisher","first-page":"2405","DOI":"10.1109\/TII.2018.2873186","volume":"15","author":"F Tao","year":"2018","unstructured":"Tao, F., Zhang, H., Liu, A., Nee, A.Y.: Digital twin in industry: state-of-the-art. IEEE Trans. Industr. Inf. 15(4), 2405\u20132415 (2018)","journal-title":"IEEE Trans. Industr. Inf."},{"key":"1404_CR35","doi-asserted-by":"crossref","unstructured":"Beek, MHT., Bucchiarone, A., Pierantonio, A., Selic, B.: Towards dynamic classification in domain modeling with jjodel. In Journeys Between Formal Methods and the Railway Industry: Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday, pp. 193\u2013215. Springer, (2026)","DOI":"10.1007\/978-3-032-12484-5_11"},{"key":"1404_CR36","doi-asserted-by":"crossref","unstructured":"Tendeloo, YV., Vangheluwe, H.: The modelverse: a tool for multi-paradigm modelling and simulation. In 2017 Winter Simulation Conference (wsc), pp. 944\u2013955. IEEE, (2017)","DOI":"10.1109\/WSC.2017.8247845"},{"key":"1404_CR37","unstructured":"Vangheluwe, H., Lara, JD., Mosterman, PJ.: An introduction to multi-paradigm modelling and simulation. In Proceedings of the AIS\u20192002 conference (AI, Simulation and Planning in High Autonomy Systems), Lisboa, Portugal, 21, (2002)"},{"key":"1404_CR38","doi-asserted-by":"crossref","unstructured":"Weyns, D., Malek, S., Andersson, J.: Forms: a formal reference model for self-adaptation. In Proceedings of the 7th International Conference on Autonomic Computing, pp. 205\u2013214, (2010)","DOI":"10.1145\/1809049.1809078"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-026-01404-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-026-01404-7","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-026-01404-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,9,28]],"date-time":"2026-09-28T17:08:36Z","timestamp":1790615316000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-026-01404-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,12]]},"references-count":38,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2026,10]]}},"alternative-id":["1404"],"URL":"https:\/\/doi.org\/10.1007\/s10270-026-01404-7","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,12]]},"assertion":[{"value":"3 March 2026","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 June 2026","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 June 2026","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 July 2026","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}