Mobis: A specification language for mobile systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1594, Issue , 1999, Pages 37-52

  Mascolo, Cecilia ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATION LANGUAGES;

MOBILE COMPONENTS; MOBILE SYSTEMS; MULTISET REWRITING; TUPLE SPACE;

SPECIFICATIONS;

EID: 84957570032     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48919-3_5     Document Type: Conference Paper

References (14)

1. L. Cardelli. A language with distributed scope. In Proc. 22nd ACM Symposium on Principles of Programming Languages (POPL), pages 286-298, 1995.
2. L. Cardelli and A. Gordon. Mobile Ainbients. In M. Nivat, editor, Proc. of Foundations of Software Science and Computation Structures (FoSSaCS), European Joint Conferences on Theory and Practice of Software (ETAPS'98), volume 1378 of Lecture Notes in Computer Science, pages 140-155, Lisbon, Portugal, 1998. Springer-Verlag, Berlin.
3. N. Carriero, D. Gelernter, and L. Zuck. Bauhaus Linda. In P. Ciancarini, O. Nier-strasz, and A. Yonezawa, editors, Object-Based Models and Languages for Concurrent Systems, volume 924 of Lecture Notes in Computer Science, pages 66-76. Springer-Verlag, Berlin, 1995.
4. A. Carzaniga, G. Picco, and G. Vigna. Designing Distributed Applications with Mobile Code Paradigms. In Proc. 19th Int. Conf. on Software Engineering (ICSE), pages 22-32, Boston, Ma, May 1997.
5. P. Ciancarini, F. Franze, and C. Mascolo. A Coordination Model to Specify Systems including Mobile Agents. In Proc. 9th IEEE Int. Workshop on Software Specification and Design (IWSSD), pages 96-105, Japan, 1998.
6. R. DeNicola, G. Ferrari, and R. Pugliese. KLAIM: A kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24(5):315-330, 1998.
7. G. DiMarzoSerugendo, M. Muhugusa, and C. Tschudin. An Survey of Theories for Mobile Agents. World Wide Web, 1(3):139-153, 1998.
8. C. Fournet, G. Gonthier, J. Levy, L. Maranget, and D. Remy. A Calculus of Mobile Agents. In U. Montanari and V. Sassone, editors, Proc. 7th Int. Conf. on Concurrency Theory (CONCUR), volume 1119 of Lecture Notes in Computer Science, pages 406-421, Pisa, Italy, August 1996. Springer-Verlag, Berlin.
9. A. Fuggetta, G. Picco, and G. Vigna. Understanding Code Mobility. IEEE Transactions on Software Engineering, 24(5):342-361, 1998.
10. P. Inverardi and A. Wolf. Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Transactions on Software Engineering, 21(4):373-386, April 1995.
11. J. Kramer and J. Magee. Exposing the skeleton in the coordination closet. In D. Garlan and D. LeMetayer, editors, Proc. 2nd Int. Conf. on Coordination Models and Languages, volume 1282 of Lecture Notes in Computer Science, pages 18-31, Berlin, Germany, September 1997. Springer-Verlag, Berlin.
12. P. Ciancarini and C. Mascolo. Software architecture and mobility. In D. Perry and J. Magee, editors, Proc. 3rd Int. Software Architecture Workshop (ISAW-3), ACM SIGSOFT Software Engineering Notes, pages 21-24, Orlando, FL, November 1998.
13. G. Picco, G. Roman, and P. McCann. Expressing Code Mobility in Mobile Unity. In M. Jazayeri and H. Schauer, editors, Proc. 6th European Software Eng. Conf. (ESEC 97), volume 1301 of Lecture Notes in Computer Science, pages 500-518. Springer-Verlag, Berlin, 1997.
14. M. Shaw and D. Garlan. Software Architecture. Perspectives on an Emerging Discipline. Prentice-Hall, 1996.