{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T17:10:02Z","timestamp":1746292202786,"version":"3.40.4"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319091556"},{"type":"electronic","value":"9783319091563"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09156-3_7","type":"book-chapter","created":{"date-parts":[[2014,7,2]],"date-time":"2014-07-02T11:15:22Z","timestamp":1404299722000},"page":"90-105","source":"Crossref","is-referenced-by-count":0,"title":["A Strongly Consistent Transformation from UML Interactions to PEPA Nets"],"prefix":"10.1007","author":[{"given":"Juliana","family":"Bowles","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Le\u00efla","family":"Kloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-36557-5_21","volume-title":"Objects, Components, Architectures, Services, and Applications for a Networked World","author":"H. Baumeister","year":"2003","unstructured":"Baumeister, H., Koch, N., Kosiuczenko, P., Wirsing, M.: Extending activity diagrams to model mobile systems. In: Ak\u015fit, M., Mezini, M., Unland, R. (eds.) NODe 2002. LNCS, vol.\u00a02591, pp. 278\u2013293. Springer, Heidelberg (2003)"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","volume":"202","author":"M. Bernardo","year":"1998","unstructured":"Bernardo, M., Gorrieri, R.: A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time. TCS\u00a0202, 1\u201354 (1998)","journal-title":"TCS"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bowles, J., Kloul, L.: Synthesising PEPA nets from IODs for performance analysis. In: WOSP\/SIPEW 2010, pp. 195\u2013200. ACM (2010)","DOI":"10.1145\/1712605.1712635"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Canevet, C., Gilmore, S., Hillston, J., Kloul, L., Stevens, P.: Analysing UML\u00a02.0 activity diagrams in the software performance engineering process. In: WOSP 2004, Short Papers, pp. 74\u201378. ACM (2004)","DOI":"10.1145\/974043.974055"},{"issue":"2","key":"7_CR5","first-page":"107","volume":"150","author":"C. Canevet","year":"2003","unstructured":"Canevet, C., Gilmore, S., Hillston, J., Prowse, M., Stevens, P.: Performance modelling with UML and stochastic process algebras. IEE Proceedings: Computers and Digital Techniques\u00a0150(2), 107\u2013120 (2003)","journal-title":"IEE Proceedings: Computers and Digital Techniques"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/3-540-58152-9_15","volume-title":"Application and Theory of Petri Nets 1994","author":"S. Donatelli","year":"1994","unstructured":"Donatelli, S.: Superposed Generalised Stochastic Petri Nets: Definition and Efficient Solution. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815, pp. 258\u2013277. Springer, Heidelberg (1994)"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0166-5316(03)00069-5","volume":"54","author":"S. Gilmore","year":"2003","unstructured":"Gilmore, S., Hillston, J., Kloul, L., Ribaudo, M.: PEPA nets: A structured performance modelling formalism. Performance Evaluation\u00a054, 79\u2013104 (2003)","journal-title":"Performance Evaluation"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Grassi, V., Mirandola, R., Sabetta, A.: UML based modeling and performance analysis of mobile systems. In: MSWIM 2004, pp. 95\u2013104. ACM (2004)","DOI":"10.1145\/1023663.1023683"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/978-3-540-30187-5_10","volume-title":"<\u2009<UML>\u2009> 2004 - The Unified Modeling Language","author":"V. Grassi","year":"2004","unstructured":"Grassi, V., Mirandola, R., Sabetta, A.: A UML profile to model mobile systems. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol.\u00a03273, pp. 128\u2013142. Springer, Heidelberg (2004)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-45804-2_4","volume-title":"Interactive Markov Chains","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H.: Chapter 4: Interactive Markov Chains. In: Hermanns, H. (ed.) Interactive Markov Chains. LNCS, vol.\u00a02428, pp. 57\u201388. Springer, Heidelberg (2002)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Hillston, J.: A compositional approach to performance modelling. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511569951"},{"key":"7_CR12","unstructured":"Kloul, L.: Blending UML2.0 and PEPA nets. Technical Report n.2006\/102, PRiSM, Universit\u00e9 de Versailles (2006), http:\/\/wwwex.prism.uvsq.fr\/recherche\/rapports"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Kloul, L., K\u00fcster-Filipe, J.: Modelling Mobility with UML\u00a02.0 and PEPA Nets. In: ACSD 2006, pp. 153\u2013162. IEEE Computer Society (2006)","DOI":"10.1109\/ACSD.2006.13"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"L\u00f3pez-Grao, J., Merseguer, J., Campos, J.: From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. In: WOSP 2004, pp. 25\u201336. ACM (2004)","DOI":"10.1145\/974043.974048"},{"key":"7_CR15","unstructured":"OMG. UML Superstructure Version 2.4.1. Document id:formal\/2011-08-06 (2011)"},{"key":"7_CR16","unstructured":"Plateau, B.: De l\u2019Evolution du Parall\u00e9lisme et de la Synchronisation. PhD Thesis, Universit\u00e9 de Paris-Sud, Orsay (1984)"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.entcs.2004.09.007","volume":"101","author":"K. Pokozy-Korenblat","year":"2004","unstructured":"Pokozy-Korenblat, K., Priami, C.: Towards extracting \u03c0-calculus from UML sequence and state diagrams. Electronical Notes in Theoretical Computer Science\u00a0101, 51\u201372 (2004)","journal-title":"Electronical Notes in Theoretical Computer Science"},{"key":"7_CR18","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modelling Language Reference Manual, 2nd edn. Addison-Wesley (2005)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Detecting implied scenarios in message sequence chart specifications. In: ESEC\/FSE 2001, pp. 74\u201382. ACM (2001)","DOI":"10.1145\/503271.503220"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09156-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T16:56:07Z","timestamp":1746291367000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09156-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091556","9783319091563"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09156-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}