{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T06:32:06Z","timestamp":1648535526258},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,1,31]],"date-time":"2007-01-31T00:00:00Z","timestamp":1170201600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2007,2,12]]},"DOI":"10.1007\/s11334-006-0016-6","type":"journal-article","created":{"date-parts":[[2007,2,2]],"date-time":"2007-02-02T15:02:39Z","timestamp":1170428559000},"page":"3-16","source":"Crossref","is-referenced-by-count":1,"title":["Specifying real-time properties in autonomic systems"],"prefix":"10.1007","volume":"3","author":[{"given":"Ji","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Zhinan","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"Betty H. C.","family":"Cheng","sequence":"additional","affiliation":[]},{"given":"Philip K.","family":"McKinley","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,1,31]]},"reference":[{"key":"16_CR1","unstructured":"RAPIDware. http:\/\/www.cse.msu.edu\/rapidware\/, Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Allen R, Douence R, Garlan D (1998) Specifying and analyzing dynamic software architectures. In: Proceedings of the 1998 conference on fundamental approaches to software engineering (FASE\u201998), Lisbon","DOI":"10.1007\/BFb0053581"},{"issue":"1","key":"16_CR3","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/174644.174651","volume":"41","author":"R Alur","year":"1994","unstructured":"Alur R, Henzinger TA (1994) A really temporal logic. J ACM 41(1):181\u2013203","journal-title":"J ACM"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Appavoo J, Hui K, Soules CAN, Wisniewski RW, Silva DMD, Krieger O, Auslander MA, Edelsohn DJ, Gamsa B, Ganger GR, McKenney P, Ostrowski M, Rosenburg B, Stumm M, Xenidis J (2003) Enabling autonomic behavior in systems software with hot swapping. IBM Syst J Special Issue on Autonomic Comput 42(1)","DOI":"10.1147\/sj.421.0060"},{"issue":"1","key":"16_CR5","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1145\/349194.349197","volume":"32","author":"P Bellini","year":"2000","unstructured":"Bellini P, Mattolini R, Nesi P (2000) Temporal logics for real-time system specification. ACM Comput Surv 32(1):12\u201342","journal-title":"ACM Comput Surv"},{"key":"16_CR6","unstructured":"Berry DM, Cheng BHC, Zhang J (2005) The four levels of requirements engineering for and in dynamic adaptive systems. In: Proceedings of the 11th international workshop on requirements engineering: foundation for software quality, Porto, Portugal"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Bershad BN, et\u00a0al (1994) Spin\u2014an extensible microkernel for application-specific operating system services. Techincal report Department of Computer Science and Engineering, University of Washington","DOI":"10.21236\/ADA293537"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Bolot JC, Vega-Garcia A (1996) Control mechanisms for packet audio in Internet. In: Proceedings of IEEE INFOCOM\u201996, San Francisco, pp 232\u2013239","DOI":"10.1109\/INFCOM.1996.497898"},{"key":"16_CR9","unstructured":"Bowman H, Thompson SJ (1998) A tableaux method for interval temporal logic with projection. In: TABLEAUX\u201998, international conference on analytic tableaux and related methods. Springer-Heidelberg, no. 1397 in Lecture Notes in AI, pp 108\u2013123, http:\/\/www.cs.ukc.ac.uk\/pubs\/1998\/528"},{"key":"16_CR10","unstructured":"Chen WK, Hiltunen MA, Schlichting R (2001) Constructing adaptive software in distributed systems. In: of the 21st international conference on distributed computing systems, Phoenix, pp 635\u2013643, http:\/\/citeseer.nj.nec.com\/chen01constructing.html"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Cuesta CE, de la Fuente P, Barrio-Solarzano M (2001) Dynamic coordination architecture through the use of reflection. In: Proceedings of the 2001 ACM symposium on applied computing, ACM, New York, pp 134\u2013140","DOI":"10.1145\/372202.372298"},{"key":"16_CR12","unstructured":"Degener J, Bormann C (2000) The GSM 06.10 lossy speech compression library and its applications. Available at http:\/\/kbs.cs.tu-berlin.de\/ jutta\/toast.html"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Emerson EA (1990) Temporal and modal logic. Handbook of theoretical computer science: formal models and semantics. vol B pp 995\u20131072","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"issue":"9","key":"16_CR14","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"12","author":"F Jahanian","year":"1986","unstructured":"Jahanian F, Mok AK (1986) Safety analysis of timing properties in real-time systems. IEEE Trans Softw Eng 12(9):890\u2013904","journal-title":"IEEE Trans Softw Eng"},{"issue":"1","key":"16_CR15","doi-asserted-by":"crossref","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. IEEE Comput 36(1):41\u201350","journal-title":"IEEE Comput"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Kon F, Rom\u00e1n M, Liu P, Mao J, Yamane T, Magalh\u00e3es LC, Campbell RH (2000) Monitoring, security, and dynamic configuration with the dynamicTAO reflective ORB. In: Proceedings of the IFIP\/ACM international conference on distributed systems platforms and open distributed processing, Springer-Heidelberg, no. 1795 in LNCS, pp 121\u2013143","DOI":"10.1007\/3-540-45559-0_7"},{"issue":"4","key":"16_CR17","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R Koymans","year":"1990","unstructured":"Koymans R (1990) Specifying real-time properties with metric temporal logic. Real-Time Syst 2(4):255\u2013299","journal-title":"Real-Time Syst"},{"issue":"11","key":"16_CR18","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1109\/32.60317","volume":"16","author":"J Kramer","year":"1990","unstructured":"Kramer J, Magee J (1990) The evolving philosophers problem: dynamic change management. IEEE Trans Softw Eng 16(11):1293\u20131306","journal-title":"IEEE Trans Softw Eng"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Kramer J, Magee J, Sloman M (1992) Configuring distributed systems. In: Proceedings of the 5th workshop on ACM SIGOPS European, ACM, New York, pp 1\u20135","DOI":"10.1145\/506378.506406"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Kulkarni SS, Biyani KN (2004) Correctness of component-based adaptation. In: Proceedings of the 7th international symposium on component-based software engineering, pp 48\u201358","DOI":"10.1007\/978-3-540-24774-6_6"},{"key":"16_CR21","unstructured":"Kulkarni SS, Biyani KN, Arumugam U (2003) 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\u2013W136"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Lichtenstein O, Pnueli A (1985) Checking that finite state concurrent programs satisfy their linear specification. In: Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on principles of programming languages, ACM Press, pp 97\u2013107, doi http:\/\/doi.acm.org\/10.1145\/318593.318622","DOI":"10.1145\/318593.318622"},{"issue":"7","key":"16_CR23","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/MC.2004.48","volume":"37","author":"P McKinley","year":"2004","unstructured":"McKinley P, Sadjadi SM, Kasten EP, Cheng BHC (2004) Composing adaptive software. IEEE Comput 37(7):56\u201364","journal-title":"IEEE Comput"},{"key":"16_CR24","unstructured":"Ostroff J, Wonham W (1987) Modeling and verifying real-time embedded computer systems. In: Proceedings of the IEEE real-time systems symposium, pp 124\u2013132"},{"key":"16_CR25","unstructured":"Pal PP, Loyall J, Schantz RE, Zinky JA, Webber F (2000) Open implementation toolkit for building survivable applications. In: Proceedings of the DARPA information survivability conference and exposition, Hilton Head Island"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Pnueli A (1977) The temporal logic of programs. In: Proceedings of the 18th IEEE symposium foundations of computer science (FOCS 1977), pp 46\u201357","DOI":"10.1109\/SFCS.1977.32"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Rizzo L (1997) Effective erasure codes for reliable computer communication protocols. ACM Comput Commun Rev","DOI":"10.1145\/263876.263881"},{"key":"16_CR28","doi-asserted-by":"crossref","unstructured":"Rosenberg J, Qiu L, Schulzrinne H (2000) Integrating packet FEC into adaptive voice playout buffer algorithms on the Internet. In: Proceedings of IEEE INFOCOM 2000, pp 1705\u20131714","DOI":"10.1109\/INFCOM.2000.832570"},{"key":"16_CR29","unstructured":"Rosner R, Pnueli A (1986) A choppy logic. In: Proceedings of symposium on logic in computer science, Cambridge, pp 306\u2013313"},{"key":"16_CR30","doi-asserted-by":"crossref","first-page":"1157","DOI":"10.1002\/spe.748","volume":"36","author":"S Sadjadi","year":"2006","unstructured":"Sadjadi S, McKinley P, Kasten E, Zhou Z (2006) Metasockets: design and operation of run-time reconfigurable communication services. Softw Pract Exp 36:1157\u20131178","journal-title":"Softw Pract Exp"},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"Sadjadi SM, McKinley PK (2004) ACT: an adaptive CORBA template to support unanticipated adaptation. In: Proceedings of the 24th IEEE international conference on distributed computing systems (ICDCS), Tokyo","DOI":"10.1109\/ICDCS.2004.1281570"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"Sadjadi SM, McKinley PK, Kasten EP (2003) Architecture and operation of an adaptable communication substrate. In: Proceedings of the ninth IEEE international workshop on future trends in distributed computing, San Juan, Puerto Rico","DOI":"10.1109\/FTDCS.2003.1204293"},{"key":"16_CR33","doi-asserted-by":"crossref","unstructured":"Wang F, Mok A, Emerson EA (1992) Formal specification of asynchronous distributed real-time systems by APTL. In: Proceedings of the 14th international conference on software engineering, ACM, New York, pp 188\u2013198","DOI":"10.1145\/143062.143113"},{"key":"16_CR34","doi-asserted-by":"crossref","unstructured":"Zhang J, Cheng BHC (2005) Specifying adaptation semantics. In: Proceedings of the 2005 workshop on architecting dependable systems, ACM, pp 1\u20137","DOI":"10.1145\/1083217.1083220"},{"key":"16_CR35","doi-asserted-by":"crossref","unstructured":"Zhang J, Cheng BHC (2006a) Model-based development of dynamically adaptive software. In: Proceedings of international conference on software engineering (ICSE\u201906), Shanghai","DOI":"10.1145\/1134285.1134337"},{"key":"16_CR36","unstructured":"Zhang J, Cheng BHC (2006b) Modular model checking of dynamically adaptive programs. Technical Report MSU-CSE-06-18, computer science and engineering, Michigan State University, East Lansing, Michigan, http:\/\/www.cse.msu.edu\/zhangji9\/Zhang06Modular.pdf, http:\/\/www.cse.msu.edu\/zhangji9\/Zhang06Modular.pdf"},{"issue":"10","key":"16_CR37","doi-asserted-by":"crossref","first-page":"1361","DOI":"10.1016\/j.jss.2006.02.062","volume":"79","author":"J Zhang","year":"2006c","unstructured":"Zhang J, Cheng BHC (2006c) Using temporal logic to specify adaptive program semantics. J Syst Softw (JSS), Architecting Dependable Systems 79(10):1361\u20131369","journal-title":"J Syst Softw (JSS), Architecting Dependable Systems"},{"key":"16_CR38","doi-asserted-by":"crossref","unstructured":"Zhang J, Yang Z, Cheng BHC, McKinley PK (2004) Adding safeness to dynamic adaptation techniques. In: Proceedings of ICSE 2004 workshop on architecting dependable systems, Edinburgh","DOI":"10.1049\/ic:20040495"},{"key":"16_CR39","doi-asserted-by":"crossref","unstructured":"Zhang J, Cheng BHC, Yang Z, McKinley PK (2005) Enabling safe dynamic component-based software adaptation. Architecting Dependable Systems, Lecture Notes in Computer Science pp 194\u2013211","DOI":"10.1007\/11556169_9"},{"key":"16_CR40","unstructured":"Zhou Z, McKinley PK, Sadjadi SM (2004) On quality-of-service and energy consumption tradeoffs in FEC-enabled audio streaming. In: Proceedings of the 12th IEEE international workshop on quality of service (IWQoS 2004), Montreal"},{"key":"16_CR41","unstructured":"Zhou Z, Zhang J, McKinley PK, Cheng BHC (2006) TA-LTL: Specifying adaptation timing properties in autonomic systems. In: 3rd IEEE workshop on engineering of autonomic systems (EASe 2006), Columbia"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-006-0016-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-006-0016-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-006-0016-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T09:47:43Z","timestamp":1559382463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-006-0016-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1,31]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,2,12]]}},"alternative-id":["16"],"URL":"https:\/\/doi.org\/10.1007\/s11334-006-0016-6","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1,31]]}}}