{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:49:43Z","timestamp":1725511783899},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540711551"},{"type":"electronic","value":"9783540711568"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71156-8_11","type":"book-chapter","created":{"date-parts":[[2007,6,20]],"date-time":"2007-06-20T21:19:27Z","timestamp":1182374367000},"page":"203-224","source":"Crossref","is-referenced-by-count":5,"title":["Dynamic System Reconfiguration Via Service Composition for Dependable Computing"],"prefix":"10.1007","author":[{"given":"W. T.","family":"Tsai","sequence":"first","affiliation":[]},{"given":"Weiwei","family":"Song","sequence":"additional","affiliation":[]},{"given":"Yinong","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Ray","family":"Paul","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053581","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Allen","year":"1998","unstructured":"Allen, R., Douence, R., Garlan, D.: Specifying and Analyzing Dynamic Software Architectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, Springer, Heidelberg (1998)"},{"key":"11_CR2","unstructured":"Arsanjani, A.: Service-Oriented Modeling and Architecture: How to Identify, Specify, and Realize Services for Your SOA. Whitepaper from IBM (Nov. 2004), available at http:\/\/www-128.ibm.com\/developerworks\/webservices\/library\/ws-soa-design1\/"},{"issue":"1","key":"11_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Bradbury, J., Cordy, J., Dingel, J., Wermelinger, M.: A Survey of Self-Management in Dynamic Architecture Specifications. In: Proc. of International Workshop on Self-Management Systems (2004)","DOI":"10.1145\/1075405.1075411"},{"key":"11_CR5","unstructured":"Brown, G., Carpenter, R.: Successful Application of Service-Oriented Architecture across the Enterprise and Beyond. Intel Technology Journal (Nov. 2004), Available at http:\/\/www.intel.com\/technology\/itj\/2004\/volume08issue04\/art09_successful\/p07_references.htm"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1145\/967900.967971","volume-title":"Proceedings of the 2004 ACM Symposium on Applied Computing","author":"B. Carmeli","year":"2004","unstructured":"Carmeli, B., et al.: High throughput reliable message dissemination. In: Proceedings of the 2004 ACM Symposium on Applied Computing, pp. 322\u2013327. ACM Press, New York (2004)"},{"issue":"2","key":"11_CR7","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1145\/226643.226647","volume":"43","author":"T. Chandra","year":"1996","unstructured":"Chandra, T., Toueg, S.: Unreliable Failure Detectors for Reliable Distributed Systems. Journal of the ACM\u00a043(2), 245\u2013267 (1996)","journal-title":"Journal of the ACM"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Cervantes, H., Hall, R.S.: Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model. In: 26th ICSE, pp. 614\u2013623 (2004)","DOI":"10.1109\/ICSE.2004.1317483"},{"key":"11_CR9","volume-title":"Introduction to programming languages: Programming in C, C++, Scheme, Prolog, C#, and SOA","author":"Y. Chen","year":"2006","unstructured":"Chen, Y., Tsai, W.T.: Introduction to programming languages: Programming in C, C++, Scheme, Prolog, C#, and SOA, 2nd edn. Kendall\/Hunt Publishing Company, Dubuque (2006)","edition":"2"},{"key":"11_CR10","unstructured":"Dowling, J., Cahill, V.: Dynamic Software Evolution and the K-Component Model. In: Proc. of Workshop on Software Evolution, OOPSLA (2001)"},{"key":"11_CR11","volume-title":"Service-Oriented Architecture: A Field Guide to Integrating XML and Web Services","author":"T. Erl","year":"2004","unstructured":"Erl, T.: Service-Oriented Architecture: A Field Guide to Integrating XML and Web Services. Prentice Hall PTR, New York (2004)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Foster, I., Kesselman, C., Nick, J.M., Tuecke, S.: The Physiology of Grid: An Open Grid Services Architecture for Distributed Systems Integration (Feb.17, 2002), http:\/\/www.globus.org\/ogsa\/","DOI":"10.1109\/MC.2002.1009167"},{"key":"11_CR13","first-page":"47","volume-title":"Foundations of Component-Based Systems","author":"D. Garlan","year":"2000","unstructured":"Garlan, D., Monroe, R.T., Wile, D.: Acme: Architectural Description of Component-Based Systems. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems, pp. 47\u201368. Cambridge University Press, Cambridge (2000)"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/3-540-12689-9_99","volume-title":"Foundations of Computation Theory","author":"M. Fischer","year":"1983","unstructured":"Fischer, M.: The Consensus Problem in Unreliable Distributed Systems. In: Karpinski, M. (ed.) Foundations of Computation Theory. LNCS, vol.\u00a0158, pp. 127\u2013140. Springer, Heidelberg (1983)"},{"key":"11_CR15","unstructured":"High, R., Kinder, S., Graham, S.: IBM SOA Foundation: An Architectural Introduction and Overview, Version 1.0 (2005)"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Hillman, J., Warren, I.: An Open Framework for Dynamic Reconfiguration. In: 26th ICSE, vol. 00, pp. 594\u2013603 (2004)","DOI":"10.1109\/ICSE.2004.1317481"},{"key":"11_CR17","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Reading (2003)"},{"key":"11_CR18","volume-title":"Enterprise SOA: Service-Oriented Architecture Best Practices","author":"D. Krafzig","year":"2005","unstructured":"Krafzig, D., Banke, K., Slama, D.: Enterprise SOA: Service-Oriented Architecture Best Practices. Prentice Hall, PTR, New York (2005)"},{"issue":"3","key":"11_CR19","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L. Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R.E., Pease, M.: The Byzantine Generals Problem. ACM Transactions on Programing Languages and Systems\u00a04(3), 382\u2013401 (1982)","journal-title":"ACM Transactions on Programing Languages and Systems"},{"issue":"4","key":"11_CR20","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"D.C. Luckham","year":"1995","unstructured":"Luckham, D.C.: Specification and Analysis of System Architecture Using Rapide. IEEE Transactions on Software Engineering\u00a021(4), 336\u2013355 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-60406-5_12","volume-title":"Software Engineering - ESEC \u201995","author":"J. Magee","year":"1995","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying Distributed Software Architectures. In: Botella, P., Sch\u00e4fer, W. (eds.) ESEC 1995. LNCS, vol.\u00a0989, pp. 137\u2013153. Springer, Heidelberg (1995)"},{"key":"11_CR22","first-page":"337","volume-title":"10th IEEE International Workshop on Object-oriented Real-time Dependable Systems, Sedona, February 2005","author":"H. Mei","year":"2005","unstructured":"Mei, H., Huang, G., Tsai, W.: Towards Self-Healing Systems via Dependable Architecture and Reflective Middleware. In: 10th IEEE International Workshop on Object-oriented Real-time Dependable Systems, Sedona, February 2005, pp. 337\u2013344. IEEE Computer Society Press, Los Alamitos (2005)"},{"issue":"3","key":"11_CR23","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/5254.769885","volume":"14","author":"P. Oreizy","year":"1999","unstructured":"Oreizy, P., Gorlick, M.M., Taylor, R.N., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D.S., Wolf, A.L.: An Architecture-Based Approach to Self-Adaptive Software. IEEE Intelligent Systems\u00a014(3), 54\u201362 (1999)","journal-title":"IEEE Intelligent Systems"},{"key":"11_CR24","unstructured":"Randell, B., Lhotka, R.: Bridge the Gap between Development and Operations with Whitehorse. MSDN magazine (July 2005), http:\/\/msdn.microsoft.com\/msdnmag\/issues\/04\/07\/whitehorse\/default.aspx"},{"key":"11_CR25","unstructured":"Simmons, S.: Introducing the WebSphere Integration Reference Architecture: A Service-based Foundation for Enterprise-Level Business Integration. IBM WebSphere Developer Technical Journal, Aug. 17 (2005), http:\/\/www-128.ibm.com\/developerworks\/websphere\/techjournal\/0508_simmons\/0508_simmons.html"},{"key":"11_CR26","unstructured":"Tsai, W.T., Paul, R., Xiao, B., Cao, Z., Chen, Y.: PSML-S: A Process Specification and Modeling Language for Service Oriented Computing. In: 9th IASTED, pp. 160\u2013167 (2005)"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Tsai, W.T., Song, W., Paul, R., Cao, Z., Huang, H.: Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing. In: COMPSAC 2004, pp. 554\u2013559 (2004)","DOI":"10.1109\/CMPSAC.2004.1342894"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Tsai, W.T., Liu, X., Chen, Y., Paul, R.: Simulation Verification and Validation by Dynamic Policy Enforcement. In: Proc. of Annual Simulation Symposium, pp. 91\u201398 (2005)","DOI":"10.1109\/ANSS.2005.42"},{"key":"11_CR29","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/SOSE.2005.34","volume-title":"IEEE International Workshop on Service-Oriented System Engineering (SOSE)","author":"W.T. Tsai","year":"2005","unstructured":"Tsai, W.T.: Service-Oriented System Engineering: A New Paradigm. In: IEEE International Workshop on Service-Oriented System Engineering (SOSE), October 2005, pp. 3\u20138. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"11_CR30","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/ISORC.2006.18","volume-title":"Proc. of IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC)","author":"W.T. Tsai","year":"2006","unstructured":"Tsai, W.T., Fan, C., Chen, Y., Paul, R., Chung, J.Y.: Architecture Classification for SOA-based Applications. In: Proc. of IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp. 295\u2013302. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"11_CR31","unstructured":"OASIS UDDI Standard: http:\/\/www.uddi.org\/"},{"key":"11_CR32","unstructured":"IBM Developers Works: New to SOA and Web services. Available at: http:\/\/www-128.ibm.com\/developerworks\/webservices\/newto\/"},{"key":"11_CR33","unstructured":"SAP NetWeaver product introduction. Available at: http:\/\/www.sap.com\/solutions\/netweaver\/index.epx"}],"container-title":["Lecture Notes in Computer Science","Reliable Systems on Unreliable Networked Platforms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71156-8_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:16:01Z","timestamp":1605762961000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71156-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540711551","9783540711568"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71156-8_11","relation":{},"subject":[]}}