Abstract
Mobility has become a new factor of complexity in the construction and evolution of software systems. In this paper, we report on the extensions that we have made to CommUnity, a prototype language for architectural description, with modelling techniques that support the incremental and compositional construction of location-aware systems. We illustrate, around an example, how the proposed extensions lead to a true separation of concerns between computation, coordination and distribution in architectural models.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allen, R., Garlan, D.: A Formal Basis for Architectural Connectors. ACM TOSEM 6(3), 213–249 (1997)
Andrade, L.F., Fiadeiro, J.L.: Architecture Based Evolution of Software Systems. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 148–181. Springer, Heidelberg (2003)
Andrade, L.F., Fiadeiro, J.L., Lopes, A., Wermelinger, M.: Architectural Techniques for Evolving Control Systems. In: Tarnai, G., Schnieder, E. (eds.) Formal Methods for Railway Operation and Control Systems, pp. 61–70. L’Harmattan Press (2003)
Aoumeur, N., Fiadeiro, J.L., Oliveira, C.: Towards an Architectural Approach to Location- Aware Business Processes. In: Proc. 13th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2004), IEEE Computer Society Press, Los Alamitos (2004)
Bettini, L., Loreti, M., Pugliese, R.: An Infrastructure Language for Open Nets. In: Proceedings of the 2002 ACM Symposium on Applied Computing, pp. 373–377. ACM, New York (2002)
Chandy, K., Misra, J.: Parallel Program Design - A Foundation. Addison-Wesley, Reading (1988)
Cardelli, L., Gordon, A.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)
Fiadeiro, J.L.: Categories for Software Engineering. Springer, Heidelberg (2004)
Fiadeiro, J.L., Lopes, A., Wermelinger, M.: A Mathematical Semantics for Architectural Connectors. In: Backhouse, R., Gibbons, J. (eds.) Generic Programming. LNCS, vol. 2793, pp. 190–234. Springer, Heidelberg (2003)
Francez, N., Forman, I.: Interacting Processes. Addison-Wesley, Reading (1996)
Gelernter, D., Carriero, N.: Coordination Languages and their Significance. Communications ACM 35(2), 97–107 (1992)
Katz, S.: A Superimposition Control Construct for Distributed Systems. ACM TOPLAS 15(2), 337–356 (1993)
Lopes, A., Fiadeiro, J.L.: Adding Mobility to Software Architectures. In: Brogi, A., Jacquet, J.-M. (eds.) FOCLASA 2003 – Foundations of Coordination Languages and Software Architecture, Electronic Notes in Theoretical Computer Science, Elsevier Science (in print)
Lopes, A., Fiadeiro, J.L., Wermelinger, M.: Architectural Primitives for Distribution and Mobility. In: Proc. SIGSOFT 2002/FSE-10, pp. 41–50. ACM Press, New York (2002)
Lopes, A., Fiadeiro, J.L.: Using Explicit State to Describe Architectures. In: Finance, J.-P. (ed.) FASE 1999. LNCS, vol. 1577, pp. 144–160. Springer, Heidelberg (1999)
Perry, D., Wolf, A.: Foundations for the Study of Software Architectures. ACM SIGSOFT Software Engineering Notes 17(4), 40–52 (1992)
Picco, G., Roman, G.-C., McCann, P.: Expressing Code Mobility in Mobile Unity. In: Jazayeri, M., Schauer, H. (eds.) ESEC 1997 and ESEC-FSE 1997. LNCS, vol. 1301, pp. 500–518. Springer, Heidelberg (1998)
Roman, G.-C., Murphy, A.L., Picco, G.P.: Coordination and Mobility. In: Omicini, A., et al. (eds.) Coordination of Internet Designs: Models, Techniques, and Applications, pp. 253–273. Springer, Heidelberg (2001)
Wermelinger, M., Fiadeiro, J.: Connectors for Mobile Programs. IEEE Transactions on Software Engineering 24(5), 331–341 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fiadeiro, J.L., Lopes, A. (2004). CommUnity on the Move: Architectures for Distribution and Mobility. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, WP. (eds) Formal Methods for Components and Objects. FMCO 2003. Lecture Notes in Computer Science, vol 3188. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30101-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-30101-1_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22942-1
Online ISBN: 978-3-540-30101-1
eBook Packages: Springer Book Archive