{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:01:57Z","timestamp":1725566517039},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540233077"},{"type":"electronic","value":"9783540301875"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30187-5_10","type":"book-chapter","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T19:50:15Z","timestamp":1285185015000},"page":"128-142","source":"Crossref","is-referenced-by-count":19,"title":["A UML Profile to Model Mobile Systems"],"prefix":"10.1007","author":[{"given":"Vincenzo","family":"Grassi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raffaela","family":"Mirandola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonino","family":"Sabetta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Model driven architecture. OMG Technical report (July 2001), http:\/\/cgi.omg.org\/docs\/ormsc\/01-07-01.pdf"},{"key":"10_CR2","unstructured":"Uml profile for schedulability, performance, and time specification (2002), http:\/\/cgi.omg.org\/docs\/ptc\/02-03-02.pdf"},{"key":"10_CR3","unstructured":"UML Superstructure 2.0 - Draft Adopted Specification (ptc\/03-08-02). OMG (2003)"},{"key":"10_CR4","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: Aksit, M., Mezini, M., Unland, R. (eds.) NODe 2002. LNCS, vol.\u00a02591, pp. 278\u2013293. Springer, Heidelberg (2003)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"issue":"5","key":"10_CR6","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R., Venneri, B.: Klaim: a kernel language for agents interaction and mobility. IEEE Trans. on Software Engineering\u00a024(5), 315\u2013333 (1998)","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"5","key":"10_CR7","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1109\/32.685258","volume":"24","author":"A. Fuggetta","year":"1998","unstructured":"Fuggetta, A., Picco, G.P., Vigna, G.: Understanding code mobility. IEEE Trans. on Software Eng.\u00a024(5), 342\u2013361 (1998)","journal-title":"IEEE Trans. on Software Eng."},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Grassi, V., Mirandola, R., Sabetta, A.: UML based modeling and performance analisys of mobile systems. Technical Report, Universit di Roma \u201cTor Vergata\u201d (July 2004) (submitted)","DOI":"10.1145\/1023663.1023683"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Kosiuczenko, P.: Sequence diagrams for mobility. In: Krogstie, J. (ed.) Proc. of MobIMod Workshop, Tampere, Finland (October 2003)","DOI":"10.1007\/978-3-540-45275-1_13"},{"key":"10_CR10","volume-title":"Communicating and Mobile Systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"3","key":"10_CR11","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1145\/383876.383879","volume":"10","author":"G.P. Picco","year":"2001","unstructured":"Picco, G.P., Roman, G.-C., McCann, P.: Reasoning about code mobility in mobile unity. ACM Trans. on Software Engineering and Methodology\u00a010(3), 338\u2013395 (2001)","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"issue":"6","key":"10_CR12","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/336460.336478","volume":"43","author":"U. Varshney","year":"2000","unstructured":"Varshney, U., Vetter, R.: Emerging mobile and wireless networks. Communications of ACM\u00a043(6), 73\u201381 (2000)","journal-title":"Communications of ACM"}],"container-title":["Lecture Notes in Computer Science","<\u2009<UML>\u2009> 2004 - The Unified Modeling Language. Modelling Languages and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30187-5_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:46:22Z","timestamp":1605761182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30187-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540233077","9783540301875"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30187-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}