Skip to main content
SpringerLink
Log in

Determining Runtime Properties of Mobile Software Architectures

  • Conference paper
Enterprise Interoperability II

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 329.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. Bracchi and V. Cortellessa. A framework to model and analyze the performability of mobile software systems. In WOSP’ 04: Proceedings of the 4th international workshop on Software and performance, pages 243–248, New York, NY, USA, 2004. ACM Press.

    Google Scholar 

  2. H. Hermanns and J.-P. Katoen. Performance Evaluation:= (Process Algebra + Model Checking) × Markov Chains. In Proceedings of CONCUR 2001, LNCS 2154, pages 59–81. Springer-Verlag Berlin Heidelberg, 2001.

    Google Scholar 

  3. V. Issarny, F. Tartanoglu, J. Liu, and F. Sailhan. Software Architecture for Mobile Distributed Computing. In Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA’04), pages 201–210. IEEE, 2004.

    Google Scholar 

  4. L. Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, 2002.

    Google Scholar 

  5. N. Medvidovic and R. N. Taylor. A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering, 26(1):70–93, 2000.

    Article  Google Scholar 

  6. F. Oquendo. π-ADL: An Architecture Description Language based on the Higher-Order Typed π-Calculus for Specifying Dynamic and Mobile Software Architectures. ACM Software Engineering Notes, 29, May 2004.

    Google Scholar 

  7. P. Tosic. Cellular automata for distributed computing: Models of agent interaction and their implications. In IEEE Int’l Conf. on Systems, Man and Cybernetics, 2005.

    Google Scholar 

  8. S. Zschaler. Formal specification of non-functional properties of component-based software. In J.-M. Bruel, G. Georg, H. Hussmann, I. Ober, C. Pohl, J. Whittle, and S. Zschaler, editors, Workshop on Models for Non-functional Aspects of Component-Based Software (NfC’04) at UML conference 2004, September 2004.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Chair for Applied Telematics / e-Business, University of Leipzig, Germany

    Volker Gruhn & Clemens Schäfer

Authors
  1. Volker Gruhn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Clemens Schäfer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. UNINOVA, New University of Lisbon, Quinta da Torre, 2829-516, Caparica, Portugal

    Ricardo J. Gonçalves PhD

  2. Institut für Informatik, Technische Universität Clausthal, Julius-Albert-Str. 4, 38678, Clausthal-Zellerfeld, Germany

    Jörg P. Müller (Dr. rer. nat., Dipl.-Inform.) (Dr. rer. nat., Dipl.-Inform.)

  3. Fraunhofer IPK, Pascalstr. 8-9, 10587, Berlin, Germany

    Kai Mertins (Dr.-Ing.) (Dr.-Ing.)

  4. CIMOSA Association e.V. at WZL Forum/ADITEC, Steinbachstr. 23, 52074, Aachen, Germany

    Martin Zelm (Dr. rer. nat., Dipl.-Phys.) (Dr. rer. nat., Dipl.-Phys.)

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag London Limited

About this paper

Cite this paper

Gruhn, V., Schäfer, C. (2007). Determining Runtime Properties of Mobile Software Architectures. In: Gonçalves, R.J., Müller, J.P., Mertins, K., Zelm, M. (eds) Enterprise Interoperability II. Springer, London. https://doi.org/10.1007/978-1-84628-858-6_82

Download citation

  • DOI: https://doi.org/10.1007/978-1-84628-858-6_82

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-84628-857-9

  • Online ISBN: 978-1-84628-858-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation