Introduction to the special issue on the International Web Rule Symposia 2012–2014

The annual International Web Rule Symposium (RuleML) is an international conference on research, applications, languages, and standards for rule technologies. It has evolved from an annual series of international workshops since 2002, international conferences in 2005 and 2006, and international symposia since 2007. It is the flagship event of the Rule Markup and Modeling Initiative (RuleML, http://ruleml.org), a nonprofit umbrella organization of several technical groups from academia, industry, and government working on rule technology and its applications. RuleML is the leading conference to build bridges between academia and industry in the field of rules and its applications, especially as part of the semantic technology stack. It is devoted to rule-based programming and rule-based systems including production rules systems, logic programming rule engines, and business rules engines/business rules management systems; Semantic Web rule languages and rule standards (e.g., RuleML, SWRL, RIF, PRR, SBVR, DMN, CL, Prolog); rule-based event processing languages and technologies; and research on inference rules, transformation rules, decision rules, production rules, and ECA rules

A rule-based framework for heterogeneous subsystems management in smart home environment

Recent advancements in computing and communication technologies have increased the growth of heterogeneous subsystems in smart home environment. However, many of these heterogeneous systems are standalone and do not adapt towards joint execution of tasks. Hence, it is rather difficult to perform interoperation especially to realize desired services preferred by home dwellers. In this paper, we propose a new rule-based framework for heterogeneous systems management as well as coordinating them by means of federated manner in smart home environment. The proposed framework is based on event-condition-action (ECA) rule mechanism with SOAP technology that provides interoperability among those systems. We have implemented the framework with several subsystems to demonstrate their effectiveness for interoperation using ECA rule mechanism. The performance of the framework was tested in LAN environment and proves to be reliable in smart home setting

Dynamic Adaptation of Temporal Event Correlation Rules

Temporal event correlation is essential to realizing self-managing distributed systems. Autonomic controllers often require that events be correlated across multiple components using rule patterns with timer-based transitions, e.g., to detect denial of service attacks and to warn of staging problems with business critical applications. This short paper discusses automatic adjustment of timer values for event correlation rules, in particular compensating for the variability of event propagation delays due to factors such as contention for network and server resources. We describe a corresponding Management Station architecture and present experimental studies on a testbed system that suggest that this approach can produce results at least as good as an optimal fixed setting of timer values

Cloud PARTE: Elastic Complex Event Processing based on Mobile Actors

Traffic monitoring or crowd management systems produce large amounts of data in the form of events that need to be processed to detect relevant incidents. Rule-based pattern recognition is a promising approach for these applications, however, increasing amounts of data as well as large and complex rule sets demand for more and more processing power and memory. In order to scale such applications, a rule-based pattern detection system needs to be distributable over multiple machines. Today's approaches are however focused on static distribution of rules or do not support reasoning over the full set of events. We propose Cloud PARTE, a complex event detection system that implements the Rete algorithm on top of mobile actors. These actors can migrate between machines to respond to changes in the work load distribution. Cloud PARTE is an extension of PARTE and offers the first rule engine specifically tailored for continuous complex event detection that is able to benefit from elastic systems as provided by cloud computing platforms. It supports fully automatic load balancing and supports online rules with access to the entire event pool

An Efficient Workflow Management Scheme with Explicit Business Rules

In this paper, we have identified and classified various workflow operational rules. There are many business rules involved in the operation of workflow systems within the enterprise business environments. The rules are defined as ECA (Event-Condition- Action) rules and integrated with workflow systems with the active DB technology. Operational rules are categorized into task dispatching rules, dynamic process adaptation rules, exception handling rules, event-based monitoring rules, and external domain business rules. By adopting rule-based approach, the modification of business rules for process management can be easier. With the explicit management of business rules, the reasoning process of organizations can be formalized and managed transparently, which enables rapid and clear decision-making

Failure prediction for high-performance computing systems

The failure rate in high-performance computing (HPC) systems continues to escalate as the number of components in these systems increases. This affects the scalability and the performance of parallel applications in large-scale HPC systems. Fault tolerance (FT) mechanisms help mitigating the impact of failures on parallel applications. However, utilizing such mechanisms requires additional overhead. Besides, the overuse of FT mechanisms results in unnecessarily large overhead in the parallel applications. Knowing when and where failures will occur can greatly reduce the excessive overhead. As such, failure prediction is critical in order to effectively utilize FT mechanisms. In addition, it also helps in system administration and management, as the predicted failure can be handled beforehand with limited impact to the running systems. This dissertation proposes new proficiency metrics for failure prediction based on failure impact in UPC environment that the existing proficiency metrics tire unable to reflect. Furthermore, an efficient log message clustering algorithm is proposed for system event log data preprocessing and analysis. Then, two novel association rule mining approaches are introduced and employed for HPC failure prediction. Finally, the performances of the existing and the proposed association rule mining methods are compared and analyzed

The design and implementation of EPL: An event pattern language for active databases

The growing demand for intelligent information systems requires closer coupling of rule-based reasoning engines, such as CLIPS, with advanced data base management systems (DBMS). For instance, several commercial DBMS now support the notion of triggers that monitor events and transactions occurring in the database and fire induced actions, which perform a variety of critical functions, including safeguarding the integrity of data, monitoring access, and recording volatile information needed by administrators, analysts, and expert systems to perform assorted tasks; examples of these tasks include security enforcement, market studies, knowledge discovery, and link analysis. At UCLA, we designed and implemented the event pattern language (EPL) which is capable of detecting and acting upon complex patterns of events which are temporally related to each other. For instance, a plant manager should be notified when a certain pattern of overheating repeats itself over time in a chemical process; likewise, proper notification is required when a suspicious sequence of bank transactions is executed within a certain time limit. The EPL prototype is built in CLIPS to operate on top of Sybase, a commercial relational DBMS, where actions can be triggered by events such as simple database updates, insertions, and deletions. The rule-based syntax of EPL allows the sequences of goals in rules to be interpreted as sequences of temporal events; each goal can correspond to either (1) a simple event, or (2) a (possibly negated) event/condition predicate, or (3) a complex event defined as the disjunction and repetition of other events. Various extensions have been added to CLIPS in order to tailor the interface with Sybase and its open client/server architecture

Implementation of predictive control in a commercial building energy management system using neural networks

Most existing commercial building energy management systems (BEMS) are reactive rule-based. This means that an action is produced when an event occurs. In consequence, these systems cannot predict future scenarios and anticipate events to optimize building operation. This paper presents the procedure of implementing a predictive control strategy in a commercial BEMS for boilers in buildings, and describes the results achieved. The proposed control is based on a neural network that turns on the boiler each day at the optimum time, according to the surrounding environment, to achieve thermal comfort levels at the beginning of the working day. The control strategy presented in this paper is compared with the current control strategy implemented in BEMS that is based on scheduled on/off control. The control strategy was tested during one heating season and a set of key performance indicators were used to assess the benefits of the proposed control strategy. The results showed that the implementation of predictive control in a BEMS for building boilers can reduce the energy required to heat the building by around 20% without compromising the user’s comfort.Peer ReviewedPostprint (author's final draft

Knowledge Representation Concepts for Automated SLA Management

Outsourcing of complex IT infrastructure to IT service providers has increased substantially during the past years. IT service providers must be able to fulfil their service-quality commitments based upon predefined Service Level Agreements (SLAs) with the service customer. They need to manage, execute and maintain thousands of SLAs for different customers and different types of services, which needs new levels of flexibility and automation not available with the current technology. The complexity of contractual logic in SLAs requires new forms of knowledge representation to automatically draw inferences and execute contractual agreements. A logic-based approach provides several advantages including automated rule chaining allowing for compact knowledge representation as well as flexibility to adapt to rapidly changing business requirements. We suggest adequate logical formalisms for representation and enforcement of SLA rules and describe a proof-of-concept implementation. The article describes selected formalisms of the ContractLog KR and their adequacy for automated SLA management and presents results of experiments to demonstrate flexibility and scalability of the approach.Comment: Paschke, A. and Bichler, M.: Knowledge Representation Concepts for Automated SLA Management, Int. Journal of Decision Support Systems (DSS), submitted 19th March 200