Abstract
When designing a mobile application, we have to be aware of the properties and facilities of the target platform. At a conceptual level, this platform can be specified by a style, defining the structures and operations available to applications. In this paper, we use an UML-like meta model for the structural aspect and graph transformation rules over its instances to specify the dynamics of a style of mobile systems. The model is layered to separate clearly the software from the hardware and the geographic view of the system.
(on leave from University of Paderborn)
Chapter PDF
References
From UML to Java and Back Again: The Fujaba homepage, www.upb.de/cs/isileit.
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.
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.
G. Alsenmyr, J. Bergstrm, and M. Hagberg. Handover between WCDMA and GSM, 2003.
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.
L. Baresi, R. Heckel, S. Thöne, and D. Varró. 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.
L. Caires and L. Cardelli. A spatial logic for concurrency (part I). Information and Computation, 186(2): 194–235, November 2003.
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.
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.
D. Chalmers and M. Sloman. A survey of quality of service in mobile computing environments. IEEE Online Communication Surveys, 1(2), 1999.
R. Heckel and G. Engels. Relating functional requirements and software architecture: Separation and consistency of concerns. Journal of Software Maintenance and Evolution: Research and Practice, 14(5), 2002. Special issue on Separation of Concerns for Software Evolution, edited by Tom Mens and Michel Wermelinger.
M. Hennessy and J. Riely. A typed language for distributed mobile processes. In Proc. ACM Principles of Prog. Lang. ACM, 1998.
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.
Le Métayer, 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.
S. Merz, M Wirsing, and J. Zappe. A spatio-temporal logic for the specification and refinement of mobile systems. In Mauro Pezzé, editor, Proc. Fundamental Approaches to Software Engineering, 6th International Conference (FASE 2003), volume 2621 of LNCS, pages 87–101. Springer-Verlag, 2003.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Information and Computation, 100: 1–77, 1992.
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.
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.
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.
G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, 1997.
M. Satyanarayanan. Fundamental challenges in mobile computing. In Symposium on Principles of Distributed Computing, pages 1–7, 1996.
Andy Schürr, Andreas J. Winter, and Albert Zündorf. PROGRES: Language and environment. In Hartmut Ehrig, Gregor Engels, Hans-Jorg 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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 International Federation for Information Processing
About this paper
Cite this paper
Heckel, R., Guo, P. (2005). Conceptual Modeling of Styles for Mobile Systems. In: Lawrence, E., Pernici, B., Krogstie, J. (eds) Mobile Information Systems. MOBIS 2004. IFIP International Federation for Information Processing, vol 158. Springer, Boston, MA. https://doi.org/10.1007/0-387-22874-8_5
Download citation
DOI: https://doi.org/10.1007/0-387-22874-8_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-22851-8
Online ISBN: 978-0-387-22874-7
eBook Packages: Computer ScienceComputer Science (R0)