{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:54:11Z","timestamp":1742964851024,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030320645"},{"type":"electronic","value":"9783030320652"}],"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-32065-2_23","type":"book-chapter","created":{"date-parts":[[2019,10,21]],"date-time":"2019-10-21T01:32:04Z","timestamp":1571621524000},"page":"333-347","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Robust Design of a Collaborative Platform for Model-Based System Engineering: Experience from an Industrial Deployment"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5027-2114","authenticated-orcid":false,"given":"Christophe","family":"Ponsard","sequence":"first","affiliation":[]},{"given":"Robert","family":"Darimont","sequence":"additional","affiliation":[]},{"given":"Mounir","family":"Touzani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,21]]},"reference":[{"key":"23_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, New York (2010)","edition":"1"},{"issue":"6","key":"23_CR2","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R., et al.: Rodin: an open toolset for modelling and reasoning in event-B. STTT 12(6), 447\u2013466 (2010)","journal-title":"STTT"},{"key":"23_CR3","volume-title":"Specification by Example: How Successful Teams Deliver the Right Software","author":"G Adzic","year":"2011","unstructured":"Adzic, G.: Specification by Example: How Successful Teams Deliver the Right Software, 1st edn. Manning Publications Co., Greenwich (2011)","edition":"1"},{"key":"23_CR4","unstructured":"Alder, G., Benson, D.: draw.io (2011). https:\/\/about.draw.io\/integrations"},{"issue":"5","key":"23_CR5","doi-asserted-by":"publisher","first-page":"747","DOI":"10.4304\/jsw.6.5.747-768","volume":"6","author":"D Amyot","year":"2011","unstructured":"Amyot, D., Mussbacher, G.: User requirements notation: the first ten years, the next ten years. JSW 6(5), 747\u2013768 (2011)","journal-title":"JSW"},{"issue":"5","key":"23_CR6","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1145\/359104.359108","volume":"22","author":"E Chang","year":"1979","unstructured":"Chang, E., Roberts, R.: An improved algorithm for decentralized extrema-finding in circular configurations of processes. Commun. ACM 22(5), 281\u2013283 (1979)","journal-title":"Commun. ACM"},{"issue":"1\u20132","key":"23_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program. 20(1\u20132), 3\u201350 (1993)","journal-title":"Sci. Comput. Program."},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Darimont, R., Zhao, W., Ponsard, C., Michot, A.: A modular requirements engineering framework for web-based toolchain integration. In: 24th IEEE International Requirements Engineering Conference, RE 2016, Beijing, China, 12\u201316 September, pp. 405\u2013406 (2016)","DOI":"10.1109\/RE.2016.49"},{"key":"23_CR9","unstructured":"Dennis, G., Seater, R.: Alloy Analyzer 4 Tutorial Session 4: Dynamic Modeling Software. Design Group. MIT (2017)"},{"issue":"2","key":"23_CR10","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"23_CR11","unstructured":"Jackson, D.: Alloy Analyser, Version 4 (2006). http:\/\/alloytools.org"},{"key":"23_CR12","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2012)"},{"issue":"4","key":"23_CR13","doi-asserted-by":"publisher","first-page":"2361","DOI":"10.1007\/s10270-018-0665-6","volume":"18","author":"N Kahani","year":"2018","unstructured":"Kahani, N., Bagherzadeh, M., Cordy, J.R., Dingel, J., Varr\u00f3, D.: Survey and classification of model transformation tools. Softw. Syst. Model. 18(4), 2361\u20132397 (2018)","journal-title":"Softw. Syst. Model."},{"key":"23_CR14","volume-title":"Requirements Engineering: From System Goals to UML Models to Software Specifications","author":"A van Lamsweerde","year":"2009","unstructured":"van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, Hoboken (2009)"},{"key":"23_CR15","unstructured":"Legrand, T.: Genmymodel (2012). https:\/\/www.genmymodel.com"},{"key":"23_CR16","unstructured":"Legrand, T.: GenMyModel API Documentation (2014). https:\/\/api.genmymodel.com\/doc"},{"key":"23_CR17","unstructured":"Lucid Software: Lucidchart (2008). https:\/\/www.lucidchart.com"},{"key":"23_CR18","unstructured":"Nulab Inc.: Cacoo (2009). https:\/\/cacoo.com"},{"key":"23_CR19","unstructured":"Nulab Inc.: Cacoo API Overview (2012). https:\/\/developer.nulab.com\/docs\/cacoo"},{"key":"23_CR20","unstructured":"OASIS: Open Services for Lifecycle Collaboration (2008). https:\/\/open-services.net"},{"key":"23_CR21","unstructured":"OMG: Unified modeling language (1997). http:\/\/www.omg.org\/spec\/UML"},{"key":"23_CR22","unstructured":"OMG: System modeling language (2005). http:\/\/www.omg.org\/spec\/SysML"},{"key":"23_CR23","unstructured":"OMG: MOF Model to Text Transformation Language (2008). http:\/\/www.omg.org\/spec\/MOFM2T"},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"OMG: XML Metadata Interchange v2.5.1 (2015). https:\/\/www.omg.org\/spec\/XMI","DOI":"10.1007\/978-1-4899-7993-3_902-2"},{"key":"23_CR25","doi-asserted-by":"crossref","unstructured":"Ponsard, C., Darimont, R.: Improving requirements engineering through goal-oriented models and tools: feedback from a large industrial deployment. In: Proceedings of 12th International Conference on Software Technologies, ICSOFT, Madrid, Spain, 24\u201326 July 2017","DOI":"10.5220\/0006462503720381"},{"key":"23_CR26","unstructured":"Ponsard, C., Darimont, R., Michot, A.: Combining models, diagrams and tables for efficient requirements engineering: lessons learned from the industry. In: INFORSID 2015, Biarritz, France, June 2015"},{"key":"23_CR27","unstructured":"Ponsard, C., Deprez, J.C., Delandtsheer, R.: Is my formal method tool ready for the industry? In: 11th International Workshop on Automated Verification of Critical Systems, Newcastle, UK, 12\u201314 September 2011"},{"key":"23_CR28","unstructured":"Ponsard, C., Michot, A., Darimont, R., Zhao, W.: A generic rest API on top of eclipse CDO for web-based modelling. EclipseCon France, Toulouse, June 2016"},{"key":"23_CR29","unstructured":"Ryan, M., Cook, S., Scott, W.: Application of MBSE to requirements engineering research challenges. In: Systems Engineering, Test and Evaluation Conference SETE2013, Canberra, Australia, April 2013"},{"issue":"2","key":"23_CR30","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest editor\u2019s introduction: model-driven engineering. Computer 39(2), 25\u201331 (2006). https:\/\/doi.org\/10.1109\/MC.2006.58","journal-title":"Computer"},{"issue":"2","key":"23_CR31","doi-asserted-by":"publisher","first-page":"29","DOI":"10.11648\/j.ajset.20180302.11","volume":"3","author":"M Soukaina","year":"2018","unstructured":"Soukaina, M., Abdessamad, B., Abdelaziz, M.: Model driven engineering tools: a survey. Am. J. Sci. Eng. Technol. 3(2), 29 (2018)","journal-title":"Am. J. Sci. Eng. Technol."},{"key":"23_CR32","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley Professional, Upper Saddle River (2009)"},{"key":"23_CR33","unstructured":"Stepper, E.: Connected data object (2006). https:\/\/www.eclipse.org\/cdo"},{"key":"23_CR34","unstructured":"Sysoev, I.: Nginx (2004). https:\/\/nginx.org"},{"issue":"9","key":"23_CR35","doi-asserted-by":"publisher","first-page":"1501","DOI":"10.1109\/JPROC.2018.2838530","volume":"106","author":"J Sztipanovits","year":"2018","unstructured":"Sztipanovits, J., et al.: Model and tool integration platforms for cyberphysical system design. Proc. IEEE 106(9), 1501\u20131526 (2018)","journal-title":"Proc. IEEE"},{"key":"23_CR36","unstructured":"Wynne, M., Hellesoy, A.: The Cucumber Book. The Pragmatic Programmers. Pragmatic Bookshelf, Dallas (2012)"},{"issue":"1","key":"23_CR37","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/271159.271180","volume":"18","author":"ESK Yu","year":"1997","unstructured":"Yu, E.S.K., Mylopoulos, J.: Enterprise modelling for business redesign: the i* framework. SIGGROUP Bull. 18(1), 59\u201363 (1997)","journal-title":"SIGGROUP Bull."},{"key":"23_CR38","doi-asserted-by":"crossref","unstructured":"Zolotas, A., et al.: Bridging proprietary modelling and open-source model management tools: the case of PTC integrity modeller and epsilon. In: Software & Systems Modeling (2019)","DOI":"10.1007\/s10270-019-00732-1"}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-32065-2_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T13:52:52Z","timestamp":1710251572000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-32065-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030320645","9783030320652"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-32065-2_23","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":"21 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MEDI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Model and Data Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toulouse","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","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":"28 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"medi2019a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.irit.fr\/MEDI2019\/","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":"41","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":"11","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":"7","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":"27% - 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":"4","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":"Peer Review Information from Medi International Workshops (DETECT, DSSGA and TRIDENT): out of 34 submissions and 1 invited paper, 13 full papers and 3 short papers were accepted","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)"}}]}}