TY - GEN
T1 - Modeling and analyzing real-time data streams
AU - Kapitanova, Krasimira
AU - Son, Sang H.
AU - Kang, Woochul
AU - Kim, Won Tae
PY - 2011
Y1 - 2011
N2 - Achieving situation awareness is especially challenging for real-time data stream applications because they i) operate on continuous unbounded streams of data, and ii) have inherent real-time requirements. In this paper we show how formal data stream modeling and analysis can be used to better understand stream behavior, evaluate query costs, and improve application performance. We use MEDAL, a formal specification language based on Petri nets, to model the data stream queries and the Quality-of-Service (QoS) management mechanisms in a data stream system. MEDAL's ability to combine query logic and data admission control in one model allows us to design a single comprehensive model of the system. This model can be used to perform a large set of analyses to help improve the application's performance and QoS.
AB - Achieving situation awareness is especially challenging for real-time data stream applications because they i) operate on continuous unbounded streams of data, and ii) have inherent real-time requirements. In this paper we show how formal data stream modeling and analysis can be used to better understand stream behavior, evaluate query costs, and improve application performance. We use MEDAL, a formal specification language based on Petri nets, to model the data stream queries and the Quality-of-Service (QoS) management mechanisms in a data stream system. MEDAL's ability to combine query logic and data admission control in one model allows us to design a single comprehensive model of the system. This model can be used to perform a large set of analyses to help improve the application's performance and QoS.
KW - Petri nets
KW - QoS management
KW - data stream analysis
KW - operator selectivity estimation
KW - stream query modeling
UR - http://www.scopus.com/inward/record.url?scp=79958012241&partnerID=8YFLogxK
U2 - 10.1109/ISORC.2011.21
DO - 10.1109/ISORC.2011.21
M3 - Conference contribution
AN - SCOPUS:79958012241
SN - 9780769543680
T3 - Proceedings - 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011
SP - 91
EP - 98
BT - Proceedings - 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011
T2 - 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011
Y2 - 28 March 2011 through 31 March 2011
ER -