{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,17]],"date-time":"2026-10-17T16:21:36Z","timestamp":1792254096459,"version":"4.4.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031758713","type":"print"},{"value":"9783031758720","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,21]],"date-time":"2024-10-21T00:00:00Z","timestamp":1729468800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,21]],"date-time":"2024-10-21T00:00:00Z","timestamp":1729468800000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-75872-0_8","type":"book-chapter","created":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T05:02:23Z","timestamp":1729918943000},"page":"133-151","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["An Analysis of\u00a0the\u00a0Semantic Foundation of\u00a0KerML and\u00a0SysML v2"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9819-3781","authenticated-orcid":false,"given":"Jo\u00e3o Paulo A.","family":"Almeida","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7432-7653","authenticated-orcid":false,"given":"Lu\u00eds","family":"Ferreira Pires","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3452-553X","authenticated-orcid":false,"given":"Giancarlo","family":"Guizzardi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3049-8885","authenticated-orcid":false,"given":"Gerd","family":"Wagner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,10,21]]},"reference":[{"issue":"10\u201312","key":"8_CR1","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1080\/09544828.2019.1642461","volume":"30","author":"C Bock","year":"2019","unstructured":"Bock, C., Galey, C.: Integrating four-dimensional ontology and systems requirements modelling. J. Eng. Des. 30(10\u201312), 477\u2013522 (2019). https:\/\/doi.org\/10.1080\/09544828.2019.1642461","journal-title":"J. Eng. Des."},{"issue":"1","key":"8_CR2","doi-asserted-by":"publisher","first-page":"45","DOI":"10.3233\/ao-210259","volume":"17","author":"S Borgo","year":"2022","unstructured":"Borgo, S., et al.: DOLCE: a descriptive ontology for linguistic and cognitive engineering. Appl. Ontol. 17(1), 45\u201369 (2022). https:\/\/doi.org\/10.3233\/ao-210259","journal-title":"Appl. Ontol."},{"key":"8_CR3","doi-asserted-by":"publisher","unstructured":"Bougacha, R., Laleau, R., Collart-Dutilleul, S., Ayed, R.B.: Extending SysML with refinement and decomposition mechanisms to generate Event-B specifications. In: Theoretical Aspects of Software Engineering, pp. 256\u2013273. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-10363-6_18","DOI":"10.1007\/978-3-031-10363-6_18"},{"key":"8_CR4","doi-asserted-by":"publisher","unstructured":"Diekemper, J.: The existence of the past. Synthese 191(6), 1085\u20131104 (2014). https:\/\/doi.org\/10.1007\/s11229-013-0311-3","DOI":"10.1007\/s11229-013-0311-3"},{"issue":"1","key":"8_CR5","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s10472-011-9267-5","volume":"63","author":"H Graves","year":"2011","unstructured":"Graves, H., Bijan, Y.: Using formal methods with SysML in aerospace design and engineering. Ann. Math. Artif. Intell. 63(1), 53\u2013102 (2011). https:\/\/doi.org\/10.1007\/s10472-011-9267-5","journal-title":"Ann. Math. Artif. Intell."},{"key":"8_CR6","doi-asserted-by":"publisher","unstructured":"Guarino, N., Guizzardi, G.: Processes as variable embodiments. Synthese 203(4) (2024). https:\/\/doi.org\/10.1007\/s11229-024-04505-2","DOI":"10.1007\/s11229-024-04505-2"},{"key":"8_CR7","doi-asserted-by":"publisher","unstructured":"Guizzardi, G., Fonseca, C.M., Benevides, A.B., Almeida, J.P.A., Porello, D., Sales, T.P.: Endurant types in ontology-driven conceptual modeling: yowards OntoUML 2.0. In: Trujillo, J.C., et al. (eds.) ER 2018. LNCS, vol. 11157, pp. 136\u2013150. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00847-5_12","DOI":"10.1007\/978-3-030-00847-5_12"},{"key":"8_CR8","doi-asserted-by":"publisher","unstructured":"Guizzardi, G., Botti\u00a0Benevides, A., Fonseca, C.M., Porello, D., Almeida, J.P.A., Sales, T.P.: UFO: unified foundational ontology. Appl. Ontol. 17(1), 167\u2013210 (2022). https:\/\/doi.org\/10.3233\/AO-210256","DOI":"10.3233\/AO-210256"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-45348-4_2","volume-title":"Business Process Management","author":"G Guizzardi","year":"2016","unstructured":"Guizzardi, G., Guarino, N., Almeida, J.P.A.: Ontological considerations about the representation of events and endurants in business models. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 20\u201336. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45348-4_2"},{"key":"8_CR10","unstructured":"Hawley, K.: Temporal parts. In: Zalta, E.N., Nodelman, U. (eds.) The Stanford Encyclopedia of Philosophy, Spring 2023 edn. Metaphysics Research Lab, Stanford University (2023). https:\/\/plato.stanford.edu\/archives\/spr2023\/entries\/temporal-parts\/"},{"key":"8_CR11","unstructured":"Hayes, P.J., Patel-Schneider, P.F.: RDF 1.1 Semantics W3C Recommendation 25 February 2014 (2014). https:\/\/www.w3.org\/TR\/rdf11-mt\/"},{"key":"8_CR12","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press (2012)"},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Jansen, N., Pfeiffer, J., Rumpe, B., Schmalzing, D., Wortmann, A.: The language of SysML v2 under the magnifying glass. J. Object Technol. 21(3), 3\u20131 (2022). https:\/\/doi.org\/10.5381\/jot.2022.21.3.a11","DOI":"10.5381\/jot.2022.21.3.a11"},{"key":"8_CR14","doi-asserted-by":"publisher","unstructured":"Lima, L., et al.: An integrated semantics for reasoning about SysML design models using refinement. Softw. Syst. Model. 16(3), 875\u2013902 (2015). https:\/\/doi.org\/10.1007\/s10270-015-0492-y","DOI":"10.1007\/s10270-015-0492-y"},{"key":"8_CR15","unstructured":"Motik, B., Patel-Schneider, P.F., Grau, B.C.: OWL 2 Web Ontology Language Direct Semantics (Second Edition) W3C Recommendation 11 December 2012 (2012). https:\/\/www.w3.org\/TR\/owl2-direct-semantics\/"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Object Management Group. OMG Systems Modeling Language (SysML) Version 1.5 (2017). https:\/\/www.omg.org\/spec\/SysML\/1.5","DOI":"10.1016\/B978-1-78548-171-0.50001-3"},{"key":"8_CR17","unstructured":"Object Management Group: OMG Unified Modeling Language (OMG UML) Version 2.5.1 (2017). https:\/\/www.omg.org\/spec\/UML\/2.5.1. OMG formal\/17-12-05"},{"key":"8_CR18","unstructured":"Object Management Group. Systems Modeling Language (SysML) v2 Request for Proposal (RFP) (2017). https:\/\/www.omg.org\/cgi-bin\/doc.cgi?ad\/2017-12-2. OMG RFP ad\/17-12-02"},{"key":"8_CR19","unstructured":"Object Management Group. Kernel Modeling Language (KerML) version 1.0 beta 2 (release 2024-03) (2024). https:\/\/github.com\/Systems-Modeling\/SysML-v2-Release"},{"key":"8_CR20","unstructured":"Object Management Group. OMG Systems Modeling Language (SysML) Version 2.0 Beta 2 (Release 2024-03) (2024). https:\/\/github.com\/Systems-Modeling\/SysML-v2-Release"},{"issue":"1","key":"8_CR21","doi-asserted-by":"publisher","first-page":"17","DOI":"10.3233\/ao-220262","volume":"17","author":"JN Otte","year":"2022","unstructured":"Otte, J.N., Beverley, J., Ruttenberg, A.: BFO: basic formal ontology. Appl. Ontol. 17(1), 17\u201343 (2022). https:\/\/doi.org\/10.3233\/ao-220262","journal-title":"Appl. Ontol."},{"key":"8_CR22","series-title":"Intelligent Systems Reference Library","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-030-97516-6_2","volume-title":"Machine Learning for Smart Environments\/Cities","author":"MVP Pessoa","year":"2022","unstructured":"Pessoa, M.V.P., Pires, L.F., Moreira, J.L.R., Wu, C.: Model-based digital threads for socio-technical systems. In: Marques, G., Gonz\u00e1lez-Briones, A., Molina L\u00f3pez, J.M. (eds.) Machine Learning for Smart Environments\/Cities. ISRL, vol. 121, pp. 27\u201352. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-97516-6_2"},{"key":"8_CR23","doi-asserted-by":"publisher","unstructured":"Sutcliffe, G.: The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0. J. Automat. Reason. 59(4), 483\u2013502 (2017). https:\/\/doi.org\/10.1007\/s10817-017-9407-7","DOI":"10.1007\/s10817-017-9407-7"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Verdonck, M., Gailly, F., de\u00a0Cesare, S.: Comprehending 3D and 4D ontology-driven conceptual models: an empirical study. Inf. Syst. 93, 101568 (2020). https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0306437920300582","DOI":"10.1016\/j.is.2020.101568"},{"key":"8_CR25","doi-asserted-by":"publisher","unstructured":"Zamborlini, V., Guizzardi, G.: On the representation of temporally changing information in OWL. In: Workshops Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, EDOCW 2010, Vit\u00f3ria, 25\u201329 October 2010, pp. 283\u2013292. IEEE Computer Society (2010). https:\/\/doi.org\/10.1109\/EDOCW.2010.50","DOI":"10.1109\/EDOCW.2010.50"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75872-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T05:03:22Z","timestamp":1729919002000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75872-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,21]]},"ISBN":["9783031758713","9783031758720"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75872-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,21]]},"assertion":[{"value":"21 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ER","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Conceptual Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pittsburg, PA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"43","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"er2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/resources.sei.cmu.edu\/news-events\/events\/er2024\/cfp.cfm","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}