{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:02:22Z","timestamp":1746244942058,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548031"},{"type":"electronic","value":"9783642548048"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54804-8_7","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T09:59:16Z","timestamp":1395395956000},"page":"94-108","source":"Crossref","is-referenced-by-count":21,"title":["Family-Based Performance Analysis of Variant-Rich Software Systems"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Kowal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"7_CR1","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/S0278-6125(99)80033-8","volume":"18","author":"M.K. Govil","year":"1999","unstructured":"Govil, M.K., Fu, M.C.: Queueing theory in manufacturing: A survey. Journal of Manufacturing Systems\u00a018(3), 214\u2013240 (1999)","journal-title":"Journal of Manufacturing Systems"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-25821-3_7","volume-title":"Middleware 2011","author":"R. Singh","year":"2011","unstructured":"Singh, R., Shenoy, P., Natu, M., Sadaphal, V., Vin, H.: Predico: A System for What-if Analysis in Complex Data Center Applications. In: Kon, F., Kermarrec, A.-M. (eds.) Middleware 2011. LNCS, vol.\u00a07049, pp. 123\u2013142. Springer, Heidelberg (2011)"},{"issue":"1","key":"7_CR3","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MIC.2005.21","volume":"9","author":"M. Huhns","year":"2005","unstructured":"Huhns, M., Singh, M.: Service-oriented computing: key concepts and principles. IEEE Internet Computing\u00a09(1), 75\u201381 (2005)","journal-title":"IEEE Internet Computing"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Vogel-Heuser, B., Witsch, D., Katzke, U.: Automatic code generation from a UML model to IEC 61131-3 and system configuration tools. In: ICCA, pp. 1034\u20131039 (2005)","DOI":"10.1109\/ICCA.2005.1528274"},{"issue":"5","key":"7_CR5","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/TSE.2004.9","volume":"30","author":"S. Balsamo","year":"2004","unstructured":"Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: A survey. IEEE Trans. Software Eng.\u00a030(5), 295\u2013310 (2004)","journal-title":"IEEE Trans. Software Eng."},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3-540-46029-2_10","volume-title":"Computer Performance Evaluation","author":"D.C. Petriu","year":"2002","unstructured":"Petriu, D.C., Shen, H.: Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 159\u2013177. Springer, Heidelberg (2002)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Balsamo, S., Marzolla, M.: Performance evaluation of UML software architectures with multiclass queueing network models. In: WOSP, pp. 37\u201342 (2005)","DOI":"10.1145\/1071021.1071025"},{"issue":"1","key":"7_CR8","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/974043.974048","volume":"29","author":"J.P. L\u00f3pez-Grao","year":"2004","unstructured":"L\u00f3pez-Grao, J.P., Merseguer, J., Campos, J.: From UML activity diagrams to stochastic Petri nets: application to software performance engineering. SIGSOFT Softw. Eng. Notes\u00a029(1), 25\u201336 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"7_CR9","unstructured":"Schaefer, I.: Variability modelling for model-driven development of software product lines. In: VaMoS, pp. 85\u201392 (2010)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Haber, A., Kutz, T., Rendel, H., Rumpe, B., Schaefer, I.: Delta-oriented architectural variability using monticore. In: ECSA, pp. 6:1\u20136:10 (2011)","DOI":"10.1145\/2031759.2031767"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-15579-6_6","volume-title":"Software Product Lines: Going Beyond","author":"I. Schaefer","year":"2010","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol.\u00a06287, pp. 77\u201391. Springer, Heidelberg (2010)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"von Rhein, A., Apel, S., K\u00e4stner, C., Th\u00fcm, T., Schaefer, I.: The PLA model: on the combination of product-line analyses. In: VaMoS, pp. 14:1\u201314:8 (2013)","DOI":"10.1145\/2430502.2430522"},{"issue":"3","key":"7_CR13","first-page":"251","volume":"17","author":"S. Apel","year":"2010","unstructured":"Apel, S., K\u00e4stner, C., Gr\u00f6sslinger, A., Lengauer, C.: Type safety for feature-oriented product lines. ASE\u00a017(3), 251\u2013300 (2010)","journal-title":"ASE"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Delaware, B., Cook, W., Batory, D.: A Machine-Checked Model of Safe Composition. In: FOAL, pp. 31\u201335. ACM (2009)","DOI":"10.1145\/1509837.1509846"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-34026-0_15","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"F. Damiani","year":"2012","unstructured":"Damiani, F., Schaefer, I.: Family-based analysis of type safety for delta-oriented software product lines. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 193\u2013207. Springer, Heidelberg (2012)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: Efficient verification of temporal properties in software product lines. In: ICSE. IEEE (2010)","DOI":"10.1145\/1806799.1806850"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Lauenroth, K., Pohl, K., Toehning, S.: Model checking of domain artifacts in product line engineering. In: ASE, 269\u2013280 (2009)","DOI":"10.1109\/ASE.2009.16"},{"key":"7_CR18","unstructured":"Asirelli, P., ter Beek, M.H., Gnesi, S., Fantechi, A.: Deontic logics for modeling behavioural variability. In: VaMoS, Essen, Germany, pp. 71\u201376 (January 2009)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Sharifloo, A.M.: Verifying non-functional properties of software product lines: Towards an efficient approach using parametric model checking. In: SPLC, pp. 170\u2013174 (2011)","DOI":"10.1109\/SPLC.2011.33"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Tawhid, R., Petriu, D.C.: Towards automatic derivation of a product performance model from a UML software product line model. In: WOSP, pp. 91\u2013102 (2008)","DOI":"10.1145\/1383559.1383571"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Tawhid, R., Petriu, D.C.: Automatic derivation of a product performance model from a software product line model. In: SPLC, pp. 80\u201389 (2011)","DOI":"10.1109\/SPLC.2011.27"},{"issue":"2","key":"7_CR22","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1109\/TSE.2008.74","volume":"35","author":"G. Franks","year":"2009","unstructured":"Franks, G., Al-Omari, T., Woodside, M., Das, O., Derisavi, S.: Enhanced modeling and solution of layered queueing networks. IEEE Trans. Software Eng.\u00a035(2), 148\u2013161 (2009)","journal-title":"IEEE Trans. Software Eng."},{"key":"7_CR23","unstructured":"Object Management Group: UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE). Beta 1. OMG, OMG document number ptc\/07-08-04 (2007)"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Tribastone, M., Gilmore, S.: Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. In: WOSP, pp. 67\u201378 (2008)","DOI":"10.1145\/1383559.1383569"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"D\u2019Ambrogio, A., Bocciarelli, P.: A model-driven approach to describe and predict the performance of composite services. In: WOSP, pp. 78\u201389 (2007)","DOI":"10.1145\/1216993.1217008"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Menasc\u00e9, D., Dubey, V.: Utility-based QoS brokering in service oriented architectures. In: ICWS, pp. 422\u2013430 (July 2007)","DOI":"10.1109\/ICWS.2007.186"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-540-77619-2_8","volume-title":"Software Architectures, Components, and Applications","author":"M. Marzolla","year":"2008","unstructured":"Marzolla, M., Mirandola, R.: Performance prediction of web service workflows. In: Overhage, S., Ren, X.-M., Reussner, R., Stafford, J.A. (eds.) QoSA 2007. LNCS, vol.\u00a04880, pp. 127\u2013144. Springer, Heidelberg (2008)"},{"issue":"1","key":"7_CR28","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1287\/mnsc.10.1.131","volume":"10","author":"J.R. Jackson","year":"1963","unstructured":"Jackson, J.R.: Jobshop-like queueing systems. Management Science\u00a010(1), 131\u2013142 (1963)","journal-title":"Management Science"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Stewart, W.J.: Probability, Markov Chains, Queues, and Simulation. Princeton University Press (2009)","DOI":"10.2307\/j.ctvcm4gtc"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: Run-time efficient probabilistic model checking. In: ICSE, pp. 341\u2013350 (2011)","DOI":"10.1145\/1985793.1985840"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54804-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T03:45:58Z","timestamp":1746157558000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54804-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548031","9783642548048"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54804-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}