Architecture Description for Mobile Distributed Systems

  • Volker Gruhn
  • Clemens Schäfer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3527)


In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-functional properties, which are essential when mobile architectures are described, are treated in a flexible manner by inserting logical formulae for expressing and checking non-functional properties into π-calculus processes. A formal example is given to illustrate the approach before the constituents of the ADL are sketched.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Gruhn, V., Schäfer, C.: An Architecture Description Language for Mobile Distributed Systems. In: Oquendo, F., Warboys, B.C., Morrison, R. (eds.) EWSA 2004. LNCS, vol. 3047, pp. 212–218. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  2. 2.
    Roman, G.C., Picco, G.P., Murphy, A.L.: Software Engineering for Mobility: A Roadmap. In: Proceedings of the Conference on the Future of Software Engineering, pp. 241–258. ACM Press, New York (2000)CrossRefGoogle Scholar
  3. 3.
    Medvidovic, N., Rosenblum, D.S.: Domains of Concern in Software Architectures. In: Proceedings of the 1997 USENIX Conference on Domain-Specific Languages (1997)Google Scholar
  4. 4.
    Shaw, M., Garlan, D.: Formulations and Formalisms in Software Architecture. In: van Leeuwen, J. (ed.) Computer Science Today. LNCS, vol. 1000, pp. 307–323. Springer, Heidelberg (1995)CrossRefGoogle Scholar
  5. 5.
    Medvidovic, N., Taylor, R.N.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering 26, 70–93 (2000)CrossRefGoogle Scholar
  6. 6.
    Oquendo, F.: π-ADL: An Architecture Description Language based on the Higher-Order Typed π-Calculus for Specifying Dynamic and Mobile Software Architectures. ACM Software Engineering Notes 29 (2004)Google Scholar
  7. 7.
    Issarny, V., Tartanoglu, F., Liu, J., Sailhan, F.: Software Architecture for Mobile Distributed Computing. In: Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004), pp. 201–210. IEEE, Los Alamitos (2004)CrossRefGoogle Scholar
  8. 8.
    Milner, R.: Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, Cambridge (1999)Google Scholar
  9. 9.
    Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, Reading (2002)Google Scholar
  10. 10.
    Zschaler, S.: Formal specification of non-functional properties of component-based software. In: Bruel, J.M., Georg, G., Hussmann, H., Ober, I., Pohl, C., Whittle, J., Zschaler, S. (eds.) Workshop on Models for Non-functional Aspects of Component-Based Software (NfC 2004) at UML conference 2004 (2004)Google Scholar
  11. 11.
    Aagedal, J.Ø.: Quality of Service Support in Development of Distributed Systems. PhD thesis, University of Oslo (2001)Google Scholar
  12. 12.
    Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)Google Scholar
  13. 13.
    Song, H., Compton, K.J.: Verifying π-calculus Processes by Promela Translation. Technical Report CSE-TR-472-03, University of Michigan (2003)Google Scholar
  14. 14.
    Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Volker Gruhn
    • 1
  • Clemens Schäfer
    • 1
  1. 1.Faculty of Mathematics and Computer Science, Chair for Applied Telematics / e-BusinessUniversity of LeipzigLeipzigGermany

Personalised recommendations