{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:04:46Z","timestamp":1761487486671,"version":"3.41.0"},"reference-count":19,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2005,5,17]],"date-time":"2005-05-17T00:00:00Z","timestamp":1116288000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2005,7]]},"abstract":"<jats:p>Computer software must dynamically adapt to changing conditions. In order to fully realize the benefit of dynamic adaptation, it must be performed correctly. The correctness of adaptation cannot be properly addressed without precisely specifying the requirements for adaptation. This paper introduces an approach to formally specifying adaptation requirements in temporal logic. We introduce A-LTL, an adaptation-based extension to linear temporal logic, and use this logic to specify three commonly used adaptation semantics. Neighborhood composition and sequential composition techniques are developed and applied to A-LTL to construct the specification of an adaptive system. We introduce adaptation semantics graphs to visually present the adaptation semantics. Specifications for adaptive systems can be automatically generated from adaptation semantics graphs.<\/jats:p>","DOI":"10.1145\/1082983.1083220","type":"journal-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T19:28:32Z","timestamp":1131391712000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Specifying adaptation semantics"],"prefix":"10.1145","volume":"30","author":[{"given":"Ji","family":"Zhang","sequence":"first","affiliation":[{"name":"Michigan State University, East Lansing, Michigan"}]},{"given":"Betty H. C.","family":"Cheng","sequence":"additional","affiliation":[{"name":"Michigan State University, East Lansing, Michigan"}]}],"member":"320","published-online":{"date-parts":[[2005,5,17]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.48"},{"key":"e_1_2_1_2_1","volume-title":"May","author":"Kulkarni S.","year":"2004","unstructured":"S. Kulkarni and K. Biyani , \" Correctness of component-based adaptation,\" in Proceedings of International Symposium on Component-based Software Engineering , May 2004 . S. Kulkarni and K. Biyani, \"Correctness of component-based adaptation,\" in Proceedings of International Symposium on Component-based Software Engineering, May 2004."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/506378.506406"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/372202.372298"},{"key":"e_1_2_1_6_1","first-page":"W127","volume-title":"Workshop on Principles of Dependable Systems","author":"Kulkarni S. S.","year":"2003","unstructured":"S. S. Kulkarni , K. N. Biyani , and U. Arumugam , \" Composing distributed fault-tolerance components,\" in Proccedings of the International Conference on Dependable Systems and Networks (DSN), Supplemental Volume , Workshop on Principles of Dependable Systems , pp. W127 -- W136 , June 2003 . S. S. Kulkarni, K. N. Biyani, and U. Arumugam, \"Composing distributed fault-tolerance components,\" in Proccedings of the International Conference on Dependable Systems and Networks (DSN), Supplemental Volume, Workshop on Principles of Dependable Systems, pp. W127--W136, June 2003."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.60317"},{"key":"e_1_2_1_8_1","first-page":"177","volume-title":"Architecture-based runtime software evolution,\" in Proceedings of the 20th international conference on Software engineering","author":"Oreizy P.","year":"1998","unstructured":"P. Oreizy , N. Medvidovic , and R. N. Taylor , \" Architecture-based runtime software evolution,\" in Proceedings of the 20th international conference on Software engineering , pp. 177 -- 186 , IEEE Computer Society , 1998 . P. Oreizy, N. Medvidovic, and R. N. Taylor, \"Architecture-based runtime software evolution,\" in Proceedings of the 20th international conference on Software engineering, pp. 177--186, IEEE Computer Society, 1998."},{"key":"e_1_2_1_9_1","volume-title":"AZ), April 16 - 19","author":"Chen W.-K.","year":"2001","unstructured":"W.-K. Chen , M. A. Hiltunen , and R. D. Schlichting , \" Constructing adaptive software in distributed systems,\" in Proc. of the 21st International Conference on Distributed Computing Systems, (Mesa , AZ), April 16 - 19 2001 . W.-K. Chen, M. A. Hiltunen, and R. D. Schlichting, \"Constructing adaptive software in distributed systems,\" in Proc. of the 21st International Conference on Distributed Computing Systems, (Mesa, AZ), April 16 - 19 2001."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.421.0060"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/512035.512050"},{"key":"e_1_2_1_12_1","doi-asserted-by":"crossref","unstructured":"J. Zhang Z. Yang B. H. Cheng and P. K. McKinley \"Adding safeness to dynamic adaptation techniques \" in Proceedings of ICSE 2004 Workshop on Architecting Dependable Systems (Edinburgh Scotland UK) May 2004.  J. Zhang Z. Yang B. H. Cheng and P. K. McKinley \"Adding safeness to dynamic adaptation techniques \" in Proceedings of ICSE 2004 Workshop on Architecting Dependable Systems (Edinburgh Scotland UK) May 2004.","DOI":"10.1049\/ic:20040495"},{"key":"e_1_2_1_13_1","volume-title":"Lecture Notes in Computer Science","author":"Zhang J.","year":"2005","unstructured":"J. Zhang , B. H. Cheng , Z. Yang , and P. K. McKinley , \" Enabling safe dynamic component-based software adaptation,\" Architecting Dependable Systems , Lecture Notes in Computer Science , 2005 . Accepted for publication. J. Zhang, B. H. Cheng, Z. Yang, and P. K. McKinley, \"Enabling safe dynamic component-based software adaptation,\" Architecting Dependable Systems, Lecture Notes in Computer Science, 2005. Accepted for publication."},{"key":"e_1_2_1_14_1","doi-asserted-by":"crossref","unstructured":"A. Pnueli \"The temporal logic of programs \" in Proceedings of the 18th IEEE Symposium on Foundations of Computer Science pp. 46--57 1977.  A. Pnueli \"The temporal logic of programs \" in Proceedings of the 18th IEEE Symposium on Foundations of Computer Science pp. 46--57 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_2_1_15_1","first-page":"46","volume-title":"Puerto Rico)","author":"Sadjadi S. M.","year":"2003","unstructured":"S. M. Sadjadi , P. K. McKinley , and E. P. Kasten , \" Architecture and operation of an adaptable communication substrate,\" in Proceedings of the Ninth IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS'03), (San Juan , Puerto Rico) , pp. 46 -- 55 , May 2003 . S. M. Sadjadi, P. K. McKinley, and E. P. Kasten, \"Architecture and operation of an adaptable communication substrate,\" in Proceedings of the Ninth IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS'03), (San Juan, Puerto Rico), pp. 46--55, May 2003."},{"key":"e_1_2_1_16_1","first-page":"306","volume-title":"A choppy logic,\" in 1st IEEE Symposium on Logic in Computer Science","author":"Rosner R.","year":"1986","unstructured":"R. Rosner and A. Pnueli , \" A choppy logic,\" in 1st IEEE Symposium on Logic in Computer Science , pp. 306 -- 313 , 1986 . R. Rosner and A. Pnueli, \"A choppy logic,\" in 1st IEEE Symposium on Logic in Computer Science, pp. 306--313, 1986."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288307"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/318593.318622"},{"key":"e_1_2_1_20_1","volume-title":"Poland)","author":"Gerth R.","year":"1995","unstructured":"R. Gerth , D. Peled , M. Vardi , and P. Wolper , \" Simple on-the-fly automatic verification of linear temporal logic,\" in Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification (PSTV95), (Warsaw , Poland) , June 1995 . R. Gerth, D. Peled, M. Vardi, and P. Wolper, \"Simple on-the-fly automatic verification of linear temporal logic,\" in Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification (PSTV95), (Warsaw, Poland), June 1995."}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082983.1083220","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1082983.1083220","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:06Z","timestamp":1750262886000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082983.1083220"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5,17]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["10.1145\/1082983.1083220"],"URL":"https:\/\/doi.org\/10.1145\/1082983.1083220","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1083217.1083220","asserted-by":"subject"}]},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2005,5,17]]},"assertion":[{"value":"2005-05-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}