This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Specifying Timing Constraints and Composite Events: An Application in the Design of Electronic Brokerages
December 2004 (vol. 30 no. 12)
pp. 841-858
Increasingly, business applications need to capture consumers' complex preferences interactively and monitor those preferences by translating them into Event-Condition-Action (ECA) rules and syntactically correct processing specification. An expressive event model to specify primitive and composite events that may involve timing constraints among events is critical to such applications. Relying on the work done in active databases and real-time systems, this research proposes a new composite event model based on Real-Time Logic (RTL). The proposed event model does not require fixed event consumption policies and allows the users to represent the exact correlation of event instances in defining composite events. It also supports a wide-range of domain-specific temporal events and constraints, such as future events, time-constrained events, and relative events. This event model is validated within an electronic brokerage architecture that unbundles the required functionalities into three separable components—business rule manager, ECA rule manager, and event monitor—with well-defined interfaces. A proof-of-concept prototype was implemented in the Java programming language to demonstrate the expressiveness of the event model and the feasibility of the architecture. The performance of the composite event monitor was evaluated by varying the number of rules, event arrival rates, and type of composite events.

[1] A. Adi and O. Etzion, “Amit— the Situation Manager,” VLDB J., vol. 13, no. 2, pp. 177-203, 2004.
[2] P. Bellini, R. Mattolini, and P. Nesi, “Temporal Logics for Real-Time System Specification,” ACM Computing Survey, vol. 32, no. 1, pp. 12-42, 2000.
[3] H. Branding and A.P. Buchmann, “Unbundling RTDBMS Functionality to Support WWW-Applications,” Proc. First Int'l Workshop Real-Time Databases, pp. 45-47, Mar. 1996.
[4] A.P. Buchmann, A. Deutsch, J. Zimmermann, and M. Higa, “The REACH Active OODBMS,” Proc. 1995 ACM SIGMOD Int'l Conf. Management of Data, p. 476, May 1995.
[5] S. Chakravarthy, V. Krishnaprasad, E. Anwar, and S.-K. Kim, “Composite Events for Active Databases: Semantics, Contexts and Detection,” Proc. Int'l Conf. Very Large Data Bases (VLDB), pp. 606-617, 1994.
[6] S. Chakravarthy and D. Mishra, “Snoop: An Expressive Event Specification Language for Active Databases,” Data and Knowledge Eng., vol. 14, no. 1, pp. 1-26, 1994.
[7] A.M.K. Cheng, Real-Time Systems: Scheduling, Analysis, and Verification. John Wiley & Sons, 2002.
[8] S.E. Chodrow, F. Jahanian, and M. Donner, “Runtime Monitoring of Real-Time Systems,” Proc. IEEE Real-Time Technology and Applications Symp. (RTAS), pp. 74-83, 1991.
[9] U. Dayal, B. Blaustein, A. Buchmann, U. Chakravarthy, M. Hsu, R. Ledin, D. McCarthy, A. Rosenthal, and S. Sarin, “The HiPAC Project: Combining Active Databases and Timing Constraints,” ACM SIGMOD RECORD, vol. 17, no. 1, pp. 51-70, Mar. 1988.
[10] DBRover, http:/www.dbrover.com/, 2003.
[11] D. Drusinsky, “Monitoring Temporal Logic Specifications Combined with Time Series Constraints,” Proc. 15th Computer-Aided Verification Conf., pp. 114-117, 2003.
[12] D. Drusinsky, “The Temporal Rover and the ATG Rover,” Proc. Seventh Int'l SPIN Workshop SPIN Model Checking and Software Verification, pp. 323-330, 2000.
[13] C.L. Forgy, “Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem,” Artificial Intelligence, vol. 19, no. 1, pp. 17-37, 1982.
[14] A. Galton and J.C. Augusto, “Two Approaches to Event Definition,” Proc. 13th Int'l Conf. Database and Expert Systems Applications (DEXA '02), pp. 547-556, Sept. 2002.
[15] A. Galton, “Eventualities,” The Handbook of Time and Temporal Reasoning in Artificial Intelligence, to be published.
[16] A. Galton, “Time and Change,” Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4 (Epistemic and Temporal Reasoning), pp. 175-240, 1995.
[17] S. Gatziu and K.R. Dittrich, “SAMOS: An Active, Object-Oriented Database System,” IEEE Database Eng. Bull., vol. 15, no. 1, pp. 23-26, 1992.
[18] S. Gatziu, A. Gepperrt, and K.R. Dittrich, “A Designer's Benchmark for Active Database Management Systems: 007 Meets the BEAST,” Proc. Second Workshop Rules in Databases (RIDS), pp. 309-326, Sept. 1994.
[19] S. Gatziu, A. Gepperrt, and K.R. Dittrich, “Detecting Composite Events in Active Dabase Systems Using Petri Nets,” Proc. Fourth Int'l Workshop Research Issues in Data Eng., pp. 2-9, Feb. 1994.
[20] S. Gatziu, A. Koschel, G. Bultzingsloewen, and H. Fritschi, “Unbundling Active Functionality,” SIGMOD RECORD, vol. 27, no. 1, pp. 35-40, Mar. 1998.
[21] N.H. Gehani and H.V. Jagadish, “Ode as an Active Database: Constraints and Triggers,” Proc. Int'l Conf. Very Large Data Bases (VLDB), pp. 327-336, Sept. 1991.
[22] N.H. Gehani, H.V. Jagadish, and U. Shmueli, “Composite Event Specification in Active Databases: Model and Implementation,” Proc. Int'l Conf. Very Large Data Bases (VLDB), pp. 327-338, Aug. 1992.
[23] C.L. Hamblin, “Instants and Intervals,” The Study of Time, pp. 324-328, 1972.
[24] F. Jahanian and A. Goyal, “A Formalism for Monitoring Real-Time Constraints at Runtime,” Proc. IEEE Fault-Tolerant Computing Symp., pp. 148-155, 1990.
[25] F. Jahanian and A.K. Mok, “Safety Analysis of Timing Properties in Real-Time Systems,” IEEE Trans. Software Eng., vol. 12, no. 9, pp. 890-904, Sept. 1986.
[26] F. Jahanian and A.K. Mok, “A Graph-Theoretic Approach for Timing Analysis and Its Implementation,” IEEE Trans. Computers, vol. 36, no. 8, pp. 961-975, Aug. 1987.
[27] Y.-H. Lee and A.M.K. Cheng, “Optimizing Real-Time Equational Rule-Based Systems,” IEEE Trans. Software Eng., vol. 30, no. 2, pp. 112-125, Feb. 2004.
[28] G. Liu, “An Event Service Architecture in Distributed Real-Time Systems,” PhD thesis, The Univ. of Texas at Austin, 1999.
[29] G. Liu, A.K. Mok, and P. Konana, “A Unified Approach for Specifying Timing Constraints and Composite Events in Active Database Systems,” Proc. IEEE Real-Time Technology and Applications Symp. (RTAS), pp. 199-208, June 1998.
[30] M. Mansouri-Samani and M. Sloman, “GEM: A Generalized Event Monitoring Language for Distributed Systems,” IEE/IOP/BCS Distributed Systems Eng. J., vol. 4, no. 2 June 1997.
[31] D.P. Miranker, “Treat: A Better Match Algorithm for AI Production Systems,” Proc. Sixth Nat'l Conf. Artificial Intelligence (AAAI-87), pp. 42-47, Aug. 1987.
[32] A.K. Mok, “A Graph-Based Computation Model for Real-Time Systems,” Proc. IEEE Parallel Processing Conf., pp. 619-623, 1985.
[33] A.K. Mok and G. Liu, “Early Detection of Timing Constraint Violation at Runtime,” Proc. IEEE Real-Time Systems Symp. (RTSS), pp. 176-185, 1997.
[34] A.K. Mok and G. Liu, “Efficient Runtime Monitoring of Timing Constraints,” Proc. IEEE Real-Time Technology and Applications Symp. (RTAS), pp. 252-262, 1997.
[35] A.K. Patankar and A. Segev, “An Architecture and Construction of a Business Event Manager,” Temporal Database: Research and Practice, pp. 257-280, 1998.
[36] N.W. Paton and O. Diaz, “Active Database Systems,” ACM Computing Surveys, vol. 31, no. 1, pp. 63-103, 1999.
[37] K. Ramamritham, “Real-Time Databases,” Int'l J. Distributed and Parallel Databases, vol. 1, no. 2, pp. 199-226, 1993.
[38] C.L. Roncancio, “Toward Duration-Based, Constrained and Dynamic Event Types,” Proc. Second Int'l Workshop Active, Real-Time and Temporal Database Systems (ARTDB '97), vol. 1553, pp. 176-193, 1997.
[39] U. Schreier, H. Pirahesh, R. Agrawal, and C. Mohan, “Alert: An Architecture for Transforming a Passive DBMS into an Active DBMS,” Proc. Int'l Conf. Very Large Data Bases (VLDB), pp. 469-478, Sept. 1991.
[40] A.P. Sistla and O. Wolfson, “Temporal Conditions and Integrity Constraints in Active Database Systems,” Proc. ACM SIGMOD Int'l Conf. Management of Data, pp. 269-180, May 1995.
[41] P. Terenziani, “Is Point-Based Semantics Always Adequate for Temporal Databases,” Proc. Seventh Int'l Workshop Temporal Representation and Reasoning (TIME-00), pp. 191-199, 2000.
[42] J. Widom and S. Ceri, “Active Database Rules,” Active Database Systems: Triggers and Rules For Advanced Database Processing, 1996.
[43] D. Zimmer and R. Unland, “On the Semantics of Complex Events in Active Database Management Systems,” Proc. 15th Int'l Conf. Data Eng., pp. 392-399, 1999.

Index Terms:
Active databases, real-time databases, electronic brokerages, event specification, timing constraints.
Citation:
Aloysius K. Mok, Prabhudev Konana, Guangtian Liu, Chan-Gun Lee, Honguk Woo, "Specifying Timing Constraints and Composite Events: An Application in the Design of Electronic Brokerages," IEEE Transactions on Software Engineering, vol. 30, no. 12, pp. 841-858, Dec. 2004, doi:10.1109/TSE.2004.105
Usage of this product signifies your acceptance of the Terms of Use.