{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:45:27Z","timestamp":1726055127497},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030322120"},{"type":"electronic","value":"9783030322137"}],"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-32213-7_4","type":"book-chapter","created":{"date-parts":[[2019,10,15]],"date-time":"2019-10-15T23:04:57Z","timestamp":1571180697000},"page":"49-63","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formalizing and Verifying UML Activity Diagrams"],"prefix":"10.1007","author":[{"given":"Messaoud","family":"Abbas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mounir","family":"Beggas","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":[[2019,10,16]]},"reference":[{"key":"4_CR1","unstructured":"OMG: UML: Unified Modeling Language, version 2.5, March 2015. \n                    http:\/\/www.omg.org\/spec\/UML\/2.5\/PDF"},{"key":"4_CR2","unstructured":"OMG: OCL: Object Constraint Language 2.4, January 2014. \n                    http:\/\/www.omg.org\/spec\/OCL"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Younes, A.B., Ayed, L.J.B.: An UMLAD-to-event\n                    \n                      \n                    \n                    $$\\_$$\n                    \n                      \n                        _\n                      \n                    \n                  B refinement based approach for specifying and verifying workflow applications. In: Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services, pp. 523\u2013526. ACM (2011)","DOI":"10.1145\/2095536.2095645"},{"key":"4_CR4","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-319-08156-4_36","volume-title":"Proceedings of the Fifth International Conference on Innovations in Bio-Inspired Computing and Applications IBICA 2014","author":"J Czopik","year":"2014","unstructured":"Czopik, J., Ko\u0161in\u00e1r, M.A., \u0160tolfa, J., \u0160tolfa, S.: Formalization of software process using intuitive mapping of UML activity diagram to CPN. In: K\u00f6mer, P., Abraham, A., Sn\u00e1\u0161el, V. (eds.) Proceedings of the Fifth International Conference on Innovations in Bio-Inspired Computing and Applications IBICA 2014. AISC, vol. 303, pp. 365\u2013374. Springer, Cham (2014). \n                    https:\/\/doi.org\/10.1007\/978-3-319-08156-4_36"},{"key":"4_CR5","unstructured":"Gr\u00f8nmo, R., Solheim, I.: Towards modeling web service composition in UML. In: Web Services: Modeling, Architecture and Infrastructure, WSMAI 2004 4, pp. 72\u201386 (2004)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management","author":"WMP Aalst de","year":"2000","unstructured":"de Aalst, W.M.P., et al.: Workflow verification: finding control-flow errors using Petri-Net-based techniques. In: van der Aalst, W., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161\u2013183. Springer, Heidelberg (2000). \n                    https:\/\/doi.org\/10.1007\/3-540-45594-9_11"},{"key":"4_CR7","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":"4_CR8","volume-title":"Software Abstractions: Logic, Language and Anlysis","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions: Logic, Language and Anlysis. MIT Press, Cambridge (2012)"},{"issue":"4","key":"4_CR9","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1","volume-title":"All About Maude - A High-Performance Logical Framework, How to Specify, Program, and Verify Systems in Rewriting Logic","author":"M Clavel","year":"2007","unstructured":"Clavel, M., et al.: All About Maude - A High-Performance Logical Framework, How to Specify, Program, and Verify Systems in Rewriting Logic. LNCS, vol. 4350. Springer, Heidelberg (2007). \n                    https:\/\/doi.org\/10.1007\/978-3-540-71999-1"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/S1571-0661(05)82534-4","volume":"71","author":"S Eker","year":"2004","unstructured":"Eker, S., Meseguer, J., Sridharanarayanan, A.: The Maude LTL model checker. Electron. Notes Theor. Comput. Sci. 71, 162\u2013187 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"4_CR12","unstructured":"Messaoud, A., Choukri-Bey, B.Y., Renaud, R.: Generating FoCaLiZe specifications from UML models. In: Proceedings of the International Conference on Advanced Aspects of Software Engineering, ICAASE 2014, Constantine Algeria, pp. 157\u2013164 (2014)"},{"key":"4_CR13","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). \n                    https:\/\/doi.org\/10.1007\/978-3-319-10181-1_6"},{"key":"4_CR14","unstructured":"Messaoud, A.: Using FoCaLiZe to check OCL constraints on UML classes. In: Proceedings of the International Conference on Information Technology for Organization Development, IT4OD 2014, Tebessa Algeria, pp. 31\u201338 (2014)"},{"issue":"1","key":"4_CR15","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1504\/IJICT.2018.090429","volume":"13","author":"A Messaoud","year":"2018","unstructured":"Messaoud, A., Choukri-Bey, B.Y., Renaud, R.: Modelling UML state machines with focalize. IJICT 13(1), 34\u201354 (2018)","journal-title":"IJICT"},{"key":"4_CR16","unstructured":"Th\u00e9r\u00e8se, H., Francois, P., Pierre, W., Damien, D.: FoCaLiZe: Tutorial and Reference Manual, version 0.9.2. CNAM-INRIA-LIP6 (2018). \n                    http:\/\/focalize.inria.fr"},{"key":"4_CR17","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., Th\u00e9r\u00e8se, H., Fran\u00e7ois, P.: Development life-cycle of critical software under focal. Electr. Notes Theor. Comput. Sci. 243, 15\u201331 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"4_CR18","unstructured":"Coq: The Coq Proof Assistant, Tutorial and Reference Manual, Version 8.5.INRIA\u00a0- LIP - LRI - LIX - PPS (2016). Distribution: \n                    http:\/\/coq.inria.fr\/"},{"key":"4_CR19","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). \n                    https:\/\/doi.org\/10.1007\/978-3-540-75560-9_13"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Delahaye, D., \u00c9tienne, J., Donzeau-Gouge, V.: Producing UML models from focal specifications: an application to airport security regulations. In: 2nd IFIP\/IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 121\u2013124 (2008)","DOI":"10.1109\/TASE.2008.35"},{"key":"4_CR21","unstructured":"W3C: XSL Transformations (XSLT) Version 3.0, W3C Recommendation, October 2014 (2015). \n                    http:\/\/www.w3.org\/TR\/2014\/WD-xslt-30-20141002\/"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Younes, A.B., Ayed, L.J.B.: Using UML activity diagrams and event B for distributed and parallel applications. In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, vol. 1, pp. 163\u2013170. IEEE (2007)","DOI":"10.1109\/COMPSAC.2007.233"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Younes, A.B., Hlaoui, Y.B., Ayed, L.J.B.: A meta-model Transformation from UML activity diagrams to Event-B models. In: Computer Software and Applications Conference Workshops (COMPSACW), pp. 740\u2013745. IEEE (2014)","DOI":"10.1109\/COMPSACW.2014.119"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-09195-2_6","volume-title":"Modelling Foundations and Applications","author":"Y Laurent","year":"2014","unstructured":"Laurent, Y., Bendraou, R., Baarir, S., Gervais, M.-P.: Alloy4SPV: a formal framework for software process verification. In: Cabot, J., Rubin, J. (eds.) ECMFA 2014. LNCS, vol. 8569, pp. 83\u2013100. Springer, Cham (2014). \n                    https:\/\/doi.org\/10.1007\/978-3-319-09195-2_6"},{"issue":"5","key":"4_CR25","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1049\/iet-sen.2014.0087","volume":"9","author":"M Rahim","year":"2015","unstructured":"Rahim, M., Kheldoun, A., Boukala-Ioualalen, M., Hammad, A.: Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams. IET Softw. 9(5), 119\u2013128 (2015)","journal-title":"IET Softw."},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Rahim, M., Hammad, A., Boukala-Ioualalen, M.: Towards the formal verification of SysML specifications: translation of activity diagrams into modular Petri Nets. In: 2015 3rd International Conference on Applied Computing and Information Technology\/2nd International Conference on Computational Science and Intelligence (ACIT-CSI), pp. 509\u2013516. IEEE (2015)","DOI":"10.1109\/ACIT-CSI.2015.97"},{"key":"4_CR27","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-319-13572-4_6","volume-title":"Afro-European Conference for Industrial Advancement","author":"J Czopik","year":"2015","unstructured":"Czopik, J., Ko\u0161in\u00e1r, M.A., \u0160tolfa, J., \u0160tolfa, S.: Addition of static aspects to the intuitive mapping of UML activity diagram to CPN. In: Abraham, A., Kr\u00f6mer, P., Snasel, V. (eds.) Afro-European Conference for Industrial Advancement. AISC, vol. 334, pp. 77\u201386. Springer, Cham (2015). \n                    https:\/\/doi.org\/10.1007\/978-3-319-13572-4_6"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Kerkouche, E., Khalfaoui, K., Chaoui, A., Aldahoud, A.: UML activity diagrams and maude integrated modeling and analysis approach using graph transformation. In: Proceedings of ICIT 2015 The 7th International Conference on Information Technology, Amman, Jordan, pp. 515\u2013521 (2015)","DOI":"10.15849\/icit.2015.0093"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Jamal, M., Zafar, N.A.: Formalizing structural semantics of UML 2.5 activity diagram in Z notation. In: 2016 International Conference on Open Source Systems & Technologies (ICOSST), Lahore, Pakistan, pp. 66\u201371. IEEE (2016)","DOI":"10.1109\/ICOSST.2016.7838579"},{"key":"4_CR30","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.scico.2015.05.008","volume":"111","author":"Z Daw","year":"2015","unstructured":"Daw, Z., Cleaveland, R.: Comparing model checkers for timed UML activity diagrams. Sci. Comput. Program. 111, 277\u2013299 (2015)","journal-title":"Sci. Comput. Program."},{"key":"4_CR31","unstructured":"Daw, Z., Mangino, J., Cleaveland, R.: UML-VT: A formal verification environment for UML activity diagrams. In: Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, 27 September 2015, pp. 48\u201351 (2015)"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Gu, F., Zhang, X., Chen, M., Gro\u00dfe, D., Drechsler, R.: Quantitative timing analysis of UML activity diagrams using statistical model checking. In: Proceedings of the 2016 Conference on Design, Automation & Test in Europe, EDA Consortium, pp. 780\u2013785 (2016)","DOI":"10.3850\/9783981537079_0339"}],"container-title":["Communications in Computer and Information Science","New Trends in Model and Data Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-32213-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,15]],"date-time":"2019-10-15T23:05:56Z","timestamp":1571180756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-32213-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030322120","9783030322137"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-32213-7_4","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"16 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)"}}]}}