Modeling and analyzing mobile software architectures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4344, Issue , 2006, Pages 175-188

  Schäfer, Clemens ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ARCHITECTURE;

ARCHITECTURAL MODELING; CONTEXTUAL INFORMATION; EMERGENT BEHAVIORS; EMERGING BEHAVIORS; NON FUNCTIONAL PROPERTIES; NON-FUNCTIONAL REQUIREMENTS; SIMULATION APPROACH; USER INTERACTION MODELING;

NETWORK ARCHITECTURE;

EID: 84947768158     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11966104_13     Document Type: Conference Paper

References (17)

1. J. Ø. Aagedal. Quality of Service Support in Development of Distributed Systems. PhD thesis, University of Oslo, 2001.
2. A. Fuggetta, G. P. Picco, and G. Vigna. Understanding Code Mobility. IEEE Transactions on Software Engineering, 24(5):342–361, May 1998.
3. V. Gruhn and C. Schäfer. Architecture Description for Mobile Distributed Systems. In Proceedings of the Second European Workshop on Software Architecture (EWSA 2005), pages 239–246. Springer-Verlag Berlin Heidelberg, 2005.
4. 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.
5. 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.
6. L. Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, 2002.
7. C. Mascolo, G. P. Picco, and G.-C. Roman. A fine-grained model for code mobility. In ESEC/FSE-7: Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, pages 39–56, London, UK, 1999. Springer-Verlag.
8. 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, January 2000.
9. R. Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, 1999.
10. R. Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, 1999.
11. OMG. Unified Modeling Language (UML) Specification: Superstructure, Version 2.0 (formal/05-07-04).
12. 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, Mai 2004.
13. 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.
14. B. C. Pierce and D. N. Turner. Pict: A programming language based on the picalculus. In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 2000.
15. G.-C. Roman, G. P. Picco, and A. L. Murphy. Software Engineering for Mobility: A Roadmap. In Proceedings of the Conference on the Future of Software Engineering, pages 241–258. ACM Press, 2000.
16. M. Shaw and D. Garlan. Formulations and Formalisms in Software Architecture. In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, volume 1000 of Lecture Notes in Computer Science, pages 307–323. Springer, 1995.
17. 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.