{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:48:01Z","timestamp":1740142081506,"version":"3.37.3"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2021,7,19]],"date-time":"2021-07-19T00:00:00Z","timestamp":1626652800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,7,19]],"date-time":"2021-07-19T00:00:00Z","timestamp":1626652800000},"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":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2022,12]]},"DOI":"10.1007\/s11334-021-00409-3","type":"journal-article","created":{"date-parts":[[2021,7,19]],"date-time":"2021-07-19T12:03:18Z","timestamp":1626696198000},"page":"505-521","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems"],"prefix":"10.1007","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5210-0263","authenticated-orcid":false,"given":"Marwa","family":"Hachicha","sequence":"first","affiliation":[]},{"given":"Riadh","family":"Ben Halima","sequence":"additional","affiliation":[]},{"given":"Ahmed","family":"Hadj Kacem","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,7,19]]},"reference":[{"key":"409_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in event-B: system and software engineering","author":"J-R Abrial","year":"2010","unstructured":"Abrial J-R (2010) Modeling in event-B: system and software engineering, 1st edn. Cambridge University Press, New York","edition":"1"},{"issue":"6","key":"409_CR2","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"JR Abrial","year":"2010","unstructured":"Abrial JR, Butler M, Hallerstede S, Hoang TS, Mehta F, Voisin L (2010) Rodin: an open toolset for modelling and reasoning in event-b. Int J Softw Tools Technol Transf 12(6):447\u2013466","journal-title":"Int J Softw Tools Technol Transf"},{"issue":"4","key":"409_CR3","doi-asserted-by":"publisher","first-page":"2347","DOI":"10.1109\/COMST.2015.2444095","volume":"17","author":"A Al-Fuqaha","year":"2015","unstructured":"Al-Fuqaha A, Guizani M, Mohammadi M, Aledhari M, Ayyash M (2015) Internet of things: a survey on enabling technologies, protocols, and applications. IEEE Commun Surv Tutor 17(4):2347\u20132376 Fourthquarter","journal-title":"IEEE Commun Surv Tutor"},{"key":"409_CR4","unstructured":"Bayley I, Zhu H (2011) A formal language for the expression of pattern compositions. International Journal on Advances in Software 4(3):354\u2013366"},{"key":"409_CR5","doi-asserted-by":"crossref","unstructured":"B\u00fcsching, F., Post, H., Gietzelt, M. and Wolf, L. (2013) Fall detection on the road. In: 2013 IEEE 15th international conference on e-health networking, applications and services (Healthcom 2013), pp 439\u2013443","DOI":"10.1109\/HealthCom.2013.6720716"},{"key":"409_CR6","doi-asserted-by":"crossref","unstructured":"Butler M (2009) Decomposition structures for event-B. In: Proceedings of the 7th international conference on integrated formal methods, IFM \u201909, pp 20\u201338. Springer, Berlin, Heidelberg","DOI":"10.1007\/978-3-642-00255-7_2"},{"key":"409_CR7","doi-asserted-by":"crossref","unstructured":"Davis G (2018) 2020: life with 50 billion connected devices. In: 2018 IEEE international conference on consumer electronics (ICCE), p 1","DOI":"10.1109\/ICCE.2018.8326056"},{"issue":"11","key":"409_CR8","doi-asserted-by":"publisher","first-page":"1755","DOI":"10.1016\/j.jss.2007.03.005","volume":"80","author":"J Dong","year":"2007","unstructured":"Dong J, Alencar PS, Cowan DD, Yang S (2007) Composing pattern-based components and verifying correctness. J Syst Soft 80(11):1755\u20131769","journal-title":"J Syst Soft"},{"key":"409_CR9","doi-asserted-by":"crossref","unstructured":"Dong Q, Yang Y, Hongjun W, Jian-Hua X (2015) Fall alarm and inactivity detection system design and implementation on raspberry pi. In: 2015 17th international conference on advanced communication technology (ICACT), pp 382\u2013386","DOI":"10.1109\/ICACT.2015.7224824"},{"key":"409_CR10","unstructured":"Eclipse. https:\/\/wiki.eclipse.org\/graphical-modeling-framework. Accessed 20 Apr 2021"},{"key":"409_CR11","unstructured":"Eclipse. https:\/\/www.eclipse.org\/modeling\/emf\/. Accessed 20 Apr 2021"},{"key":"409_CR12","unstructured":"Eclipse. http:\/\/www.eclipse.org\/gef\/. Accessed 20 Apr 2021"},{"key":"409_CR13","unstructured":"Thomas Erl (2017) SOA Design Patterns. Prentice Hall Press 1edn, USA"},{"key":"409_CR14","unstructured":"Gamma E, Helm R, Johnson R, Vlissides J (1995) Design patterns: elements of reusable object-oriented software. Addison-Wesley, Reading"},{"key":"409_CR15","doi-asserted-by":"crossref","unstructured":"Hachicha Marwa, Dammak Emna, Halima Riadh\u00a0Ben, Kacem Ahmed\u00a0Hadj (2016) A correct by construction approach for modeling and formalizing self-adaptive systems. In: 2016 17th IEEE\/ACIS international conference on software engineering, artificial intelligence, networking and parallel\/distributed computing (SNPD), pp 379\u2013384","DOI":"10.1109\/SNPD.2016.7515928"},{"key":"409_CR16","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1504\/IJCAT.2018.090029","volume":"57","author":"M Hachicha","year":"2018","unstructured":"Hachicha M, Halima RB, Kacem AH (2018) Modeling, specifying and verifying self-adaptive systems instantiating mape patterns. Int J Comput Appl Technol 57:28\u201344","journal-title":"Int J Comput Appl Technol"},{"issue":"1","key":"409_CR17","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart JO, Chess DM (2003) The vision of autonomic computing. Computer 36(1):41\u201350","journal-title":"Computer"},{"issue":"5","key":"409_CR18","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s00165-008-0090-7","volume":"21","author":"Kim Soon-Kyeong","year":"2009","unstructured":"Soon-Kyeong Kim, David Carrington (2009) A formalism to describe design patterns based on role concepts. Formal Asp Comput 21(5):397\u2013420","journal-title":"Formal Asp Comput"},{"key":"409_CR19","first-page":"145","volume-title":"Healthcare system for non-invasive fall detection in indoor environment","author":"M Mercuri","year":"2016","unstructured":"Mercuri M, Garripoli C, Karsmakers P, Soh PJ, Vandenbosch GA, Pace C, Leroux P, Schreurs D (2016) Healthcare system for non-invasive fall detection in indoor environment. Springer, Cham, pp 145\u2013152"},{"issue":"3","key":"409_CR20","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1109\/TSC.2017.2690430","volume":"13","author":"L Pino","year":"2020","unstructured":"Pino L, Spanoudakis G, Krotsiani M, Mahbub K (2020) Pattern-based design and verification of secure service compositions. IEEE Trans Serv Comput 13(3):515\u2013528","journal-title":"IEEE Trans Serv Comput"},{"issue":"3","key":"409_CR21","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0950-5849(02)000195-7","volume":"45","author":"T Taibi","year":"2003","unstructured":"Taibi T, Ngo DC (2003) Formal specification of design pattern combination using BPSL. Inf Softw Technol 45(3):157\u2013170","journal-title":"Inf Softw Technol"},{"key":"409_CR22","doi-asserted-by":"crossref","unstructured":"That MT, Sadou S, Oquendo F, Borne I (2013) Composition-centered architectural pattern description language. In: Proceedings of the 7th European conference on software architecture, ECSA\u201913. Springer, Berlin, Heidelberg, pp 1\u201316","DOI":"10.1007\/978-3-642-39031-9_1"},{"issue":"C","key":"409_CR23","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.future.2014.09.002","volume":"47","author":"MT That","year":"2015","unstructured":"That MT, Sadou S, Oquendo F, Borne I (2015) Preserving architectural pattern composition information through explicit merging operators. Fut Gener Comput Syst 47(C):97\u2013112","journal-title":"Fut Gener Comput Syst"},{"key":"409_CR24","doi-asserted-by":"crossref","unstructured":"Tounsi I, Kacem MH, Kacem AH, Drira K (2017) Transformation of compound SOA design patterns. Proced Comput Sci 109:408\u2013415. 8th International Conference on Ambient Systems, Networks and Technologies, ANT-2017 and the 7th International Conference on Sustainable Energy Information Technology, SEIT (2017) 16\u201319 May 2017. Madeira, Portugal","DOI":"10.1016\/j.procs.2017.05.410"},{"key":"409_CR25","doi-asserted-by":"crossref","unstructured":"Tounsi I, Kacem MH, Kacem AH, Drira K (2015) An approach for soa design patterns composition. In: Proceedings of the 2015 IEEE 8th international conference on service-oriented computing and applications, SOCA \u201915. IEEE Computer Society, Washington, pp 219\u2013226","DOI":"10.1109\/SOCA.2015.43"},{"key":"409_CR26","doi-asserted-by":"crossref","unstructured":"Weyns D, Schmerl B, Grassi V, Malek S, Mirandola R, Prehofer C, Wuttke J, Andersson J, Giese H, G\u00f6schka KM, (2013) Software engineering for self-adaptive systems II: international seminar, Dagstuhl Castle, Germany, October 24\u201329, 2010. Revised Selected and Invited Papers. Chapter On patterns for decentralized control in self-adaptive systems. Springer, Berlin, Heidelberg, pp 76\u2013107","DOI":"10.1007\/978-3-642-35813-5_4"},{"issue":"11","key":"409_CR27","doi-asserted-by":"publisher","first-page":"1138","DOI":"10.1109\/TSE.2015.2445341","volume":"41","author":"H Zhu","year":"2015","unstructured":"Zhu H, Bayley I (2015) On the composability of design patterns. IEEE Trans Softw Eng 41(11):1138\u20131152","journal-title":"IEEE Trans Softw Eng"},{"key":"409_CR28","doi-asserted-by":"crossref","unstructured":"Zhu H, Bayley I (2017) On the composibility of design patterns: extended abstract. In: 2017 IEEE 41st annual computer software and applications conference (COMPSAC), vol\u00a01, pp 369\u2013370","DOI":"10.1109\/COMPSAC.2017.177"},{"key":"409_CR29","doi-asserted-by":"crossref","unstructured":"Zhu H, Bayley I (2010) Laws of pattern composition. In: Proceedings of the 12th international conference on formal engineering methods and software engineering, ICFEM\u201910. Springer, Berlin, Heidelberg, pp 630\u2013645","DOI":"10.1007\/978-3-642-16901-4_41"},{"issue":"3","key":"409_CR30","doi-asserted-by":"publisher","first-page":"23:1","DOI":"10.1145\/2491509.2491517","volume":"22","author":"H Zhu","year":"2013","unstructured":"Zhu H, Bayley I (2013) An algebra of design patterns. ACM Trans Softw Eng Methodol 22(3):23:1\u201323:35","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"409_CR31","first-page":"345","volume-title":"Pattern languages of program design. Chapter relationships between design patterns","author":"W Zimmer","year":"1995","unstructured":"Zimmer W (1995) Pattern languages of program design. Chapter relationships between design patterns. ACM Press\/Addison-Wesley Publishing Co., New York, pp 345\u2013364"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-021-00409-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11334-021-00409-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-021-00409-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,14]],"date-time":"2022-11-14T09:14:47Z","timestamp":1668417287000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11334-021-00409-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,19]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["409"],"URL":"https:\/\/doi.org\/10.1007\/s11334-021-00409-3","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"type":"print","value":"1614-5046"},{"type":"electronic","value":"1614-5054"}],"subject":[],"published":{"date-parts":[[2021,7,19]]},"assertion":[{"value":"16 January 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 June 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 July 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}