{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:25:41Z","timestamp":1742401541774,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540407270"},{"type":"electronic","value":"9783540451778"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45177-3_11","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T05:05:12Z","timestamp":1185858312000},"page":"245-266","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Specification-Level Integration of Simulation and Dependability Analysis"],"prefix":"10.1007","author":[{"given":"Swapna S.","family":"Gokhale","sequence":"first","affiliation":[]},{"given":"Joseph R.","family":"Horgan","sequence":"additional","affiliation":[]},{"given":"Kishor S.","family":"Trivedi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,7,31]]},"reference":[{"key":"11_CR1","volume-title":"A formal approach to software architecture","author":"R. Allen","year":"1997","unstructured":"R. Allen. \u201cA formal approach to software architecture\u201d. PhD thesis, Dept. of Computer Science, Carnegie Mellon University, Pittsburgh, NC, 1997."},{"unstructured":"A. Bondavalli, I. Mura, and I. Majzik. \u201cAutomated dependability analysis of UML designs\u201d. In Proc. of Second IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 1998.","key":"11_CR2"},{"doi-asserted-by":"crossref","unstructured":"G. Ciardo, J. Muppala, and K.S. Trivedi. \u201cSPNP: Stochastic Petri Net Package\u201d. In Proceedings of the International Workshop on Petri Nets and Performance Models, pages 142\u2013150, Los Alamitos, CA, December 1989. IEEE Computer Society Press.","key":"11_CR3","DOI":"10.1109\/PNPM.1989.68548"},{"unstructured":"D. Garlan, R.T. Monroe, and D. Wile. \u201cACME: An architecture description interchange language\u201d. In Proc. of CASCON 97, pages 169\u2013183, Toronto, Canada, November 1997.","key":"11_CR4"},{"key":"11_CR5","volume-title":"Advances in Software Engineering and Knowledge Engineering","author":"D. Garlan","year":"1993","unstructured":"D. Garlan and M. Shaw. Advances in Software Engineering and Knowledge Engineering, Volume 1, edited by V. Ambriola and G. Torotora, chapter An Introduction to Software Architecture. World Scientific Publishing Company, New Jersey, 1993."},{"doi-asserted-by":"crossref","unstructured":"S. Gokhale, W.E. Wong, K.S. Trivedi, and J.R. Horgan. \u201cAn analytic approach to architecture-based software reliability prediction\u201d. In Proc. of Intl. Performance and Dependability Symposium (IPDS 98), pages 13\u201322, Durham, NC, September 1998.","key":"11_CR6","DOI":"10.1109\/IPDS.1998.707705"},{"issue":"4","key":"11_CR7","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1109\/12.88469","volume":"40","author":"E. Heck","year":"1991","unstructured":"E. Heck and D. Hogrefe. \u201cHierarchical performance evaluation based on formally specified communication protocols\u201d. IEEE Trans. on Computers, 40(4):500\u2013513, April 1991.","journal-title":"IEEE Trans. on Computers"},{"doi-asserted-by":"crossref","unstructured":"P.B. Krutchen. \u201cThe 4+1 view model of architecture\u201d. IEEE Software, pages 42\u201350, November 1995.","key":"11_CR8","DOI":"10.1109\/52.469759"},{"unstructured":"J.J. Li and J.R. Horgan. \u201cA toolsuite for testing software architectural specification\u201d. Software Quality Journal, 8(4), June 2000.","key":"11_CR9"},{"unstructured":"J.J. Li and J.R. Horgan. \u201cSimulation-trace-based software component performance prediction\u201d. In Proc. of 33rd Annual Simulation Symposium, April 2000.","key":"11_CR10"},{"issue":"4","key":"11_CR11","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"D. Luckham","year":"1995","unstructured":"D. Luckham, L.A. Augustin, J. Kenney, J. Veera, D. Bryan, and W. Mann. \u201cSpecification and analysis of system architecture using Rapide\u201d. IEEE Tran. on Software Engineering, 21(4):336\u2013355, April 1995.","journal-title":"IEEE Tran. on Software Engineering"},{"issue":"2","key":"11_CR12","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1109\/90.298433","volume":"2","author":"M.A. Marsan","year":"1994","unstructured":"M.A. Marsan, A. Bianco, L. Ciminera, R. Sisto, and A. Valenzano. \u201cA LOTOS extension for the performance analysis of distributed systems\u201d. IEEE\/ACM Transactions on Networking, 2(2):151\u2013165, April 1994.","journal-title":"IEEE\/ACM Transactions on Networking"},{"issue":"2","key":"11_CR13","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/52.199724","volume":"10","author":"J.D. Musa","year":"1993","unstructured":"J.D. Musa. \u201cOperational profiles in software-reliability engineering\u201d. IEEE Software, 10(2): 14\u201332, March 1993.","journal-title":"IEEE Software"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0377-2217(89)90335-4","volume":"40","author":"A. Reibman","year":"1989","unstructured":"A. Reibman, R. Smith, and K.S. Trivedi. \u201cMarkov and Markov Reward Model Transient Analysis: An Overview of Numerical Approaches\u201d. European Journal of Operational Research, 40:257\u2013267, 1989.","journal-title":"European Journal of Operational Research"},{"issue":"4","key":"11_CR15","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/32.385970","volume":"21","author":"M. Shaw","year":"1995","unstructured":"M. Shaw, R. DeLine, D.V. Klein, T.L. Ross, D.M. Young, and G. Zelesnik. \u201cAbstractions for software architecture and tools to support them\u201d. IEEE Trans. on Software Engineering, 21(4):314\u2013335, April 1995.","journal-title":"IEEE Trans. on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"M. Steppler and B. Walke. \u201cPerformance analysis of communication systems formally specified in SDL\u201d. In Proc. of Workshop on Software and Performance, Santa Fe, NM, 1998.","key":"11_CR16","DOI":"10.1145\/287318.287329"},{"key":"11_CR17","first-page":"139","volume-title":"Software Fault Tolerance","author":"L.A. Tomek","year":"1995","unstructured":"L.A. Tomek and K.S. Trivedi. Software Fault Tolerance, Edited by M. R. Lyu, chapter Analyses Using Stochastic Reward Nets, pages 139\u2013165. John Wiley and Sons Ltd., New York, 1995."},{"doi-asserted-by":"crossref","unstructured":"M.E.R. Vieira, M.S. Dias, and D.J. Richardson. \u201cAnalyzing software architectures with Argus-i\u201d. In Proc. of the Intl. Conference on Software Engineering, pages 758\u2013761, 2000.","key":"11_CR18","DOI":"10.1145\/337180.337624"},{"doi-asserted-by":"crossref","unstructured":"C.Y. Wang and K.S. Trivedi. \u201cIntegration of specification for modeling and specification for system design\u201d. In Proc. of Fourteenth Intl. Conference on Applications and Theory of Petri Nets, pages 24\u201331, 1993.","key":"11_CR19","DOI":"10.1007\/3-540-56863-8_62"},{"unstructured":"C. Wohlin and D. Rapp. \u201cPerformance analysis in the early design of software\u201d. In Proc. of 7th International Conference on Software Engineering for Telecommunication Switching Systems, pages 114\u2013121, Bournemouth, England, 1993.","key":"11_CR20"},{"unstructured":"J. Zhao. New Technologies on Computer Software, M. Li, Editor, chapter \u201cUsing Dependence Analysis to Support Software Architecture Understanding\u201d, pages 135\u2013142. International Academic Publishers, September 1997.","key":"11_CR21"},{"unstructured":"http:\/\/www.telelogic.com. .","key":"11_CR22"},{"unstructured":"http:\/\/www.telelogic.com\/products\/additional\/objectgeode .","key":"11_CR23"},{"unstructured":"International Telegraph and Telephone Consultative Committee. \u201cSDL User Guideliness\u201d, Blue Book, IXth Plenary Assembly, pages 14\u201325, International Telecommunication Union, November 1989.","key":"11_CR24"}],"container-title":["Lecture Notes in Computer Science","Architecting Dependable Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45177-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T00:50:41Z","timestamp":1737334241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45177-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540407270","9783540451778"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-45177-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"31 July 2007","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}