Abstract
In this paper we introduce a formal approach for the specification of mobile code systems. This approach is based on graph grammars, that is a formal description technique that is suitable for the description of highly parallel systems, and is intuitive even for non-theoreticians We define a special class of graph grammars using the concepts of object-based systems and include location information explicitly. Aspects of modularity and execution in an open environment are discussed.
This work was partially supported by the projects PLATUS (CNPq and Fapergs), MEFIA (CNPq/NSF no. 48.0130/00-0), Graphit (CNPq and DLR) and Cbdigo Mbvel: Suporte e Aplicações (Fapergs).
Chapter PDF
Similar content being viewed by others
References
Agha, G. Actors: a model for concurrent computation in distributed systems, MIT Press, 1986.
Agha, G. and Kim, W. Actors: A unifying model for parallel and distributed computing. Journal of systems architecture 45, 1999, pp. 1263–1277.
Cardelli, L. and Gordon, A., Mobile ambients, Foundations of Software Science and Computational Structures, Lecture Notes in Computer Science, vol. 1378, Springer, 1998, pp. 140–155.
Corradini, A., Montanan, U. and Rossi, F. Graph processes, Fundamentae Informatica, vol. 26, no. 3–4, 1996, pp. 241–265.
Copstein, B., Möra, M. and Ribeiro, L., An environment for formal modeling and simulation for graph grammars, 33rd Annual Simulation Symposium, 2000.
De Nicola, R., Ferrari, G. and Pugliese, R. KLAIM: A kernel language for agents interaction and mobility, Transactions On Software Engineering, IEEE, vol. 24, 1998, pp. 315–330.
Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A. and Corradini, A., Algebraic approaches to graph transformation II: Single pushout approach and comparison with double pushout approach,in [26], pp. 247–312.
Ehrig, H., Introduction to the algebraic theory of graph grammars, Lecture Notes in Computer Science, vol. 73, Springer, 1979, pp. 1–69.
Fuggeta, A., Picco, G. and Vigna, G., Understanding Code Mobility, Trans. On Software Engineering, IEEE, vol. 24, 1998, pp. 342–361.
Knudsen, P., Comparing Two Distributed Computing Paradigms - A Performance Case Study, M. Sc. thesis, University of Troms, 1995.
Korff, M. and Ribeiro, L., Graph grammars for the specification of concurrent systems, In Prc. of the IX SBES Brazilian Symposium on Software Engineering, 1997, pp. 199–214.
Korff, M. and Ribeiro, L., True concurrency = Interleaving + weak conflict, Electronic Notes in Theoretical Computer Science, vol. 14, 1998.
Korff, M., True concurrency semantics for single pushout graph transformations with applications to actor systems, Information Systems - Correctness and Reusability, World Scientific, 1995, pp. 33–50.
Korff, M. Generalized graph structures with applications to concurrent object-oriented systems, Ph.D. thesis, Technical University of Berlin, 1995.
Löwe, M., Korff, M. and Wagner, A., An algebraic framework for the transformation of attributed graphs, Term Graph Rewriting: Theory and Practice, John Wiley & Sons, 1993, pp. 185–199.
Löwe, M. Algebraic approach to single pushout graph transformation. Theoretical Computer Science, vol 109, 1993, pp. 181–224.
Maia, M. and Bigonha, R. Interaction based semantics for mobile objects, In Proc. of the III Brazilian Symposium on Programming Languages, 1999.
Merz, M. and Lamersdorf, W., Agents, Services and Electronic Markets: How Do They Integrate, In Proc. of the International Conference On Distributed Platforms,IFIP/IEEE, 1996.
Milner, R. and Parrow, J., A calculus for mobile processes I, Information and Computation, vol. 100, 1992, pp. 1–40.
Montanari, U., Pistore, M. and Rossi, F. Modeling concurrent, mobile and coordinated systems via graph transformations, The Handbook of Graph Grammars, vol. 3: Concurrency, Parallelism and Distribution, World Scientific, 1999, pp. 189–268.
Milner, R., Parrow, J., and Walker, D., A calculus for mobile processes II, Information and Computation, vol. 100, 1992, pp. 41–77.
Perdikeas, M., Chatzipapadopoulos, F., Venieris, I. and Marino, G., Mobile Agent Standards and Available Platforms., Computer Networks, vol. 31, 1999, pp. 1999–2016.
Pierce, B. and Turner, D., Pict: a programming language based on the pi-calculus, Tech. Report 476, Indiana University, 1997.
Ribeiro, L., Parallel composition and unfolding semantics of graph grammars, Ph.D. thesis, Technical University of Berlin, 1996.
Roman, G., McCann, P. and Plun, J., Mobile UNITY: reasoning and specification in mobile computing, ACM TOSEM, vol. 6, no. 3, 1997, pp. 250–282.
Rozenberg, G. (editor), The Handbook of Graph Grammars, vol. 1: Foundations, World Scientific, 1997.
G. Taentzer, Parallel and distributed graph transformation: Formal description and application to communication-based systems, Ph.D. thesis, Technical University of Berlin, 1996.
Tennenthouse, D. L., Wetherall, D. J., Smith, J. M., Minden, G. J. and Shiaskie, W., A Survey of Active Network Research, IEEE Communication Magazine, January 1997.
Wojciechowski, P., Sewell, P., Nomadic pict: language and infrastructure design for mobile agents, In Proc. of the ASA/MA’99, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 IFIP International Federation for Information Processing
About this paper
Cite this paper
Dotti, F.L., Ribeiro, L. (2000). Specification of Mobile Code Systems Using Graph Grammars. In: Smith, S.F., Talcott, C.L. (eds) Formal Methods for Open Object-Based Distributed Systems IV. FMOODS 2000. IFIP Advances in Information and Communication Technology, vol 49. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35520-7_3
Download citation
DOI: https://doi.org/10.1007/978-0-387-35520-7_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-1018-2
Online ISBN: 978-0-387-35520-7
eBook Packages: Springer Book Archive