{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:22:15Z","timestamp":1745986935093,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642367564"},{"type":"electronic","value":"9783642367571"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36757-1_14","type":"book-chapter","created":{"date-parts":[[2013,2,7]],"date-time":"2013-02-07T05:07:21Z","timestamp":1360213641000},"page":"229-248","source":"Crossref","is-referenced-by-count":0,"title":["Configuration-Based Service Availability Analysis for Middleware Managed Applications"],"prefix":"10.1007","author":[{"given":"Ali","family":"Kanso","sequence":"first","affiliation":[]},{"given":"Maria","family":"Toeroe","sequence":"additional","affiliation":[]},{"given":"Ferhat","family":"Khendek","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"s1","key":"14_CR1","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1016\/S1007-0214(07)70122-0","volume":"12","author":"C. Yanming","year":"2007","unstructured":"Yanming, C., Shiyi, X.: Exploration of complexity in software reliability. Tsinghua Science and Technology\u00a012(s1), 266\u2013269 (2007)","journal-title":"Tsinghua Science and Technology"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Zuse, H.: Software Complexity: Measures and Methods. Walter de Gruyer (1990)","DOI":"10.1515\/9783110866087"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Capretz, L., Capretz, M., Li, D.: Component-based software development. In: The 27th Annual Conference of the IEEE Industrial Electronics Society, vol.\u00a03, pp. 1834\u20131837. IEEE conference publications (2001)","DOI":"10.1109\/IECON.2001.975569"},{"key":"14_CR4","unstructured":"Service Availability Forum: Application Interface Specification, http:\/\/www.saforum.org\/Service-Availability-Forum:-Application-Interface-Specification~217404~16627.htm"},{"key":"14_CR5","unstructured":"Object Management Group (OMG), Unified Modeling Language - Superstructure Version 2.1.1 formal\/2007-02-03 (2007) http:\/\/www.omg.org\/spec\/UML\/2.1.1\/"},{"key":"14_CR6","unstructured":"Service Availability Forum: AIS Availability Management Framework, http:\/\/www.saforum.org\/HOA\/assn16627\/images\/SAI-AIS-AMF-B.04.01.pdf"},{"key":"14_CR7","unstructured":"VideoLAN Client, http:\/\/www.videolan.org\/"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Kanso, A., Mishra, A., Toeroe, M., Khendek, F.: Integrating Legacy Applications for High Availability \u2013 A Case Study. In: IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE), pp. 83\u201390. IEEE conference publications (2011)","DOI":"10.1109\/HASE.2011.39"},{"key":"14_CR9","unstructured":"OpenSAF foundation, http:\/\/www.opensaf.org\/"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Xie, W., Sun, H., Cao, Y., Trivedi, K.S.: Modeling of user perceived webserver availability. In: Proceedings of the IEEE International Conference on Communications (ICC), vol.\u00a03, pp. 1796\u20131800. IEEE conference publications (2003)","DOI":"10.1109\/ICC.2003.1203909"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Tokuno, K., Yamada, S.: Markovian model for user-perceived software service availability measurement with operation-oriented restoration. In: 7th International Conference on Service Systems and Service Management (ICSSSM), pp. 1\u20136. IEEE conference publications (2010)","DOI":"10.1109\/ICSSSM.2010.5530194"},{"issue":"6","key":"14_CR12","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1147\/rd.316.0651","volume":"31","author":"G. Ambuj","year":"1987","unstructured":"Ambuj, G., Stephen, L.: Modeling and analysis of computer system availability. IBM Journal of Research and Development\u00a031(6), 651\u2013664 (1987)","journal-title":"IBM Journal of Research and Development"},{"key":"14_CR13","unstructured":"Natkin, S.: Les Reseaux de Petri Stochastiques et leur Application a l\u2019Evaluation des Systemes Informatiques. PhD thesis, CNAM Paris (1980)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/3-540-18086-9_23","volume-title":"Advances in Petri Nets 1987","author":"M. Ajmone Marsan","year":"1987","unstructured":"Ajmone Marsan, M., Chiola, G.: On Petri Nets with Deterministic and Exponentially Distributed Firing Times. In: Rozenberg, G. (ed.) APN 1987. LNCS, vol.\u00a0266, pp. 132\u2013145. Springer, Heidelberg (1987)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-56863-8_46","volume-title":"Application and Theory of Petri Nets 1993","author":"H. Choi","year":"1993","unstructured":"Choi, H., Kulkarni, V.G., Trivedi, K.S.: Transient Analysis of Deterministic and Stochastic Petri Nets. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 166\u2013185. Springer, Heidelberg (1993)"},{"issue":"3","key":"14_CR16","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0164-1212(02)00080-8","volume":"66","author":"R. Reussner","year":"2003","unstructured":"Reussner, R., Schmidt, H., Poernomo, I.: Reliability prediction for component-based software architectures. Journal of Systems and Software\u00a066(3), 241\u2013252 (2003)","journal-title":"Journal of Systems and Software"},{"key":"14_CR17","unstructured":"Harrold, M.J., Liang, D., Sinha, S.: An approach to analyzing and testing component-based systems. In: First International ICSE Workshop on Testing Distributed Component-Based Systems, pp. 333\u2013347. ACM Press (1999)"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Kanso,\u00a0A., Khendek,\u00a0F., Toeroe,\u00a0M.: Automatic Annotation of Software Configuration Models with Service Recovery Information. IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing (DASC), pp.121-128. IEEE conference publications (2011)","DOI":"10.1109\/DASC.2011.43"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/3-540-46429-8_14","volume-title":"Computer Performance Evaluation. Modelling Techniques and Tools","author":"A. Zimmermann","year":"2000","unstructured":"Zimmermann, A., Freiheit, J., German, R., Hommel, G.: Petri Net Modelling and Performability Evaluation with TimeNET 3.0. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol.\u00a01786, pp. 188\u2013202. Springer, Heidelberg (2000)"},{"key":"14_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/11560333_10","volume-title":"Service Availability","author":"D.-Z. Wang","year":"2005","unstructured":"Wang, D.-Z., Trivedi, K.S.: Modeling User-Perceived Service Availability. In: Malek, M., Nett, E., Suri, N. (eds.) ISAS 2005. LNCS, vol.\u00a03694, pp. 107\u2013122. Springer, Heidelberg (2005)"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Bondavalli, A., Mura, I., Majzik, I.: Automated dependability analysis of UML designs. In: Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 1999), pp. 139\u2013144. IEEE conference publications (1999)","DOI":"10.1109\/ISORC.1999.776367"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.C.: A dependability profile within MARTE. In: Software and Systems Modeling. LNCS, vol.\u00a010(3), pp. 1\u201324. Springer (2011)","DOI":"10.1007\/s10270-009-0128-1"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Merseguer, J.: A UML profile for dependability analysis of real-time embedded systems. In: A UML profile for dependability analysis of real-time embedded systems, pp. 155\u2013124. ACM press (2007)","DOI":"10.1145\/1216993.1217012"},{"key":"14_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/3-540-45177-3_10","volume-title":"Architecting Dependable Systems","author":"I. Majzik","year":"2003","unstructured":"Majzik, I., Pataricza, A., Bondavalli, A.: Stochastic Dependability Analysis of System Architecture Based on UML Models. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems. LNCS, vol.\u00a02677, pp. 219\u2013244. Springer, Heidelberg (2003)"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Kanso, A., Khendek, F., Toeroe, M., Hamou-Lhadj, A.: Automatic Configuration Generation for Service High Availability with Load Balancing. In: Concurrency and Computation: Practice and Experience, Wiley (2012), doi: 10.1002\/cpe.2805","DOI":"10.1002\/cpe.2805"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling: Theory and Practice"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36757-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T20:11:53Z","timestamp":1745957513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36757-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642367564","9783642367571"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36757-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}