{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:53:57Z","timestamp":1743152037507,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030876562"},{"type":"electronic","value":"9783030876579"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-87657-9_2","type":"book-chapter","created":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T22:22:37Z","timestamp":1633645357000},"page":"16-30","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Development of Critical Systems with UML\/OCL and FoCaLiZe"],"prefix":"10.1007","author":[{"given":"Messaoud","family":"Abbas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fatima","family":"Haloua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ammar","family":"Boucherit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,10,7]]},"reference":[{"key":"2_CR1","unstructured":"Hardin, T., Francois, P., Pierre, W., Damien, D.: FoCaLiZe: Tutorial and Reference Manual, version 0.9.2. CNAM\/INRIA\/LIP6 (2018). http:\/\/focalize.inria.fr"},{"issue":"6","key":"2_CR2","doi-asserted-by":"publisher","first-page":"4149","DOI":"10.1007\/s00500-019-04181-2","volume":"24","author":"M Abbas","year":"2020","unstructured":"Abbas, M., Ben-Yelles, C.B., Rioboo, R.: Formalizing UML\/OCL structural features with focalize. Soft Comput. 24(6), 4149\u20134164 (2020)","journal-title":"Soft Comput."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Abbas, M., Ben-Yelles, C.B., Rioboo, R.: Formalizing UML\/OCL multiple inheritance with focalize. In: 2018 International Conference on Smart Communications in Network Technologies (SaCoNeT), pp. 261\u2013266. IEEE (2018)","DOI":"10.1109\/SaCoNeT.2018.8585507"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-319-10181-1_6","volume-title":"Integrated Formal Methods","author":"M Abbas","year":"2014","unstructured":"Abbas, M., Ben-Yelles, C.-B., Rioboo, R.: Modeling UML template classes with FoCaLiZe. In: Albert, E., Sekerinski, E. (eds.) IFM 2014. LNCS, vol. 8739, pp. 87\u2013102. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10181-1_6"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"101911","DOI":"10.1016\/j.sysarc.2020.101911","volume":"114","author":"M Abbas","year":"2021","unstructured":"Abbas, M., Rioboo, R., Ben-Yelles, C.B., Snook, C.F.: Formal modeling and verification of UML activity diagrams (UAD) with focalize. J. Syst. Archit. 114, 101911 (2021)","journal-title":"J. Syst. Archit."},{"issue":"1","key":"2_CR6","first-page":"34","volume":"13","author":"M Abbas","year":"2018","unstructured":"Abbas, M., Ben-Yelles, C.B., Rioboo, R.: Modelling UML state machines with FoCaLiZe. Int. J. Inf. Commun. Technol. 13(1), 34\u201354 (2018)","journal-title":"Int. J. Inf. Commun. Technol."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Brown, S.: Overview of IEC 61508. Design of electrical\/electronic\/programmable electronic safety-related systems. Comput. Control Eng. J. 11(1), 6\u201312 (2000)","DOI":"10.1049\/cce:20000101"},{"key":"2_CR8","unstructured":"Public Key Infrastructure and Token Protection Profile: Common criteria for information technology security evaluation. National Security Agency (2002)"},{"key":"2_CR9","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. Cambridge University Press, Cambridge (2010)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Nipkow, T., Paulson, L.: Isabelle HOL-the tutorial (2001)","DOI":"10.1007\/3-540-45949-9"},{"key":"2_CR11","doi-asserted-by":"publisher","DOI":"10.1201\/9781351235181","volume-title":"Software Engineering with UML","author":"B Unhelkar","year":"2017","unstructured":"Unhelkar, B.: Software Engineering with UML. CRC Press, Boca Raton (2017)"},{"key":"2_CR12","unstructured":"Coq: The Coq Proof Assistant, Tutorial and Reference Manual, version 8.4. INRIA - LIP - LRI - LIX - PPS (2012). http:\/\/coq.inria.fr\/"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-75560-9_13","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"R Bonichon","year":"2007","unstructured":"Bonichon, R., Delahaye, D., Doligez, D.: Zenon: an extensible automated theorem prover producing checkable proofs. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol. 4790, pp. 151\u2013165. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75560-9_13"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.entcs.2009.07.003","volume":"243","author":"P Ayrault","year":"2009","unstructured":"Ayrault, P., Hardin, T., Pessaux, F.: Development life-cycle of critical software under FoCal. Electron. Notes Theor. Comput. Sci. 243, 15\u201331 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"2_CR15","unstructured":"OMG: OCL: Object Constraint Language 2.4, January 2018. https:\/\/www.omg.org\/spec\/OCL\/2.4\/PDF"},{"key":"2_CR16","unstructured":"OMG: Xml metadata interchange (XMI) specification 2.5.1, June 2015. https:\/\/www.omg.org\/spec\/XMI\/2.5.1\/PDF"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Doligez, D., Jaume, M., Rioboo, R.: Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the focalize environment. In: Proceedings of the 7th Workshop on Programming Languages and Analysis for Security, pp. 1\u201312 (2012)","DOI":"10.1145\/2336717.2336726"},{"key":"2_CR18","volume-title":"The B-Book: Assigning Programs to Meanings","author":"JR Abrial","year":"2005","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"e2334","DOI":"10.1002\/smr.2334","volume":"33","author":"NK Singh","year":"2021","unstructured":"Singh, N.K., Lawford, M., Maibaum, T.S., Wassyng, A.: A formal approach to rigorous development of critical systems. J. Softw. Evol. Process 33, e2334 (2021)","journal-title":"J. Softw. Evol. Process"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/978-3-319-91271-4_23","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"D Dghaym","year":"2018","unstructured":"Dghaym, D., Poppleton, M., Snook, C.: Diagram-led formal modelling using iUML-B for hybrid ERTMS level 3. In: Butler, M., Raschke, A., Hoang, T.S., Reichl, K. (eds.) ABZ 2018. LNCS, vol. 10817, pp. 338\u2013352. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91271-4_23"}],"container-title":["Communications in Computer and Information Science","Advances in Model and Data Engineering in the Digitalization Era"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-87657-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T22:22:54Z","timestamp":1633645374000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-87657-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030876562","9783030876579"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-87657-9_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"7 October 2021","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":"Tallinn","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Estonia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 June 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"medi2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cs.ttu.ee\/events\/medi2021\/","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":"47","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":"16","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":"8","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":"34% - 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":"3","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":"2","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Due to the Corona pandemic the event was held virtually. MEDI 2021 Workshops: 61 submissions, 24 papers 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)"}}]}}