{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T01:29:08Z","timestamp":1762738148213,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642367953"},{"type":"electronic","value":"9783642367960"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","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-36796-0_10","type":"book-chapter","created":{"date-parts":[[2013,3,22]],"date-time":"2013-03-22T04:09:22Z","timestamp":1363925362000},"page":"104-117","source":"Crossref","is-referenced-by-count":18,"title":["P2AMF: Predictive, Probabilistic Architecture Modeling Framework"],"prefix":"10.1007","author":[{"given":"Pontus","family":"Johnson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johan","family":"Ullberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Buschle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrik","family":"Franke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khurram","family":"Shahzad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Ullberg, J., Johnson, P., Buschle, M.: A language for interoperability modeling and prediction. Computers in Industry (2012)","DOI":"10.1016\/j.compind.2012.08.009"},{"issue":"7","key":"10_CR2","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1016\/j.compind.2007.12.016","volume":"59","author":"D. Chen","year":"2008","unstructured":"Chen, D., Doumeingts, G., Vernadat, F.: Architectures for enterprise integration and interoperability: Past, present and future. Computers in Industry\u00a059(7), 647\u2013659 (2008)","journal-title":"Computers in Industry"},{"key":"10_CR3","unstructured":"Object Management Group: Object Constraint Language. Version 2.3 (2010)"},{"key":"10_CR4","unstructured":"Object Management Group: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. Version 1.0 (2009)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/3-540-45800-X_33","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"T. Lodderstedt","year":"2002","unstructured":"Lodderstedt, T., Basin, D., Doser, J.: SecureUML: A UML-Based Modeling Language for Model-Driven Security. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 426\u2013441. Springer, Heidelberg (2002)"},{"issue":"5","key":"10_CR6","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A Logic for Reasoning about Time and Reliability. Formal Aspects of Computing\u00a06(5), 512\u2013535 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Ritchey, R., Ammann, P.: Using model checking to analyze network vulnerabilities. In: Proceedings of the 2000 IEEE Symposium on Security and Privacy, S & P 2000, pp. 156\u2013165. IEEE (2000)","DOI":"10.1109\/SECPRI.2000.848453"},{"key":"10_CR8","unstructured":"Object Management Group: OMG Unified Modeling Language (OMG UML), Superstructure. Version 2.4 (2011)"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Ullberg, J., Franke, U., Buschle, M., Johnson, P.: A tool for interoperability analysis of enterprise architecture models using Pi-OCL. In: Enterprise Interoperability IV, pp. 81\u201390 (2010)","DOI":"10.1007\/978-1-84996-257-5_8"},{"key":"10_CR10","unstructured":"Spivey, J.M.: The Z notation: a reference manual. Prentice Hall International (UK) Ltd. (1992)"},{"key":"10_CR11","unstructured":"Lyu, M.R.: Handbook of Software Reliability Engineering. Mcgraw-Hill (1996)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Mason-Jones, R., Towill, D.R.: Total cycle time compression and the agile supply chain. International Journal of Production Economics 62(1-2) (1999)","DOI":"10.1016\/S0925-5273(98)00221-7"},{"key":"10_CR13","unstructured":"Aier, S., Buckl, S., Franke, U., Gleichauf, B., Johnson, P., N\u00e4rman, P., Schweda, C.M., Ullberg, J.: A survival analysis of application life spans based on enterprise architecture models. In: Proc. 3rd International Workshop on Enterprise Modelling and Information Systems Architectures, EMISA 2009. Lecture Notes in Informatics, pp. 141\u2013154 (2009)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Franke, U., Johnson, P., K\u00f6nig, J.: An architecture framework for enterprise IT service availability analysis. Software & Systems Modeling (2013)","DOI":"10.1007\/s10270-012-0307-3"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Gustafsson, P., H\u00f6\u00f6k, D., Franke, U., Johnson, P.: Modeling the IT impact on organizational structure. In: Proc. 13th IEEE International EDOC Conference, EDOC 2009 (2009)","DOI":"10.1109\/EDOC.2009.27"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"N\u00e4rman, P., Buschle, M., Ekstedt, M.: An enterprise architecture framework for multi-attribute information systems analysis. Software & Systems Modeling (2013)","DOI":"10.1007\/s10270-012-0288-2"},{"key":"10_CR17","unstructured":"Walsh, B.: Markov Chain Monte Carlo and Gibbs Sampling (2004)"},{"key":"10_CR18","unstructured":"Milch, B., Marthi, B., Russell, S., Sontag, D., Ong, D.L., Kolobov, A.: Blog: probabilistic models with unknown objects. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, IJCAI 2005, pp. 1352\u20131359. Morgan Kaufmann Publishers Inc. (2005)"},{"key":"10_CR19","first-page":"1300","volume-title":"Proceedings of the 16th International Joint Conference on Artificial Intelligence","author":"N. Friedman","year":"1999","unstructured":"Friedman, N., Getoor, L., Koller, D., Pfeffer, A.: Learning probabilistic relational models. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence, vol.\u00a02, pp. 1300\u20131307. Morgan Kaufmann Publishers Inc., San Francisco (1999)"},{"key":"10_CR20","unstructured":"Melton, J., Simon, A.: Understanding the new SQL: a complete guide. Morgan Kaufmann Publishers (1993)"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-540-85289-6_13","volume-title":"The Common Component Modeling Example","author":"V. Grassi","year":"2008","unstructured":"Grassi, V., Mirandola, R., Randazzo, E., Sabetta, A.: KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability. In: Rausch, A., Reussner, R., Mirandola, R., Pl\u00e1\u0161il, F. (eds.) The Common Component Modeling Example. LNCS, vol.\u00a05153, pp. 327\u2013356. Springer, Heidelberg (2008)"},{"issue":"1","key":"10_CR22","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jss.2008.03.066","volume":"82","author":"S. Becker","year":"2009","unstructured":"Becker, S., Koziolek, H., Reussner, R.: The palladio component model for model-driven performance prediction. Journal of Systems and Software\u00a082(1), 3\u201322 (2009)","journal-title":"Journal of Systems and Software"},{"issue":"1","key":"10_CR23","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/j.future.2011.05.022","volume":"28","author":"A.J. Ferrer","year":"2012","unstructured":"Ferrer, A.J.: Optimis: A holistic approach to cloud service provisioning. Future Generation Computer Systems\u00a028(1), 66\u201377 (2012)","journal-title":"Future Generation Computer Systems"},{"key":"10_CR24","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice, 2nd edn. Addison-Wesley Longman Publishing Co., Inc. (2003)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Interoperability"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36796-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T01:27:06Z","timestamp":1745976426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36796-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642367953","9783642367960"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36796-0_10","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2013]]}}}