{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:17:34Z","timestamp":1750220254300,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,2,24]],"date-time":"2022-02-24T00:00:00Z","timestamp":1645660800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Science and Technology Project of Putian City","award":["2021R4001-10"],"award-info":[{"award-number":["2021R4001-10"]}]},{"name":"Key Laboratory of Applied Mathematics of Fujian Province University (Putian University)","award":["SX202102"],"award-info":[{"award-number":["SX202102"]}]},{"name":"The Provincial Natural Science Foundation of Fujian","award":["2020J01905"],"award-info":[{"award-number":["2020J01905"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,2,24]]},"DOI":"10.1145\/3523181.3523196","type":"proceedings-article","created":{"date-parts":[[2022,4,18]],"date-time":"2022-04-18T23:57:42Z","timestamp":1650326262000},"page":"102-107","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Binding Bigraphical Model of Context-Aware Adaptive Systems"],"prefix":"10.1145","author":[{"given":"Dong","family":"Xu","sequence":"first","affiliation":[{"name":"Shanghai University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi-Xing","family":"Li","sequence":"additional","affiliation":[{"name":"Shanghai University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chen-Huang","family":"Wu","sequence":"additional","affiliation":[{"name":"Fujian Province University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhi-Hua","family":"Niu","sequence":"additional","affiliation":[{"name":"Shanghai University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,4,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.35"},{"key":"e_1_3_2_1_2_1","unstructured":"PhoneAdapter 2012.http:\/\/sccpu2.cse.ust.hk\/afchecker\/phoneadapter.html.  PhoneAdapter 2012.http:\/\/sccpu2.cse.ust.hk\/afchecker\/phoneadapter.html."},{"key":"e_1_3_2_1_3_1","first-page":"854","volume":"2013","author":"Liu Yepang","unstructured":"Yepang Liu , Chang Xu , and S.C. Cheung ,AFChecker: Effective model checking for context-aware adaptive applications [J]. The Journal of System and Software , 2013 ,86(2013): 854 - 867 . Yepang Liu, Chang Xu, and S.C. Cheung,AFChecker: Effective model checking for context-aware adaptive applications [J]. The Journal of System and Software,2013,86(2013): 854- 867.","journal-title":"The Journal of System and Software"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1540607"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/329902"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"e_1_3_2_1_7_1","author":"Damgaard T. C.","year":"2006","unstructured":"T. C. Damgaard and L. Birkedal , Aximatizing Binding Bigraphs[J]. Nordic Journal of Computing , 2006 . T. C. Damgaard and L. Birkedal, Aximatizing Binding Bigraphs[J]. Nordic Journal of Computing, 2006.","journal-title":"Aximatizing Binding Bigraphs[J]. Nordic Journal of Computing"},{"key":"e_1_3_2_1_8_1","first-page":"419","volume":"2010","author":"Gao Chushu","unstructured":"Chushu Gao , Jun Wei , Chang Xu , and S.C. Cheung , Sequential Event Pattern Based Design of Context-Aware Adaptive Application[J]. International Journal of Software and Informatics , 2010 ,4(4): 419 - 436 . Chushu Gao, Jun Wei, Chang Xu, and S.C. Cheung, Sequential Event Pattern Based Design of Context-Aware Adaptive Application[J]. International Journal of Software and Informatics,2010,4(4):419-436.","journal-title":"International Journal of Software and Informatics"},{"issue":"1","key":"e_1_3_2_1_9_1","first-page":"85","volume":"7","author":"Xu Change","year":"2013","unstructured":"Change Xu , S.C. Cheung , Xiaoxing Ma , Chun Cao , and Jian Lv , Detecting Faults in Context-Aware Adaptation [J]. International Journal of Software and Informatics , 2013 , 7 ( 1 ): 85 - 111 . Change Xu, S.C. Cheung, Xiaoxing Ma, Chun Cao, and Jian Lv, Detecting Faults in Context-Aware Adaptation [J]. International Journal of Software and Informatics, 2013,7(1): 85-111.","journal-title":"International Journal of Software and Informatics"},{"issue":"1","key":"e_1_3_2_1_10_1","first-page":"85","volume":"7","author":"Xu Change","year":"2013","unstructured":"Change Xu , S.C. Cheung , Xiaoxing Ma , Chun Cao , and Jian Lv , ADAM: Identifying defects context-aware adaptation [J]. International Journal of Software and Informatics , 2013 , 7 ( 1 ): 85 - 111 . Change Xu, S.C. Cheung, Xiaoxing Ma, Chun Cao, and Jian Lv, ADAM: Identifying defects context-aware adaptation [J]. International Journal of Software and Informatics, 2013,7(1): 85-111.","journal-title":"International Journal of Software and Informatics"},{"key":"e_1_3_2_1_11_1","volume-title":"SEPTEMBER","author":"Lian Yu","year":"2016","unstructured":"Lian Yu et.al. Testing Context-Aware Applications Based on Bigraphical Modeling. IEEE TRANSACTIONS ON RELIABILITY, VOL. 65, NO. 3 , SEPTEMBER 2016 . Lian Yu et.al. Testing Context-Aware Applications Based on Bigraphical Modeling. IEEE TRANSACTIONS ON RELIABILITY, VOL. 65, NO. 3, SEPTEMBER 2016."},{"key":"e_1_3_2_1_12_1","volume-title":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS).","author":"Lian Yu","year":"2020","unstructured":"Lian Yu et.al. Attack Graph Auto-Generation for Blockchains based on Bigraphical Reaction Systems . 2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS). Dec. 11-14, 2020 . Macau, China. Lian Yu et.al. Attack Graph Auto-Generation for Blockchains based on Bigraphical Reaction Systems. 2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS). Dec. 11-14, 2020. Macau, China."},{"key":"e_1_3_2_1_13_1","unstructured":"T. C. Damgaard A. J. Glenstrup L. Birkedal and R. Milner An Inductive Characterization of Matching in Binding Bigraphs [J]. Under consideration for publication in Formal Aspects of Computing.  T. C. Damgaard A. J. Glenstrup L. Birkedal and R. Milner An Inductive Characterization of Matching in Binding Bigraphs [J]. Under consideration for publication in Formal Aspects of Computing."}],"event":{"name":"ASSE' 22: 2022 3rd Asia Service Sciences and Software Engineering Conference","acronym":"ASSE' 22","location":"Macau Macao"},"container-title":["2022 3rd Asia Service Sciences and Software Engineering Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3523181.3523196","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3523181.3523196","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:44Z","timestamp":1750188644000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3523181.3523196"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,24]]},"references-count":13,"alternative-id":["10.1145\/3523181.3523196","10.1145\/3523181"],"URL":"https:\/\/doi.org\/10.1145\/3523181.3523196","relation":{},"subject":[],"published":{"date-parts":[[2022,2,24]]},"assertion":[{"value":"2022-04-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}