Conceptual modeling of styles for mobile systems: A layered approach based on graph transformation

IFIP Advances in Information and Communication Technology

Volumn 158, Issue , 2005, Pages 65-78

  Heckel, Reiko ^a,b   Guo, Ping ^b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Graph transformation; Meta modeling; Mobility; QOS

Indexed keywords

CARRIER MOBILITY; INFORMATION SYSTEMS; INFORMATION USE; MOBILE DEVICES; QUALITY OF SERVICE;

CONCEPTUAL LEVELS; CONCEPTUAL MODEL; GRAPH TRANSFORMATION; GRAPH TRANSFORMATION RULES; LAYERED APPROACHES; META MODEL; MOBILE APPLICATIONS; STRUCTURAL ASPECTS;

GRAPH THEORY;

EID: 84902960141     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (22)

1. From UML to Java and Back Again: The Fujaba homepage, www.upb.de/cs/isileit.
2. I. Akyildiz, J. Mcnair, J. H, H. Uzunalioglu, and W. Wang. Mobility management in next-generation wireless systems. Proceedings of the IEEE, 87:1347-1384, 1999.
3. A. Lopes, J. Fiadeiro, and M. Wermelinger. Architectural primitives for distribution and mobility. In Proc. 10th ACM SIGSOFT symposium on Foundations of software engineering (FSE 2002), pages 41-50, Charleston, South Carolina, USA, 2002. ACM SIGSOFT.
4. G. Alsenmyr, J. Bergstrm, and M. Hagberg. Handover between WCDMA and GSM, 2003.
5. L. Andrade, P. Baldan, and H. Baumeister. AGILE: Software architecture for mobility. In Recent Trends in Algebraic Development, 16th Intl. Workshop (WADT 2002), volume 2755 of LNCS, Frauenchiemsee, 2003. Springer-Verlag.
6. L. Baresi, R. Heckel, S. Thöne, and D. Varro. Modeling and validation of service oriented architectures: Application vs. style. In P. Inverardi and J. Paakki, editors, Proc ESEC 2003: 9th European Software Engineering Conference, pages 68-77, Helsinki, Finland, September 2003. ACM Press.
7. L. Caires and L. Cardelli. A spatial logic for concurrency (part I). Information and Computation, 186(2): 194-235, November 2003.
8. L. Cardelli and A. Gordon. Anytime, anywhere, modal logics for mobile ambients. In 27th ACM Symposium on Principles of Programming Languages, pages 365-377. ACM, 2000.
9. L. Cardelli and A.D. Gordon. Mobile ambients. In Foundations of Software Science and Computation Structures: First International Conference, FOSSACS '98. Springer-Verlag, Berlin Germany, 1998.
10. D. Chalmers and M. Sloman. A survey of quality of service in mobile computing environments. IEEE Online Communication Surveys, 1(2), 1999.
11. R. Heckel and G. Engels. Relating functional requirements and software architecture: Separation and consistency of concerns. Joumal of Software Maintenance and Evolution: Research and Practice, 14(5), 2002. Special issue on Separation of Concems for Software Evolution, edited by Tom Mens and Michel Wermelinger.
12. M. Hennessy and J. Riely. A typed language for distributed mobile processes. In Proc. ACM Principles of Prog. Lang. ACM, 1998.
13. D. Hirsch and U. Montanari. Consistent transformations for software architecture styles of distributed systems. In G. Stefanescu, editor. Workshop on Distributed Systems, volume 28 of Electronic Notes in TCS, 1999.
14. Le Metayer, D. Software architecture styles as graph grammars. In Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, volume 216 of ACM Software Engineering Notes, pages 15-23, New York, October 16-18 1996. ACM Press.
15. S. Merz, M Wirsing, and J. Zappe. A spatio-temporal logic for the specification and refinement of mobile systems. In Mauro Pezze, editor, Proc. Fundamental Approaches to Software Engineering, 6th International Conference (FASE 2003), volume 2621 of LNCS, pages 87-101. Springer-Verlag, 2003.
16. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Information and Computation, 100:1-77, 1992.
17. B.D. Noble, M. Satyanarayanan, D. Narayanan, J.E. Tilton, J. Flinn, and K.R. Walker. Agile application-aware adaptation for mobility. In Proc. of the 16th ACM Symposium on Operating Systems Principles, pages 276-287, 1997.
18. OMG. UML profile for modeling quality of service and fault tolerance characteristics and mechanisms, 2002. http://www.omg.org/docs/realtime/03-08-06.pdf
19. G.-C. Roman, G. P. Picco, and A. L. Murphy. Software engineering for mobility: A roadmap. In A. Finkelstein, editor, Proc. ICSE 2000: The Future of Software Engineering, pages 241-258. ACM Press, 2000.
20. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scienfific, 1997.
21. M. Satyanarayanan. Fundamental challenges in mobile computing. In Symposium on Principles of Distributed Computing, pages 1-7, 1996.
22. Andy Schurr, Andreas J. Winter, and Albert Zündorf PROGRES: Language and environment. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors, Handbook on Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools, pages 487-550. World Scientific, Singapore, 1997.