發送短信 : A rule modeling engine for complex event processing (a case study on passive RFID for a virtual shopping mall)