Recently, social networks have attracted a particular interest in the web, particularly Facebook. Consequently, a large amount of social data is produced. For semantic modeling of such data, several social network ontologies are introduced. The most popular is FoaF (Friend of a Friend) ontology. In our research, we are interested in data generated from Facebook social network. Heretofore, the s...

ion of GeoDatabases Geographic Database Conceptual Modeling Modeling with a UML Profile Geographic Databases Spatio-temporal Database Modeling with an Extended Entity-Relationship Model Geographic Dynamics, Visualization and Modeling MAY YUAN Department of Geography and Center for Spatial Analysis, University of Oklahoma, Norman, OK, USA

Title Type intelligent mechatronic systems modeling control and diagnosis PDF system dynamics modeling simulation and control of mechatronic systems PDF intelligent systems modeling optimization and control automation and control engineering PDF spatio-temporal modeling of nonlinear distributed parameter systems a timespace separation based approach intelligent systems control and automation sc...

The modeling and verification of real-time systems is a challenging task in the area of software engineering. This paper proposes a formal method for modeling and verification of real-time systems based on aspect-oriented timed statecharts and linear-time temporal logic. Behaviors of real-time systems are modeled by aspect-oriented timed statecharts, while key properties of systems are specifie...

In this paper, we introduce Concurrent METATEM Processes, a high-level language for modeling distributedand concurrent systems. This language represents an operational model for a variety of METATEM, which is a framework for executable temporal logics. We argue that the combination of executable temporal logic, meta-level capabilities, and concurrent operational model make the language suitable...

This work presents an alternative for the union of temporal data and a version model. The result, the Temporal Versions Model, is able to store object versions and, for each version, the history of its dynamic properties and relationships values. TVM is ideal for modeling time-evolving systems that need to manage design alternatives as versions. An interface for modeling TVM classes is also pre...

prediction of spatial and temporal variation of water quality is vital for managing pollutantsdisposal into the rivers. depletion of dissolved oxygen (do) takes place due to the consumption of oxygen bymicrobes to digest bio-degradable pollutants which enter a water course. reaeration takes place in a specificrate depending on do deficit. many investigators have formulated models as an alternat...

Currently, there are strong efforts to integrate spatial and temporal database technology into spatio-temporal database systems. This paper views the topic from a more fundamental perspective and makes several contributions. First, it reviews existing temporal and spatial data models and presents a completely new approach to temporal data modeling based on the very general notion of temporal ob...

Currently, there are strong efforts to integrate spatial and temporal database technology into spatio-temporal database systems. This paper views the topic from a rather fundamental perspective and makes several contributions. First, it reviews existing temporal and spatial data models and presents a completely new approach to temporal data modeling based on the very general notion of temporal ...

We define the spatio-temporal logic MTLA as an extension of Lamport’s Temporal Logic of Actions TLA for the specification, verification, and formal development of systems that rely on mobile code. The formalism is validated by an encoding of models written in the Mobile UML notation. We identify refinement principles for mobile systems and justify refinements of Mobile UML state machines with t...