Antónia Lopes
Michel Wermelinger
ABSTRACT
In this paper, we address the integration of a distribution dimension in an architectural approach to system development and evolution based on the separation between coordination and computation. This third dimension allows us to separate key concerns raised by mobility, thus contributing to our ability to handle the complexity that is inherent to systems required to operate in "Internet time and space".
- R.Allen and D.Garlan, "A Formal Basis for Architectural Connectors", ACM TOSEM, 6(3), 213--249, 1997.]] Google Scholar
Digital Library
- R.Amadio,"An 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- L.Cardelli and A.Gordon, "Mobile Ambients", in Nivat (ed), FoSSACs'98, LNCS 1378, 140--155, Springer-Verlag, 1998.]] Google ScholarDigital Library
- K.Chandy and J.Misra, Parallel Program Design - A Foundation, Addison-Wesley 1988.]] Google ScholarDigital Library
- J.L.Fiadeiro, A.Lopes and M.Wermelinger, "A Mathematical Semantics for Architectural Connectors", submitted, available at www.fiadeiro.org/jose/papers.]]Google Scholar
- J.L.Fiadeiro and A.Lopes, "Semantics of Architectural Connectors", in TAPSOFT'97, LNCS 1214, Springer-Verlag 1997, 505--519.]] Google ScholarDigital Library
- J.L.Fiadeiro and T.Maibaum, "Categorical Semantics of Parallel Program Design", Science of Computer Programming 28, 1997, 111--138.]] Google ScholarDigital Library
- N.Francez and I.Forman, Interacting Processes, Addison-Wesley 1996.]]Google Scholar
- 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.]]Google Scholar
- M.Hennessy and J.Riely,"A typed language for distributed mobile processes", in Proc. ACM Principles of Prog. Lang. ACM, 1998.]] Google ScholarDigital Library
- A.Lopes and J. L. Fiadeiro, "Using explicit state to describe architectures", in E. Astesiano (ed), FASE'99, LNCS 1577, 144--160, Springer-Verlag, 1999.]] Google ScholarDigital Library
- C.Mascolo, "MobiS: A specification language for mobile systems", Coordination'99: Coordination Languages and Models, LNCS 1594, 37--52, Springer-Verlag 1999.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- P.Oreizy and R.N.Taylor, "On the Role of Software Architectures in Runtime System Reconfiguration", IEE Proceedings-Software, 145 (5), 137--145, 1998.]]Google ScholarCross Ref
- 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.]]Google Scholar
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- G.-C.Roman, P.J.McCann and J.Y.Plun, "Mobile UNITY: reasoning and specification in mobile computing", ACM TOSEM, 6(3),250--282, 1997.]] Google ScholarDigital Library
- M.Wermelinger and J.Fiadeiro, "Connectors for Mobile Programs", IEEE Transactions on Software Engineering 24(5), 331--341, 1998.]] Google ScholarDigital Library
Index Terms
- Architectural primitives for distribution and mobility
Recommendations
Architectural primitives for distribution and mobility
In this paper, we address the integration of a distribution dimension in an architectural approach to system development and evolution based on the separation between coordination and computation. This third dimension allows us to separate key concerns ...
Mobility management across hybrid wireless networks: Trends and challenges
Future generation wireless networks are envisioned to be a combination of diverse but complementary access technologies. Internetworking these types of networks will provide mobile users with ubiquitous connectivity across a wide range of networking ...
The international workshop on software architectures and mobility (SAM 2008)
ICSE Companion '08: Companion of the 30th international conference on Software engineeringE-businesses are increasingly facing the need of porting the provision of their e-services to mobile customers. Evolving requirements, such as reliability, security, scalability, performance and privacy, from fixed to mobile settings, has revealed new ...
Comments