Architectural primitives for distribution and mobility

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2002, Pages 41-50

  Lopes, Antónia ^a   Fiadeiro, José Luiz ^a,b   Wermelinger, Michel ^b,c  

^a UNIVERSITY OF LISBON   (Portugal)

^b ATX Software SA   (Portugal)

^c UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Coordination; Mobility; Software architectures

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; INTERNET; MIDDLEWARE; MOBILE COMPUTING; SEMANTICS;

COORDINATION; MOBILITY; SOFTWARE ARCHITECTURES; SYSTEM DEVELOPMENT;

SOFTWARE ENGINEERING;

EID: 0038687552     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/587051.587058     Document Type: Conference Paper

References (23)

1. R.Allen and D.Garlan, "A Formal Basis for Architectural Connectors", ACM TOSEM, 6(3), 213-249, 1997.
2. R.Amadio, "A asynchronous model of locality, failure, and process mobility", in D.Garlan and D.Métayer (eds), Coordination '97: Coordination Languages and Models, LNCS 1282, Springer-Verlag, 1997.
3. L.Andrade and J.Fiadeiro, "Coordination Technologies for Managing Information System Evolution", in K.Dittrich, A.Geppert and M.Norrie (eds), CAiSE'01, LNCS 2068, 374-387, Springer-Verlag 2001.
4. R.Back and R.Kurki-Suonio, "Distributed Co-operation with Action Systems", in ACM Transactions on Programming Languages and Systems, 10(4), 513-554, 1988.
5. L.Cardelli and A.Gordon, "Mobile Ambients", in Nivat (ed), FoSSACs '98, LNCS 1378 140-155, Springer-Verlag, 1998.
6. K.Chandy and J.Misra, Parallel Program Design - A Foundation, Addison-Wesley 1988.
7. J.L.Fiadeiro, A.Lopes and M.Wermelinger, "A Mathematical Semantics for Architectural Connectors", submitted, available at www.fiadeiro.org/jose/papers.
8. J.L.Fiadeiro and A.Lopes, "Semantics of Architectural Connectors", in TAPSOFT'97, LNCS 1214, Springer-Verlag 1997, 505-519.
9. J.L.Fiadeiro and T.Maibaum, "Categorical Semantics of Parallel Program Design", Science of Computer Programming 28, 1997, 111-138.
10. N.Francez and I.Forman, Interacting Processes, Addison-Wesley 1996.
11. J.Goguen, "Categorical Foundations for General Systems Theory", in F.Pichler and R.Trappl (eds), Advances in Cybernetics and Systems Research, Transcripta Books 1973, 121-130.
12. M.Hennessy and J.Riely, "A typed language for distributed mobile processes", in Proc. ACM Principles of Prog. Lang. ACM, 1998.
13. A.Lopes and J. J. Fiadeiro, "Using explicit state to describe architectures", in E. Astesiano (ed), FASE'99, LNCS 1577, 144-160, Springer-Verlag, 1999.
14. C.Mascolo, "MobiS: A specification language for mobile systems", Coordination '99: Coordination Languages and Models, LNCS 1594, 37-52, Springer-Verlag 1999.
15. R.Nicola, G.L.Ferrari and R.Pugliese, "Klaim: a Kernel Language for Agents Interaction and Mobility", IEEE Trans. on Software Engineering, 24 (5), 315-330, 1998
16. R.Nicola, G.L.Ferrari and R.Pugliese, "Coordinating Mobile Agents via Blackboards Acess Rights", in D.Garlan and D.Métayer (eds), Coordination '97: Coordination Languages and Models, LNCS 1282, 220-237, Springer-Verlag, 1997.
17. P.Oreizy and R.N.Taylor, "On the Role of Software Architectures in Runtime System Reconfiguration", IEE Proceedings-Software, 145 (5), 137-145, 1998
18. L.Petre, K.Sere and M.Waldén, "A Topological Approach to Distributed Computing", in Proc. of WDS'99 Workshop on Distributed Systems, Electronical Notes in Theoretical Computer Science, 8, Elsevier, 1999.
19. G.P.Picco, A.L.Murphy and G.-C.Roman, "Lime: Linda meets Mobility", in Proceedings of the 21st International Conference on Software Engineering, May 1999, 368-377.
20. G.-C.Roman, G.P.Picco, A.L.Murphy, "Software Engineering for Mobility: A Roadmap," in A. Finkelstein (ed), Future of Software Engineering, 22nd International Conference on Software Engineering, 241-258, June 2000
21. G.-C.Roman, G.P.Picco, A.L.Murphy, "Coordination and Mobility," in A. Omicini et al (eds), Coordination of Internet Agents: Models, Techniques, and Applications, 253-273, Springer-Verlag, 2001.
22. G.-C.Roman, P.J.McCann and J.Y.Plun, "Mobile UNITY: reasoning and specification in mobile computing", ACMM TOSEM, 6(3),250-282, 1997.
23. M.Wermelinger and J. Fiadeiro, "Connectors for Mobile Programs", IEEE Transactions on Software Engineering 24(5), 331-341, 1998