DocumentCode :
519573
Title :
Logical modeling for spatio-temporal phenomena: With the perspectives of concurrent processing and signal transmission
Author :
Aigong, Xu ; Lakmal, A.H.
Author_Institution :
Sch. of Geomatics, Liaoning Tech. Univ., Fuxin, China
Volume :
2
fYear :
2010
fDate :
21-24 May 2010
Abstract :
Spatio-Temporal Process Model (STPM) is novel designed process oriented architecture which has enormous capacities in modeling dynamic aspect of the spatio-temporal phenomena. This model highly correlates with concurrent processing and signal transmission by associating syntax and semantics of π-calculus. We discuss the further development of this STPM, which is from conceptual modeling phase up to logical modeling phase throughout this article. The logical modeling phase entirely developed by using the Real Time profile of Unified Modeling Language (UML) called UML-RT. So called profile also inherits UML artifacts such as designing, visualizing, constructing and documenting etc. The discussion about the modeling techniques in UML-RT and their applicability with the application of STPM also include in this paper. In the conclusion, the key issue that we encountered when modeling and further developments of this model also presented.
Keywords :
Unified Modeling Language; formal verification; geographic information systems; spatiotemporal phenomena; UML-RT; concurrent processing; designed process oriented architecture; logical modeling; signal transmission; spatio-temporal process model; unified modeling language; Application software; Computer architecture; Extraterrestrial phenomena; Process design; Signal design; Signal processing; Spatiotemporal phenomena; Storms; Unified modeling language; Visualization; concurrent processing; logical modeling; process model; real time; signal transmission;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Future Computer and Communication (ICFCC), 2010 2nd International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-5821-9
Type :
conf
DOI :
10.1109/ICFCC.2010.5497292
Filename :
5497292
Link To Document :
بازگشت