{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T02:45:23Z","timestamp":1761965123462,"version":"3.37.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030306892"},{"type":"electronic","value":"9783030306908"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-30690-8_5","type":"book-chapter","created":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T19:02:47Z","timestamp":1567969367000},"page":"81-98","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Use of a Pivot Diagram in SysML to Support an Automated Implementation of a MBSE Design Methodology in an Industry 4.0 Context"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7453-7597","authenticated-orcid":false,"given":"R\u00e9gis","family":"Plateaux","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6363-5754","authenticated-orcid":false,"given":"Olivia","family":"Penas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6052-1906","authenticated-orcid":false,"given":"Farid","family":"Louni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,9]]},"reference":[{"key":"5_CR1","unstructured":"Aliyu, H.O., Ma\u00efga, O., Traor\u00e9, M.K.: Un langage graphique pour la mod\u00e9lisation et l\u2019analyse des syst\u00e8mes r\u00e9actifs. In: 11\u00e8me Colloque sur la Mod\u00e9lisation des Syst\u00e8mes R\u00e9actif (MSR 2017), Marseille, France, 20 p. (2017)"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1109\/TSE.2004.34","volume":"30","author":"L Apvrille","year":"2004","unstructured":"Apvrille, L., Courtiat, J.-P., Lohr, C., de Saqui-Sannes, P.: TURTLE: a real-time UML profile supported by a formal validation toolkit. IEEE Trans. Softw. Eng. 30, 473\u2013487 (2004). \n                      https:\/\/doi.org\/10.1109\/TSE.2004.34","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR3","unstructured":"Bernardi, M., Bley, H., Schmidt, B.: New approaches for developing mechatronical products in multidisciplinary teamwork. In: 35th CIRP International Seminar on Manufacturing Systems, Seoul, Korea (2002)"},{"key":"5_CR4","unstructured":"Berthomieu, B., et al.: Fiacre: an Intermediate Language for Model Verification in the Topcased Environment (2008)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-642-34032-1_35","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies","author":"I Boukhari","year":"2012","unstructured":"Boukhari, I., Bellatreche, L., Jean, S.: An ontological pivot model to interoperate heterogeneous user requirements. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012. LNCS, vol. 7610, pp. 344\u2013358. Springer, Heidelberg (2012). \n                      https:\/\/doi.org\/10.1007\/978-3-642-34032-1_35"},{"key":"5_CR6","unstructured":"Choley, J.-Y.: M\u00e9catronique\u202f: une nouvelle d\u00e9marche de conception des syst\u00e8mes complexes. Technologies et Formations, pp. 29\u201335 (2006)"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1016\/j.procs.2016.09.290","volume":"95","author":"J-Y Choley","year":"2016","unstructured":"Choley, J.-Y., Mhenni, F., Nguyen, N., Baklouti, A.: Topology-based safety analysis for safety critical CPS. Procedia Comput. Sci. 95, 32\u201339 (2016). \n                      https:\/\/doi.org\/10.1016\/j.procs.2016.09.290","journal-title":"Procedia Comput. Sci."},{"key":"5_CR8","first-page":"1","volume":"25","author":"JA Estefan","year":"2007","unstructured":"Estefan, J.A.: Survey of model-based systems engineering (MBSE) methodologies. Incose MBSE Focus Group 25, 1\u201312 (2007)","journal-title":"Incose MBSE Focus Group"},{"key":"5_CR9","volume-title":"A Practical Guide to SysML - the Systems Modeling Language","author":"S Friedenthal","year":"2008","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML - the Systems Modeling Language. Elsevier\/Morgan Kaufmann, Amsterdam; Boston (2008)"},{"issue":"1","key":"5_CR10","doi-asserted-by":"publisher","first-page":"1731","DOI":"10.1002\/j.2334-5837.2008.tb00914.x","volume":"18","author":"Sanford Friedenthal","year":"2008","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: OMG systems modeling language (OMG SysMLTM) tutorial. In: INCOSE International Symposium, vol. 18, pp. 1731\u20131862 (2008). \n                      https:\/\/doi.org\/10.1002\/j.2334-5837.2008.tb00914.x","journal-title":"INCOSE International Symposium"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Gu\u00e9rineau, B., Bricogne, M., Durupt, A., Rivest, L.: Mechatronics vs. cyber physical systems: towards a conceptual framework for a suitable design methodology. In: 2016 11th France-Japan 9th Europe-Asia Congress on Mechatronics (MECATRONICS)\/17th International Conference on Research and Education in Mechatronics (REM), pp. 314\u2013320 (2016)","DOI":"10.1109\/MECATRONICS.2016.7547161"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"17","DOI":"10.5120\/14924-3444","volume":"85","author":"R Hazra","year":"2014","unstructured":"Hazra, R., Dey, S.: Consistency between use case, sequence and timing diagram for real time software systems. Int. J. Comput. Appl. 85, 17\u201323 (2014). \n                      https:\/\/doi.org\/10.5120\/14924-3444","journal-title":"Int. J. Comput. Appl."},{"key":"5_CR13","unstructured":"Heng, S.: Transformation de mod\u00e8les UML vers des programmes Fiacre. LABSTICC\/ENSTA Bretagne (2012)"},{"key":"5_CR14","first-page":"79","volume":"17","author":"M Iraqi-Houssaini","year":"2012","unstructured":"Iraqi-Houssaini, M., Kleiner, M., Roucoules, L.: Vers une ing\u00e9nierie produit collaborative et interop\u00e9rable bas\u00e9e sur les mod\u00e8les. Un cadre g\u00e9n\u00e9ral pour l\u2019acquisition des donn\u00e9es m\u00e9tier. Revue des Sciences et Technol. de l\u2019Inf. - S\u00e9rie ISI: Ing\u00e9nierie des Syst\u00e8mes d\u2019Inf. 17, 79\u201394 (2012)","journal-title":"Revue des Sciences et Technol. de l\u2019Inf. - S\u00e9rie ISI: Ing\u00e9nierie des Syst\u00e8mes d\u2019Inf."},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s00163-010-0097-y","volume":"22","author":"TAW Jarratt","year":"2011","unstructured":"Jarratt, T.A.W., Eckert, C.M., Caldwell, N.H.M., Clarkson, P.J.: Engineering change: an overview and perspective on the literature. Res. Eng. Des. 22, 103\u2013124 (2011). \n                      https:\/\/doi.org\/10.1007\/s00163-010-0097-y","journal-title":"Res. Eng. Des."},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1108\/09576060010303686","volume":"11","author":"MW Kidd","year":"2000","unstructured":"Kidd, M.W., Thompson, G.: Engineering design change management. Integr. Manuf. Syst. 11, 74\u201377 (2000)","journal-title":"Integr. Manuf. Syst."},{"key":"5_CR17","doi-asserted-by":"publisher","DOI":"10.1002\/9781118001028","volume-title":"Systems Engineering Principles and Practice","author":"Alexander Kossiakoff","year":"2011","unstructured":"Kossiakoff, A., Sweet, W.N., Seymour, S.J., Biemer, S.M.: Systems Engineering Principles and Practice. Wiley, Hoboken (2011)"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-13464-7_3","volume-title":"Formal Techniques for Distributed Systems","author":"Frank Alexander Kraemer","year":"2010","unstructured":"Kraemer, F.A., Herrmann, P.: Reactive semantics for distributed UML activities. Formal Tech. Distrib. Syst. 17\u201331 (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-13464-7_3"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Cyber physical systems: design challenges. In: 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp 363\u2013369 (2008)","DOI":"10.1109\/ISORC.2008.25"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Linhares, M.V., de Oliveira, R.S., Farines, J., Vernadat, F.: Introducing the modeling and verification process in SysML. In: 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007), pp. 344\u2013351 (2007)","DOI":"10.1109\/EFTA.2007.4416788"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1016\/j.aei.2014.03.006","volume":"28","author":"F Mhenni","year":"2014","unstructured":"Mhenni, F., Choley, J.-Y., Penas, O., Plateaux, R., Hammadi, M.: A SysML-based methodology for mechatronic systems architectural design. Adv. Eng. Inform. 28, 218\u2013231 (2014)","journal-title":"Adv. Eng. Inform."},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Morkevicius, A., Jankevicius, N.: An approach: SysML-based automated requirements verification. In: 2015 IEEE International Symposium on Systems Engineering (ISSE), pp. 92\u201397 (2015)","DOI":"10.1109\/SysEng.2015.7302739"},{"key":"5_CR23","unstructured":"Paviot, T.: M\u00e9thodologie de r\u00e9solution des probl\u00e8mes d\u2019interop\u00e9rabilit\u00e9 dans le domaine du Product Lifecycle Management. Ph.D. thesis, \u00c9cole Centrale Paris (2010)"},{"issue":"1","key":"5_CR24","doi-asserted-by":"publisher","first-page":"1516","DOI":"10.1002\/j.2334-5837.2007.tb02964.x","volume":"17","author":"Russell S. Peak","year":"2007","unstructured":"Peak, R.S., Burkhart, R.M., Friedenthal, S.A., Wilson, M.W., Bajaj, M., Kim, I.: 9.3.2 simulation-based design using SysML part 1: a parametrics primer. In: INCOSE International Symposium, vol. 17, pp. 1516\u20131535 (2007). \n                      https:\/\/doi.org\/10.1002\/j.2334-5837.2007.tb02964.x","journal-title":"INCOSE International Symposium"},{"key":"5_CR25","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.compind.2016.12.001","volume":"86","author":"O Penas","year":"2017","unstructured":"Penas, O., Plateaux, R., Patalano, S., Hammadi, M.: Multi-scale approach from mechatronic to Cyber-Physical Systems for the design of manufacturing systems. Comput. Ind. 86, 52\u201369 (2017)","journal-title":"Comput. Ind."},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Plateaux, R., Penas, O., Bricogne, M., Guerineau, J., Rowson, H., Maquin, K.: A semantic dictionary to support multidisciplinary design collaboration in an extended enterprise context. In: 20th International Conference on Research and Education in Mechatronics (REM 2019)\/IEEE. Wels, Austria (2019)","DOI":"10.1109\/REM.2019.8744114"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Plateaux, R., Penas, O., Choley, J., Mhenni, F., Hammadi, M., Louni, F.: Evolution from mechatronics to cyber physical systems: an educational point of view. In: 2016 11th France-Japan 9th Europe-Asia Congress on Mechatronics (MECATRONICS)\/17th International Conference on Research and Education in Mechatronics (REM), pp. 360\u2013366 (2016)","DOI":"10.1109\/MECATRONICS.2016.7547169"},{"key":"5_CR28","unstructured":"Sell, R., Tamre, M.: Integration of V-model and SysML for advanced mechatronics system design. In: The 6th International Workshop on Research and Education in Mechatronics REM, pp. 276\u2013280 (2005)"},{"key":"5_CR29","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1016\/0142-694X(95)00021-I","volume":"16","author":"JE Sharpe","year":"1995","unstructured":"Sharpe, J.E.: Computer tools for integrated conceptual design. Des. Stud. 16, 471\u2013488 (1995)","journal-title":"Des. Stud."},{"key":"5_CR30","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1016\/j.procir.2017.03.071","volume":"60","author":"L Siddharth","year":"2017","unstructured":"Siddharth, L., Sarkar, P.: A methodology for predicting the effect of engineering design changes. Procedia CIRP 60, 452\u2013457 (2017). \n                      https:\/\/doi.org\/10.1016\/j.procir.2017.03.071","journal-title":"Procedia CIRP"},{"key":"5_CR31","doi-asserted-by":"publisher","first-page":"e24274","DOI":"10.1371\/journal.pone.0024274","volume":"7","author":"DI Spivak","year":"2012","unstructured":"Spivak, D.I., Kent, R.E.: Ologs: a categorical framework for knowledge representation. PLoS ONE 7, e24274 (2012). \n                      https:\/\/doi.org\/10.1371\/journal.pone.0024274","journal-title":"PLoS ONE"},{"key":"5_CR32","doi-asserted-by":"publisher","first-page":"109","DOI":"10.4236\/jsea.2010.32014","volume":"03","author":"K Thramboulidis","year":"2010","unstructured":"Thramboulidis, K.: The 3\u2009+\u20091 SysML view-model in model integrated mechatronics. J. Softw. Eng. Appl. 03, 109\u2013118 (2010). \n                      https:\/\/doi.org\/10.4236\/jsea.2010.32014","journal-title":"J. Softw. Eng. Appl."},{"key":"5_CR33","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1016\/j.jmsy.2015.04.008","volume":"37","author":"L Wang","year":"2015","unstructured":"Wang, L., T\u00f6rngren, M., Onori, M.: Current status and advancement of cyber-physical systems in manufacturing. J. Manuf. Syst. 37, 517\u2013527 (2015). \n                      https:\/\/doi.org\/10.1016\/j.jmsy.2015.04.008","journal-title":"J. Manuf. Syst."},{"key":"5_CR34","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0094-114X(92)90013-8","volume":"27","author":"H-S Yan","year":"1992","unstructured":"Yan, H.-S.: A methodology for creative mechanism design. Mech. Mach. Theory 27, 235\u2013242 (1992)","journal-title":"Mech. Mach. Theory"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30690-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T19:22:53Z","timestamp":1567970573000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30690-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030306892","9783030306908"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30690-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on System Analysis and Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Munich","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sam2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sdl-forum.org\/Events\/SAM2019\/index.htm","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.85","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1 keynote speaker paper","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}