{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:30:31Z","timestamp":1742913031958,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205371"},{"type":"electronic","value":"9783540400202"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-40020-2_1","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T18:42:34Z","timestamp":1277318554000},"page":"1-33","source":"Crossref","is-referenced-by-count":12,"title":["AGILE: Software Architecture for Mobility"],"prefix":"10.1007","author":[{"given":"L.","family":"Andrade","sequence":"first","affiliation":[]},{"given":"P.","family":"Baldan","sequence":"additional","affiliation":[]},{"given":"H.","family":"Baumeister","sequence":"additional","affiliation":[]},{"given":"R.","family":"Bruni","sequence":"additional","affiliation":[]},{"given":"A.","family":"Corradini","sequence":"additional","affiliation":[]},{"given":"R.","family":"De Nicola","sequence":"additional","affiliation":[]},{"given":"J. L.","family":"Fiadeiro","sequence":"additional","affiliation":[]},{"given":"F.","family":"Gadducci","sequence":"additional","affiliation":[]},{"given":"S.","family":"Gnesi","sequence":"additional","affiliation":[]},{"given":"P.","family":"Hoffman","sequence":"additional","affiliation":[]},{"given":"N.","family":"Koch","sequence":"additional","affiliation":[]},{"given":"P.","family":"Kosiuczenko","sequence":"additional","affiliation":[]},{"given":"A.","family":"Lapadula","sequence":"additional","affiliation":[]},{"given":"D.","family":"Latella","sequence":"additional","affiliation":[]},{"given":"A.","family":"Lopes","sequence":"additional","affiliation":[]},{"given":"M.","family":"Loreti","sequence":"additional","affiliation":[]},{"given":"M.","family":"Massink","sequence":"additional","affiliation":[]},{"given":"F.","family":"Mazzanti","sequence":"additional","affiliation":[]},{"given":"U.","family":"Montanari","sequence":"additional","affiliation":[]},{"given":"C.","family":"Oliveira","sequence":"additional","affiliation":[]},{"given":"R.","family":"Pugliese","sequence":"additional","affiliation":[]},{"given":"A.","family":"Tarlecki","sequence":"additional","affiliation":[]},{"given":"M.","family":"Wermelinger","sequence":"additional","affiliation":[]},{"given":"M.","family":"Wirsing","sequence":"additional","affiliation":[]},{"given":"A.","family":"Zaw\u0142ocki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Br\u00fcckner, B., Mosses, P.D., Sannella, D., Tarlecki, A.: CASL: The common algebraic specification language. Theoretical Computer Science (2003) (to appear), See also the CASL Summary at http:\/\/www.brics.dk\/Projects\/CoFI\/Documents\/CASL\/Summary\/","DOI":"10.1016\/S0304-3975(01)00368-1"},{"key":"1_CR2","unstructured":"Baldan, P., Corradini, A., K\u00f6nig, B.: Static analysis of distributed systems with mobility specified by graph grammars \u2013 A case study. In: Ehrig, H., Kr\u00e4mer, B., Ertas, A. (eds.) Integrated design and Process Technology. Society for Design and Process Science (2002)"},{"key":"1_CR3","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":"1_CR4","doi-asserted-by":"crossref","unstructured":"Bettini, L., Loreti, M., Pugliese, R.: Structured nets in Klaim. In: Proc. of the 2000 ACM Symposium on Applied Computing (SAC 2000), Special Track on Coordination Models, Languages and Applications, pp. 174\u2013180 (2000)","DOI":"10.1145\/335603.335736"},{"key":"1_CR5","first-page":"388","volume-title":"Proceedings of Symposium on Logics in Computer Science","author":"G. Bhat","year":"1995","unstructured":"Bhat, G., Cleaveland, R., Grumberg, O.: Efficient on-the-fly model checking for CTL*. In: Proceedings of Symposium on Logics in Computer Science, pp. 388\u2013397. IEEE, Los Alamitos (1995)"},{"key":"1_CR6","volume-title":"Parallel Program Design \u2014 A Foundation","author":"K. Chandy","year":"1988","unstructured":"Chandy, K., Misra, J.: Parallel Program Design \u2014 A Foundation. Addison-Wesley, Reading (1988)"},{"key":"1_CR7","unstructured":"Corradini, A., Heckel, R.: Graph transformation and visual modelling techniques. In: Rolim, J.D.P., Broder, A.Z., Corradini, A., Gorrieri, R., Heckel, R., Hromkovic, J., Vaccaro, U., Wells, J.B. (eds.) ICALP 2000. Proceedings in Informatics, vol.\u00a08, pp. 357\u2013486. Carleton Scientific (2000)"},{"key":"1_CR8","unstructured":"Corradini, A., Heckel, R., Montanari, U.: Graphical Operational Semantics. In: Rolim, et al. [7], pp. 357\u2013486"},{"key":"1_CR9","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"A. Corradini","year":"1997","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0304-3975(93)90063-Y","volume":"109","author":"A. Corradini","year":"1993","unstructured":"Corradini, A., Rossi, F.: Hyperedge replacement jungle rewriting for term rewriting systems and logic programming. Theoretical Computer Science\u00a0109, 7\u201348 (1993)","journal-title":"Theoretical Computer Science"},{"issue":"24","key":"1_CR11","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"5","author":"R. Nicola De","year":"1998","unstructured":"De Nicola, R., Ferrari, G.-L., Pugliese, R.: KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering\u00a05(24), 315\u2013330 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/3-540-40011-7_23","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"G. Engels","year":"2000","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic meta modeling: A graphical approach to the operational semantics of behavioural diagrams in UML. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 323\u2013337. Springer, Heidelberg (2000)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Applied Formal Methods - FM-Trends 98","author":"A. Fantechil","year":"1999","unstructured":"Fantechil, A., Gnesi, S., Mazzanti, F., Pugliese, R., Tronci, E.: A symbolic model checker for ACTL. In: Hutter, D., Traverso, P. (eds.) FM-Trends 1998. LNCS, vol.\u00a01641. Springer, Heidelberg (1999)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-61474-5_82","volume-title":"Computer Aided Verification","author":"J.-C. Fernandez","year":"1996","unstructured":"Fernandez, J.-C., Jard, D., J\u00e9ron, T., Viho, C.: Using on-the-fly verification techniques for the generation of test suites. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 348\u2013359. Springer, Heidelberg (1996)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods at the Crossroads: from Panaces to Foundational Support","author":"G.L. Ferrari","year":"2003","unstructured":"Ferrari, G.L., Montanari, U., Tuosto, E.: Graph-based models of internetworking systems. In: Haeberer, A. (ed.) Formal Methods at the Crossroads: from Panaces to Foundational Support. LNCS. Springer, Heidelberg (2003)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-540-45191-4_5","volume-title":"Generic Programming","author":"J.L. Fiadeiro","year":"2003","unstructured":"Fiadeiro, J.L., Lopes, A., Wermelinger, M.: A mathematical semantics for architectural connectors. In: Backhouse, R., Gibbons, J. (eds.) Generic Programming. LNCS, vol.\u00a02793, Springer, Heidelberg (2003)"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0167-6423(96)00025-1","volume":"28","author":"J.L. Fiadeiro","year":"1997","unstructured":"Fiadeiro, J.L., Maibaum, T.: Categorical semantics of parallel program design. Science of Computer Programming\u00a028, 111\u2013138 (1997)","journal-title":"Science of Computer Programming"},{"key":"1_CR18","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"F. Gadducci","year":"2000","unstructured":"Gadducci, F., Montanari, U.: The Tile Model. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, Cambridge (2000)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Gelernter, D.: Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 80\u2013112 (1985)","DOI":"10.1145\/2363.2433"},{"key":"1_CR20","unstructured":"Gnesi, S., Mazzanti, F.: On the fly model checking of communicating UML State Machines. Technical report, ISTI, (2003) (submitted for publication)"},{"key":"1_CR21","volume-title":"Electronic Notes in Theoretical Computer Science","author":"M. Gogolla","year":"2003","unstructured":"Gogolla, M., Ziemann, P., Kuske, S.: Towards an integrated graph based semantics for UML. In: Bottoni, P., Minas, M. (eds.) Electronic Notes in Theoretical Computer Science, vol.\u00a072. Elsevier Science, Amsterdam (2003)"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-45022-X_12","volume-title":"Automata, Languages and Programming","author":"G. Engels","year":"2000","unstructured":"Gogolla, M.: Graph transformations on the UML metamodel. In: ICALP Workshop on Graph Transformations and Visual Modeling Techniques, pp. 359\u2013371. Carleton Scientific (2000)"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45832-8_14","volume-title":"Graph Transformation","author":"R. Heckel","year":"2002","unstructured":"Heckel, R., K\u00fcster, J.M., Taentzer, G.: Confluence of typed attributed graph transformation systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 161\u2013176. Springer, Heidelberg (2002)"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Hirsch, D., Montanari, U.: Synchronized hyperedge replacement with name mobility. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 121\u2013136. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-44685-0_9"},{"key":"1_CR25","unstructured":"Hirsch, D.: Graph Transformation Models for Software Architecture Styles. PhD thesis, Universidad de Buenos Aires, Argentina (2003) (to appear)"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/3-540-45500-0_7","volume-title":"Theoretical Aspects of Computer Software","author":"B. K\u00f6nig","year":"2001","unstructured":"K\u00f6nig, B., Montanari, U.: Observational Equivalence for Synchronized Graph Rewriting. In: Kobayashi, N., Pierce, B.C. (eds.) TACS 2001. LNCS, vol.\u00a02215, pp. 145\u2013164. Springer, Heidelberg (2001)"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. of MobIMod workshop, Tampere, Finland","author":"P. Kosiuczenko","year":"2002","unstructured":"Kosiuczenko, P.: Sequence diagrams for mobility. In: Krogstie, J. (ed.) Proc. of MobIMod workshop, Tampere, Finland. LNCS. Springer, Berlin (2002) (to appear)"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Kozen, D.: Results on the propositional \u03bc\u2212calculus. Theoretical Computer Science\u00a027 (1983)","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/3-540-47884-1_2","volume-title":"Integrated Formal Methods","author":"S. Kuske","year":"2002","unstructured":"Kuske, S., Gogolla, M., Kollmann, R., Kreowski, H.J.: An integrated semantics for UML class, object and state diagrams based on graph transformation. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, pp. 11\u201328. Springer, Heidelberg (2002)"},{"key":"1_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-45441-1_19","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"S. Kuske","year":"2001","unstructured":"Kuske, S.: A formal semantics of UML state machines based on structured graph transformation. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 241\u2013256. Springer, Heidelberg (2001)"},{"key":"1_CR31","volume-title":"Proceedings of IFIP TC6\/WG6.1 FMOODS 1999","author":"D. Latella","year":"1999","unstructured":"Latella, D., Majzik, I., Massink, M.: Towards a formal operational semantics of UML statechart diagrams. In: Proceedings of IFIP TC6\/WG6.1 FMOODS 1999. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"1_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-36578-8_7","volume-title":"Fundamental Approaches to Software Engineering","author":"S. Merz","year":"2003","unstructured":"Merz, S., Wirsing, M., Zappe, J.: A spatio-temporal logic for the specification and refinement of mobile systems. In: Pezz\u00e9, M. (ed.) FASE 2003. LNCS, vol.\u00a02621, pp. 87\u2013101. Springer, Heidelberg (2003)"},{"key":"1_CR33","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"1_CR34","unstructured":"OMG. Unified Modeling Language (UML), version 1.5 (March 2003), http:\/\/www.omg.org"},{"key":"1_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/978-3-540-39656-7_21","volume-title":"Formal Methods for Components and Objects","author":"D. Pattinson","year":"2003","unstructured":"Pattinson, D., Wirsing, M.: Making components move: A separation of concerns approach. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 487\u2013507. Springer, Heidelberg (2003) (to appear)"},{"key":"1_CR36","series-title":"Applications, Languages, and Tools","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"D. Plump","year":"1999","unstructured":"Plump, D.: Term graph rewriting. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages, and Tools, vol.\u00a02. World Scientific, Singapore (1999)"},{"key":"1_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/3-540-45441-1_30","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"M. Beeck von der","year":"2001","unstructured":"von der Beeck, M.: Formalization of UML-statecharts. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 406\u2013421. Springer, Heidelberg (2001)"},{"key":"1_CR38","unstructured":"Wieringa, T., Broersen, J.: A minimal transition system semantics for lightweight class and behavioral diagrams. In: ICSE 1998 Workshop on Precise Semantics for Software Modeling Techniques (1998)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40020-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T06:54:44Z","timestamp":1559199284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40020-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205371","9783540400202"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40020-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}