Abstract
System modeling, analysis and visualization are becoming a common practice for the design of distributed intelligent systems since the wide adoption of the Unified Modeling Language (UML). However, UML cannot describe important behavioral properties such as context awareness as required for ubiquitous computing. In this paper, we present Context Aware UML Sequence diagrams (CA UML-S), an experimental visual programming language that extends UML sequence diagrams with data/ object spaces to represent computational context awareness. The programming language provides the means to describe the event-condition-action (ECA) rules that govern complex nomadic user behavior and to visualize their effect. The ECA rules are compiled into common concurrent programming abstractions by introducing structuring notions of object creation, synchronization, and communication, along with sequential and selective composition of simpler rules. The contribution of this work is in providing programming abstractions that facilitate the design of context-aware applications for ubiquitous and nomadic computing.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Weiser, M.: Some computer science issues in ubiquitous computing. Commun. ACM 36, 75–84 (1993)
Olmedo-Aguirre, J.O., Escobar-Vázquez, K., Alor-Hernández, G., Morales-Luna, G.: ADM: An active deductive XML database system. In: Monroy, R., Arroyo-Figueroa, G., Sucar, L.E., Sossa, H. (eds.) MICAI 2004. LNCS (LNAI), vol. 2972, pp. 139–148. Springer, Heidelberg (2004)
Beguelin, A., Dongarra, J.J.: Graphical development tools for network-based concurrent supercomputing. In: Supercomputing 1991: Proceedings of the 1991 ACM/IEEE conference on Supercomputing, pp. 435–444. ACM, New York (1991)
Topol, B., Stasko, J.T., Sunderam, V.S.: Integrating visualization support into distributed computing systems. In: ICDCS, pp. 19–26 (1995)
Rivera-de-la-Rosa, M., Olmedo-Aguirre, J.O.: A visual programming environment for eca rules. Advances in Artificial Intelligence and Computer Science. Research on Computing Science 14, 253–264 (2005)
Valk, R.: Petri nets as token objects: An introduction to elementary object nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1–25. Springer, Heidelberg (1998)
Lomazova, I.A.: Nested Petri nets: Multi-level and recursive systems. Fundam. Inf. 47, 283–293 (2001)
de Frutos-Escrig, D., Alonso, O.M., Velardo, F.R.: Ubiquitous systems and Petri nets. In: Gervasi, O., Gavrilova, M.L., Kumar, V., Laganá, A., Lee, H.P., Mun, Y., Taniar, D., Tan, C.J.K. (eds.) ICCSA 2005. LNCS, vol. 3481, pp. 1156–1166. Springer, Heidelberg (2005)
Alhir, S.S.: UML in a nutshell: a desktop quick reference. O’Reilly & Associates, Inc., Sebastopol (1998)
Bell, D.: UML’s sequence diagram (2004), http://www.ibm.com/developerworks/rational/library/3101.html
Hennessy, M., Plotkin, G.D.: Full abstraction for a simple parallel programming language. In: Becvár, J. (ed.) MFCS. LNCS, vol. 74, pp. 108–120. Springer, Heidelberg (1979)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Olmedo-Aguirre, J.O., de la Rosa, M.R., Morales-Luna, G. (2008). ECA-Rule Visual Programming for Ubiquitous and Nomadic Computing. In: Gelbukh, A., Morales, E.F. (eds) MICAI 2008: Advances in Artificial Intelligence. MICAI 2008. Lecture Notes in Computer Science(), vol 5317. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88636-5_87
Download citation
DOI: https://doi.org/10.1007/978-3-540-88636-5_87
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88635-8
Online ISBN: 978-3-540-88636-5
eBook Packages: Computer ScienceComputer Science (R0)