{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,24]],"date-time":"2025-12-24T12:25:26Z","timestamp":1766579126979,"version":"3.37.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319929965"},{"type":"electronic","value":"9783319929972"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-92997-2_9","type":"book-chapter","created":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T08:13:16Z","timestamp":1527495196000},"page":"132-146","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation"],"prefix":"10.1007","author":[{"given":"Ronan","family":"Baduel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad","family":"Chami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Michel","family":"Bruel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iulian","family":"Ober","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,29]]},"reference":[{"unstructured":"OMG: OMG Systems Modeling LanguageTM Version 1.5 (2017). http:\/\/www.omg.org\/spec\/SysML\/1.5\/","key":"9_CR1"},{"unstructured":"Chami, M., Oggier, P., Naas, O., Heinz, M.: Real world application of MBSE at Bombardier Transportation. In: The Swiss Systems Engineering Day (SWISSED 2015), Kongresshaus Zurich, 8th September 2015","key":"9_CR2"},{"unstructured":"INCOSE: Systems Engineering Vision 2020. Version 2.03 edn. Technical Operations, International Council on Systems Engineering (INCOSE), September 2007. INCOSE-TP-2004-004-02","key":"9_CR3"},{"unstructured":"IEEE: 1012\u20132012 IEEE Standard for System and Software Verification and Validation","key":"9_CR4"},{"unstructured":"Stecklein, J.M., Dabney, J., Dick, B., Haskins, B., Lovell, R., Moroney, G.: Error cost escalation through the project life cycle (2004)","key":"9_CR5"},{"doi-asserted-by":"crossref","unstructured":"Chami, M., Morkevicius, A., Aleksandraviciene, A., Bruel, J.M.: Towards solving MBSE adoption challenges: the D3 MBSE adoption toolbox. In: 28th Annual INCOSE International Symposium, Washington DC, USA, 7\u201312 July (2018)","key":"9_CR6","DOI":"10.1002\/j.2334-5837.2018.00561.x"},{"doi-asserted-by":"crossref","unstructured":"Bonnet, S., Exertier, D., Normand, V.: Not (strictly) relying on SysML for MBSE: language, tooling and development perspectives (2015). OCLC: 255348295","key":"9_CR7","DOI":"10.1109\/SYSCON.2016.7490559"},{"unstructured":"Guizzardi, G.: Ontological foundations for structural conceptual models. Ph.D. thesis, Centre for Telematics and Information Technology, Telematica Instituut, Enschede, The Netherlands (2005)","key":"9_CR8"},{"unstructured":"Lamm, J.G., Weilkiens, T.: Functional Architectures in SysML. In: Proceedings of the Tag des Systems Engineering (TdSE 2010), Munich, Germany (2010)","key":"9_CR9"},{"unstructured":"Berkenkotter, K.: OCL-Based Validation of a Railway Domain Profile (2006). OCLC: 248918751","key":"9_CR10"},{"issue":"2","key":"9_CR11","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1007\/s10270-015-0481-1","volume":"16","author":"I Dragomir","year":"2017","unstructured":"Dragomir, I., Ober, I., Percebois, C.: Contract-based modeling and verification of timed safety requirements within SysML. Softw. Syst. Model. 16(2), 587\u2013624 (2017)","journal-title":"Softw. Syst. Model."},{"unstructured":"OMG Specification: Object Constraint Language V.2.4. Object Management Group pct\/07-08-04, February 2014","key":"9_CR12"},{"unstructured":"Eclipse - Papyrus Guide: Validate (OCL) constraints of a profile","key":"9_CR13"},{"unstructured":"Sparx Systems: Model Validation (2016)","key":"9_CR14"},{"unstructured":"No Magic Documentation: Creating validation rules - MagicDraw 18.2","key":"9_CR15"},{"doi-asserted-by":"crossref","unstructured":"Altenhofen, M., Hettel, T., Kusterer, S.: OCL support in an industrial environment (2006)","key":"9_CR16","DOI":"10.1007\/978-3-540-69489-2_21"},{"doi-asserted-by":"crossref","unstructured":"Delmas, R., Pires, A.F., Polacsek, T.: A verification and validation process for model-driven engineering. EDP Sciences 455\u2013468 (2013)","key":"9_CR17","DOI":"10.1051\/eucass\/201306455"},{"unstructured":"OMG: OSLC4mbse Working Group","key":"9_CR18"},{"unstructured":"Shani, U.: A Case for a SysML OWL Ontology (2014)","key":"9_CR19"},{"doi-asserted-by":"crossref","unstructured":"Zhao, L., Li, F.: Statistical machine learning in natural language understanding: object constraint language translator for business process. In: 2008 IEEE International Symposium on Knowledge Acquisition and Modeling Workshop, pp. 1056\u20131059, December 2008","key":"9_CR20","DOI":"10.1109\/KAMW.2008.4810674"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"650","DOI":"10.1016\/j.procs.2015.05.180","volume":"51","author":"Mohammad Chami","year":"2015","unstructured":"Chami, M., Bruel, J.: Towards an integrated conceptual design evaluation of mechatronic systems: the SysDICE approach. In: Proceedings of the International Conference on Computational Science, Reykjav\u00edk, Iceland, pp. 650\u2013659 (2015)","journal-title":"Procedia Computer Science"},{"unstructured":"OMG: SysML v2 RFP Working Group","key":"9_CR22"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92997-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,18]],"date-time":"2019-10-18T13:57:59Z","timestamp":1571407079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-92997-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319929965","9783319929972"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92997-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}