{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:27:15Z","timestamp":1742912835419,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031231186"},{"type":"electronic","value":"9783031231193"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-23119-3_15","type":"book-chapter","created":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T16:06:51Z","timestamp":1673280411000},"page":"207-221","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Maude-Based Rewriting Approach to\u00a0Model and\u00a0Control System-of-Systems\u2019 Resources Allocation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5724-8187","authenticated-orcid":false,"given":"Charaf Eddine","family":"Dridi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3311-4146","authenticated-orcid":false,"given":"Nabil","family":"Hameurlain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4563-4061","authenticated-orcid":false,"given":"Faiza","family":"Belala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,1,10]]},"reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"publisher","first-page":"18:1","DOI":"10.1145\/2794381","volume":"48","author":"CB Nielsen","year":"2015","unstructured":"Nielsen, C.B., Larsen, P.G., Fitzgerald, J., Woodcock, J., Peleska, J.: Systems of systems engineering: basic concepts, model-based techniques, and research directions. ACM Comput. Surv. 48(2), 18:1-18:41 (2015)","journal-title":"ACM Comput. Surv."},{"issue":"4","key":"15_CR2","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D","volume":"1","author":"MW Maier","year":"1998","unstructured":"Maier, M.W.: Architecting principles for systems-of-systems. Syst. Eng. 1(4), 267\u2013284 (1998)","journal-title":"Syst. Eng."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Combi, C., Oliboni, B., Zerbato, F.: Modeling and handling duration constraints in BPMN 2.0. In: Proceedings of the Symposium on Applied Computing (2017)","DOI":"10.1145\/3019612.3019618"},{"issue":"1","key":"15_CR4","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1504\/IJBSR.2019.096364","volume":"13","author":"I Graja","year":"2019","unstructured":"Graja, I., Kallel, S., Guermouche, N., Kacem, A.H.: Towards the verification of cyber-physical processes based on time and physical properties. Int. J. Bus. Syst. Res. 13(1), 47\u201376 (2019)","journal-title":"Int. J. Bus. Syst. Res."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: Toward a time-centric modeling of business processes in BPMN 2.0. In: Proceedings of International Conference on Information Integration and Web-based Applications & Services (2013)","DOI":"10.1145\/2539150.2539182"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Mori, M., Ceccarelli, A., Lollini, P., Bondavalli, A., Fromel, B.: A holistic viewpoint-based SysML profile to design systems-of-systems. In: 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) (2016)","DOI":"10.1109\/HASE.2016.21"},{"issue":"3","key":"15_CR7","first-page":"e1878","volume":"30","author":"M Mori","year":"2017","unstructured":"Mori, M., Ceccarelli, A., Lollini, P., Fr\u00f6mel, B., Brancati, F., Bondavalli, A.: Systems-of-systems modeling using a comprehensive viewpoint-based SysML profile. J. Softw.: Evol. Process. 30(3), e1878 (2017)","journal-title":"J. Softw.: Evol. Process."},{"issue":"1","key":"15_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/IJSSOE.297137","volume":"12","author":"A Seghiri","year":"2022","unstructured":"Seghiri, A., Belala, F., Hameurlain, N.: A formal language for modelling and verifying systems-of-systems software architectures. Int. J. Syst. Serv.-Oriented Eng. (IJSSOE) 12(1), 1\u201317 (2022)","journal-title":"Int. J. Syst. Serv.-Oriented Eng. (IJSSOE)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Seghiri, A., Belala, F., Hameurlain, N.: Modeling the dynamic reconfiguration in smart crisis response systems. In: 17th International Conference on Evaluation of Novel Approaches to Software Engineering, pp. 162\u2013173. SCITEPRESS-Science and Technology Publications (2022)","DOI":"10.5220\/0011069300003176"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.compeleceng.2017.01.016","volume":"58","author":"A Gassara","year":"2017","unstructured":"Gassara, A., Rodriguez, I.B., Jmaiel, M., Drira, K.: A bigraphical multi-scale modeling methodology for SoS. Comput. Electr. Eng. 58, 113\u2013125 (2017)","journal-title":"Comput. Electr. Eng."},{"issue":"6","key":"15_CR11","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1002\/sys.21516","volume":"22","author":"J Axelsson","year":"2019","unstructured":"Axelsson, J., Fr\u00f6berg, J., Eriksson, P.: Architecting systems-of-systems and their constituents: a case study applying industry 4.0 in the construction domain. Syst. Eng. 22(6), 455\u2013470 (2019)","journal-title":"Syst. Eng."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Baek, Y., Song, J., Shin, Y., Park, S., Bae, D.: A meta-model for representing system-of-systems ontologies. In: Proceedings of the 6th International Workshop on Software Engineering for Systems-of-Systems - SESoS \u201918 (2018)","DOI":"10.1145\/3194754.3194755"},{"issue":"2","key":"15_CR13","doi-asserted-by":"publisher","first-page":"358","DOI":"10.4304\/jsw.7.2.358-365","volume":"7","author":"Y Zhang","year":"2012","unstructured":"Zhang, Y., Liu, X., Wang, Z., Chen, L.: A service-oriented method for system-of-systems requirements analysis and architecture design. JSW 7(2), 358\u2013365 (2012)","journal-title":"JSW"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Halima, R.B., Klai, K., Sellami, M., Maamar, Z.: Formal modeling and verification of property-based resource consumption cycles. In: 2021 IEEE International Conference on Services Computing (SCC), pp. 370\u2013375. IEEE (2021)","DOI":"10.1109\/SCC53864.2021.00052"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1016\/j.is.2016.02.005","volume":"58","author":"Z Maamar","year":"2016","unstructured":"Maamar, Z., Faci, N., Sakr, S., Boukhebouze, M., Barnawi, A.: Network-based social coordination of business processes. Inf. Syst. 58, 56\u201374 (2016)","journal-title":"Inf. Syst."},{"issue":"1","key":"15_CR16","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/TSC.2016.2594062","volume":"10","author":"M Graiet","year":"2016","unstructured":"Graiet, M., Mammar, A., Boubaker, S., Gaaloul, W.: Towards correct cloud resource allocation in business processes. IEEE Trans. Serv. Comput. 10(1), 23\u201336 (2016)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Axelsson, J.: A refined terminology on system-of-systems substructure and constituent system states. In: 2019 14th Annual Conference System of Systems Engineering (SoSE), pp. 31\u201336. IEEE (2019)","DOI":"10.1109\/SYSOSE.2019.8753846"},{"issue":"7","key":"15_CR18","doi-asserted-by":"publisher","first-page":"1138","DOI":"10.3390\/ijerph16071138","volume":"16","author":"R Andrews","year":"2019","unstructured":"Andrews, R., et al.: Leveraging data quality to better prepare for process mining: an approach illustrated through analysing road trauma pre-hospital retrieval and transport processes in Queensland. Int. J. Environ. Res. Public Health 16(7), 1138 (2019)","journal-title":"Int. J. Environ. Res. Public Health"},{"key":"15_CR19","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-0-387-35520-7_5","volume-title":"Formal Methods for Open Object-Based Distributed Systems IV","author":"J Meseguer","year":"2000","unstructured":"Meseguer, J.: Rewriting logic and maude: a wide-spectrum semantic framework for object-based distributed systems. In: Smith, S.F., Talcott, C.L. (eds.) FMOODS 2000. IAICT, vol. 49, pp. 89\u2013117. Springer, Boston, MA (2000). https:\/\/doi.org\/10.1007\/978-0-387-35520-7_5"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-44881-0_7","volume-title":"Rewriting Techniques and Applications","author":"M Clavel","year":"2003","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: The maude 2.0 system. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 76\u201387. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-44881-0_7"},{"key":"15_CR21","unstructured":"Author, F.: Article title. Journal 2(5), 99\u2013110 (2016)"},{"key":"15_CR22","doi-asserted-by":"publisher","unstructured":"Author, F., Author, S.: Title of a proceedings paper. In: Editor, F., Editor, S. (eds.) CONFERENCE 2016, LNCS, vol. 9999, pp. 1\u201313. Springer, Heidelberg (2016). https:\/\/doi.org\/10.10007\/1234567890","DOI":"10.10007\/1234567890"},{"key":"15_CR23","unstructured":"Author, F., Author, S., Author, T.: Book title, 2nd edn. Publisher, Location (1999)"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Author, A.-B.: Contribution title. In: 9th International Proceedings on Proceedings, pp. 1\u20132. Publisher, Location (2010)","DOI":"10.1016\/B978-0-8155-1586-9.10009-X"},{"key":"15_CR25","unstructured":"LNCS Homepage. http:\/\/www.springer.com\/lncs. Accessed 4 Oct 2017"}],"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-031-23119-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T21:44:01Z","timestamp":1728683041000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-23119-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031231186","9783031231193"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-23119-3_15","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"10 January 2023","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":"Cairo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Egypt","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 November 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 November 2022","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":"medi2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.medi22.org\/","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":"65","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":"18","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":"0","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":"28% - 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.25","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.5","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)"}}]}}