{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T04:02:40Z","timestamp":1743912160664,"version":"3.40.3"},"reference-count":33,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2025,4,1]]},"DOI":"10.1587\/transinf.2024edp7200","type":"journal-article","created":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T22:11:15Z","timestamp":1730326275000},"page":"360-370","source":"Crossref","is-referenced-by-count":0,"title":["Multi-Grained Guaranteeable Requirement Analysis for Iterative Adaptation"],"prefix":"10.1587","volume":"E108.D","author":[{"given":"Jialong","family":"LI","sequence":"first","affiliation":[{"name":"Waseda University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takuto","family":"YAMAUCHI","sequence":"additional","affiliation":[{"name":"Waseda University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takanori","family":"HIRANO","sequence":"additional","affiliation":[{"name":"Waseda University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinyu","family":"CAI","sequence":"additional","affiliation":[{"name":"Waseda University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenji","family":"TEI","sequence":"additional","affiliation":[{"name":"Tokyo Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] J. Kramer, \u201cRe @ runtime : the challenge of change re\u201920 conference keynote,\u201d 2020 IEEE 28th International Requirements Engineering Conference (RE), pp.4-6, 2020. 10.1109\/re48521.2020.00012","DOI":"10.1109\/RE48521.2020.00012"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] D. Sykes, W. Heaven, J. Magee, and J. Kramer, \u201cFrom goals to components: A combined approach to self-management,\u201d Proc. 2008 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS \u201908, pp.1-8, 2008. 10.1145\/1370018.1370020","DOI":"10.1145\/1370018.1370020"},{"key":"3","unstructured":"[3] Lori MacVittie, \u201cHow to gracefully degrade web 2.0 applications to maintain availability.\u201d https:\/\/web.archive.org\/web\/20100428043002\/http:\/\/devcentral.f5.com\/weblogs\/macvittie\/archive\/2010\/01\/27\/how-to-gracefully-degrade-web-2.0-applications-to-maintain-availability.aspx. Accessed: 2024-01-30."},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] N. D\u2019Ippolito, V. Braberman, J. Kramer, J. Magee, D. Sykes, and S. Uchitel, \u201cHope for the best, prepare for the worst: Multi-tier control for adaptive systems,\u201d Proc. 36th International Conference on Software Engineering, ICSE 2014, p.688-699, 2014. 10.1145\/2568225.2568264","DOI":"10.1145\/2568225.2568264"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] J. Li, K. Aizawa, K. Tei, and S. Honiden, \u201cEfficient difference analysis algorithm for runtime requirement degradation under system functional fault,\u201d 2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC), pp.33-40, 2020. 10.1109\/euc50751.2020.00012","DOI":"10.1109\/EUC50751.2020.00012"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] J. Li and K. Tei, \u201cDone is better than perfect: Iterative adaptation via multi-grained requirement relaxation,\u201d 2022 IEEE 30th International Requirements Engineering Conference (RE), pp.288-294, 2022. 10.1109\/re54965.2022.00043","DOI":"10.1109\/RE54965.2022.00043"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] H. Shi, W. Dong, R. Li, and W. Liu, \u201cController resynthesis for multirobot system when changes happen,\u201d Computer, vol.53, no.12, pp.69-79, 2020. 10.1109\/mc.2020.3017343","DOI":"10.1109\/MC.2020.3017343"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] T. Hirano, K. Tei, K. Aizawa, and S. Honiden, \u201cDifferential controller synthesis at runtime using changed parts of environment model,\u201d 2021 IEEE 8th International Conference on Industrial Engineering and Applications (ICIEA), pp.91-100, 2021. 10.1109\/iciea52957.2021.9436711","DOI":"10.1109\/ICIEA52957.2021.9436711"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] P. Zave and M. Jackson, \u201cFour dark corners of requirements engineering,\u201d ACM Trans. Softw. Eng. Methodol., vol.6, no.1, pp.1-30, Jan. 1997. 10.1145\/237432.237434","DOI":"10.1145\/237432.237434"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] J. Li, T. Yamauchi, N. Li, Z. Chen, M. Zhang, T. Hirano, and K. Tei, \u201cDemonstration of a real-world self-adaptive robot path-finding using discrete controller synthesis,\u201d 4th IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023. 10.1109\/acsos-c58168.2023.00029","DOI":"10.1109\/ACSOS-C58168.2023.00029"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] D. Giannakopoulou and J. Magee, \u201cFluent model checking for event-based systems,\u201d SIGSOFT Softw. Eng. Notes, vol.28, no.5, pp.257-266, Sept. 2003. 10.1145\/949952.940106","DOI":"10.1145\/949952.940106"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] B. Alpern and F.B. Schneider, \u201cRecognizing safety and liveness,\u201d Distributed Computing, vol.2, no.3, pp.117-126, 1987. 10.1007\/bf01782772","DOI":"10.1007\/BF01782772"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] V. Braberman, N. D\u2019Ippolito, N. Piterman, D. Sykes, and S. Uchitel, \u201cController synthesis: From modelling to enactment,\u201d Proc. 2013 International Conference on Software Engineering, ICSE \u201913, pp.1347-1380, IEEE Press, 2013. 10.1109\/icse.2013.6606714","DOI":"10.1109\/ICSE.2013.6606714"},{"key":"14","unstructured":"[14] J. Magee and J. Kramer, Concurrency: State Models and Java Programs, 2nd ed., Wiley Publishing, 2006."},{"key":"15","unstructured":"[15] S.J. Russell and P. Norvig, Artificial Intelligence: a modern approach, 3 ed., Pearson, 2009."},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] K. Aizawa, K. Tei, and S. Honiden, \u201cIdentifying safety properties guaranteed in changed environment at runtime,\u201d 2018 IEEE International Conference on Agents (ICA), pp.75-80, 2018. 10.1109\/agents.2018.8460083","DOI":"10.1109\/AGENTS.2018.8460083"},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] K. Aizawa, K. Tei, and S. Honiden, \u201cAnalysis space reduction with state merging for ensuring safety properties of self-adaptive systems,\u201d 2019 IEEE SmartWorld, Ubiquitous Intelligence Computing, Advanced Trusted Computing, Scalable Computing Communications, Cloud Big Data Computing, Internet of People and Smart City Innovation, pp.1363-1370, Aug. 2019. 10.1109\/smartworld-uic-atc-scalcom-iop-sci.2019.00249","DOI":"10.1109\/SmartWorld-UIC-ATC-SCALCOM-IOP-SCI.2019.00249"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] N. Li, M. Zhang, J. Li, E. Kang, and K. Tei, \u201cPreference adaptation: user satisfaction is all you need!,\u201d 2023 IEEE\/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.133-144, 2023. 10.1109\/seams59076.2023.00027","DOI":"10.1109\/SEAMS59076.2023.00027"},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] L. Nahabedian, V. Braberman, N. D\u2019Ippolito, S. Honiden, J. Kramer, K. Tei, and S. Uchitel, \u201cDynamic update of discrete event controllers,\u201d IEEE Trans. Softw. Eng., vol.46, no.11, pp.1220-1240, Nov. 2020. 10.1109\/tse.2018.2876843","DOI":"10.1109\/TSE.2018.2876843"},{"key":"20","doi-asserted-by":"publisher","unstructured":"[20] J.O. Kephart and D.M. Chess, \u201cThe vision of autonomic computing,\u201d Computer, vol.36, no.1, pp.41-50, Jan. 2003. 10.1109\/mc.2003.1160055","DOI":"10.1109\/MC.2003.1160055"},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] D. Sykes, D. Corapi, J. Magee, J. Kramer, A. Russo, and K. Inoue, \u201cLearning revised models for planning in adaptive systems,\u201d 2013 35th International Conference on Software Engineering (ICSE), pp.63-71, May 2013. 10.1109\/icse.2013.6606552","DOI":"10.1109\/ICSE.2013.6606552"},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] W. Qian, X. Peng, B. Chen, J. Mylopoulos, H. Wang, and W. Zhao, \u201cRationalism with a dose of empiricism: Case-based reasoning for requirements-driven self-adaptation,\u201d 2014 IEEE 22nd International Requirements Engineering Conference (RE), pp.113-122, 2014. 10.1109\/re.2014.6912253","DOI":"10.1109\/RE.2014.6912253"},{"key":"23","doi-asserted-by":"crossref","unstructured":"[23] D. Alrajeh, A. Cailliau, and A. van Lamsweerde, \u201cAdapting requirements models to varying environments,\u201d the ACM\/IEEE 42nd International Conference on Software Engineering (ICSE), pp.50-61, 2020. 10.1145\/3377811.3380927","DOI":"10.1145\/3377811.3380927"},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] H. Samin, L.H.G. Paucar, N. Bencomo, and P. Sawyer, \u201cTowards priority-awareness in autonomous intelligent systems,\u201d Proc. 36th Annual ACM Symposium on Applied Computing, pp.1328-1337, 2021. 10.1145\/3412841.3442007","DOI":"10.1145\/3412841.3442007"},{"key":"25","unstructured":"[25] A. van Lamsweerde, Requirements Engineering: From System Goals to UML Models to Software Specifications, 1st ed., Wiley Publishing, 2009."},{"key":"26","unstructured":"[26] L.L. Pullum, Software Fault Tolerance Techniques and Implementation, Artech House, Inc., USA, 2001."},{"key":"27","doi-asserted-by":"crossref","unstructured":"[27] T. Saridakis, Design Patterns for Graceful Degradation, pp.67-93, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009. 10.1007\/978-3-642-10832-7_3","DOI":"10.1007\/978-3-642-10832-7_3"},{"key":"28","doi-asserted-by":"crossref","unstructured":"[28] J. Whittle, P. Sawyer, N. Bencomo, B.H. Cheng, and J.M. Bruel, \u201cRelax: Incorporating uncertainty into the specification of self-adaptive systems,\u201d 2009 17th IEEE International Requirements Engineering Conference, pp.79-88, 2009. 10.1109\/re.2009.36","DOI":"10.1109\/RE.2009.36"},{"key":"29","doi-asserted-by":"crossref","unstructured":"[29] L. Baresi, L. Pasquale, and P. Spoletini, \u201cFuzzy goals for requirements-driven adaptation,\u201d 2010 18th IEEE International Requirements Engineering Conference, pp.125-134, 2010. 10.1109\/re.2010.25","DOI":"10.1109\/RE.2010.25"},{"key":"30","doi-asserted-by":"crossref","unstructured":"[30] A. Borda, L. Pasquale, V. Koutavas, and B. Nuseibeh, \u201cCompositional verification of self-adaptive cyber-physical systems,\u201d 2018 IEEE\/ACM 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.1-11, May 2018. 10.1145\/3194133.3194146","DOI":"10.1145\/3194133.3194146"},{"key":"31","doi-asserted-by":"crossref","unstructured":"[31] J. Li, K. Tei, and S. Honiden, \u201cIdentifying achievable goals for adaptive replanning against runtime environment change,\u201d Intelligent Systems Design and Applications, Cham, pp.945-955, Springer International Publishing, 2021. 10.1007\/978-3-030-71187-0_87","DOI":"10.1007\/978-3-030-71187-0_87"},{"key":"32","doi-asserted-by":"crossref","unstructured":"[32] J. Li, W. Manzano, T. Yamauchi, N. Matsuyama, E.Y. Nakagawa, and K. Tei, \u201cEmploying discrete controller synthesis for developing systems-of-systems controllers,\u201d 2024 12th ACM\/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems (SESoS@ICSE), pp.1-8, April 2024. 10.1145\/3643655.3643875","DOI":"10.1145\/3643655.3643875"},{"key":"33","doi-asserted-by":"crossref","unstructured":"[33] T. Yamauchi, T. Hirano, J. Li, T. Kawasaki, Y. Chen, A. Tsuge, T. Okoshi, J. Nakazawa, N. Yoshioka, G. Palaiokrassas, A. Litke, and K. Tei, \u201cA development method for safe node-red systems using discrete controller synthesis,\u201d 2021 IEEE International Conferences on Internet of Things (iThings), pp.130-137, 2021. 10.1109\/ithings-greencom-cpscom-smartdata-cybermatics53846.2021.00033","DOI":"10.1109\/iThings-GreenCom-CPSCom-SmartData-Cybermatics53846.2021.00033"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E108.D\/4\/E108.D_2024EDP7200\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T03:27:18Z","timestamp":1743823638000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E108.D\/4\/E108.D_2024EDP7200\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,1]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2024edp7200","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"type":"print","value":"0916-8532"},{"type":"electronic","value":"1745-1361"}],"subject":[],"published":{"date-parts":[[2025,4,1]]},"article-number":"2024EDP7200"}}