{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T16:59:43Z","timestamp":1792947583465,"version":"4.5.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540007371","type":"print"},{"value":"9783540365570","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36557-5_21","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T20:03:06Z","timestamp":1181678586000},"page":"278-293","source":"Crossref","is-referenced-by-count":20,"title":["Extending Activity Diagrams to Model Mobile Systems"],"prefix":"10.1007","author":[{"given":"Hubert","family":"Baumeister","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nora","family":"Koch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Piotr","family":"Kosiuczenko","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"21_CR1","unstructured":"AGILE. Architectures for mobility. http:\/\/www.pst.informatik.uni-muenchen.de , 2002."},{"key":"21_CR2","volume-title":"Use Case Maps for Object-Oriented Systems","author":"R. Buhr","year":"1995","unstructured":"Raymond Buhr and Ronald Casselman. Use Case Maps for Object-Oriented Systems. Prentice-Hall, USA, 1995."},{"key":"21_CR3","unstructured":"Luca Cardelli. Mobility and security. In F. Bauer and R. Steinbr\u00fcggen, editors, Foundations of Secure Computation. Proc. NATO Advanced Study Institute, pages 3\u201337. IOS Press, 2000."},{"key":"21_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"First Conference on Foundations of Software Science and Computation Structure","author":"L. Cardelli","year":"1998","unstructured":"Luca Cardelli and Andrew Gordon. Mobile ambients. In Maurice Nivat, editor, First Conference on Foundations of Software Science and Computation Structure, LNCS 1378, pages 140\u2013155. Springer Verlag, March 1998."},{"key":"21_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-540-45347-5_7","volume-title":"Agent Systems, Mobile Agents, and Applications, Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA\/MA 2000","author":"F. Dur\u00e1n","year":"2000","unstructured":"Francisco Dur\u00e1n, Steven Eker, Patrick Lincoln, and Jos\u00e9 Meseguer. Principles of Mobile Maude. In David Kotz and Friedemann Mattern, editors, Agent Systems, Mobile Agents, and Applications, Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA\/MA 2000, LNCS 1882, pages 73\u201385. Springer, 2000."},{"key":"21_CR6","unstructured":"FIPA. FIPA agent management: Support for mobility specification. http:\/\/www.fipa.org , August 2001."},{"issue":"2","key":"21_CR7","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/319806.319814","volume":"31","author":"J. Jing","year":"1999","unstructured":"Jin Jing, Abdelsalam Helal, and Ahmed Elmagarmid. Client-server computing in mobile environments. ACM Computing Surveys, 31(2):117\u2013157, 1999.","journal-title":"ACM Computing Surveys"},{"key":"21_CR8","volume-title":"Unified Modeling Language: Systems Analysis, Design and Development Issues","author":"C. Klein","year":"2001","unstructured":"Cornel Klein, Andreas Rausch, Marc Sihling, and Zhaojun Wen. Extension of the Unified Modeling Language for mobile agents. In K. Siau and T. Halpin, editors, Unified Modeling Language: Systems Analysis, Design and Development Issues, chapter VIII. Idea Group Publishing, Hershey, PA and London, 2001."},{"key":"21_CR9","unstructured":"Piotr Kosiuczenko. Sequence diagrams for mobility. In Stefano Spaccapietra, editor, 21 International Conference on Conceptual Modeling (ER2002). Springer-Verlag, October 2002. to appear."},{"key":"21_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Research directions in high-level parallel programming languages","author":"J. Meseguer","year":"1992","unstructured":"Jos\u00e9 Meseguer. Research directions in high-level parallel programming languages. LNCS 574. Springer, Berlin, 1992."},{"key":"21_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/3-540-44651-6_21","volume-title":"3rd International Workshop on Mobile Agents for Telecommunication Applications (MATA\u201901)","author":"F. Muscutariu","year":"2001","unstructured":"Florin Muscutariu and Marie-Pierre Gervais. On the modeling of mobile agentbased ystems. In 3rd International Workshop on Mobile Agents for Telecommunication Applications (MATA\u201901), LNCS 2164, pages 219\u2013234. Springer Verlag, August 2001."},{"key":"21_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Conference on Concurrency Theory","author":"R. Nicola De","year":"2000","unstructured":"Rocco De Nicola, GianLuigi Ferrari, and Rosario Pugliese. Programming access control: The KLAIM experience. In Conference on Concurrency Theory, LNCS 1877. Springer Verlag, 2000."},{"key":"21_CR13","unstructured":"OMG. Unified Modeling Language (UML), version 1.4. http:\/\/www.omg.org , September 2001."},{"key":"21_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Proc. First Internat. Symposium on Formal Methods for Components and Objects, FMCO\u201902","author":"D. Pattinson","year":"2003","unstructured":"Dirk Pattinson and Martin Wirsing. Making components move: A separation of concerns approach. In Proc. First Internat. Symposium on Formal Methods for Components and Objects, FMCO\u201902, Leiden, November 2002, LNCS, 2003. To appear."},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Jan Vitek and Giuseppe Castagna. Towards a calculus of secure mobile computations. 1998.","DOI":"10.1007\/3-540-47959-7_3"},{"key":"21_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/3-540-46852-8_15","volume-title":"UML\u201999-The Unified Modeling Language. Proceedings","author":"A. Wienberg","year":"1999","unstructured":"Axel Wienberg, Florian Matthes, and Marko Boger. Modeling dynamic software components in UML. In Robert France and Bernhard Rumpe, editors, UML\u201999-The Unified Modeling Language. Proceedings, LNCS 1723, pages 204\u2013219. Springer-Verlag, 1999."}],"container-title":["Lecture Notes in Computer Science","Objects, Components, Architectures, Services, and Applications for a Networked World"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36557-5_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T22:09:03Z","timestamp":1556489343000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36557-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540007371","9783540365570"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-36557-5_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]}}}