Complex Event Processing (CEP) is a technology with support for matching patterns in a cloud or streams of events in order to support detection of specific combinations of event occurrences. A clever specification of event patterns may, for example, detect fraud attempts in a banking system, fire an alarm in response to hazardous situations in a control system or report suspicious customer behavior.Several CEP engines have support for graphically modelling applications as well as perform tests and provide execution traces to verify the application behavior. We argue that it is beneficial to complement testing with formal verification in order to detect errors in early stages of development.In this paper, we present the research prototype tool REX. REX is built as a loosely coupled front end to the timedautomata CASE tool Uppaal. CEP applications and application specific properties can be specified in REX. To support formal verification, REX seamlessly transforms the CEP application together with the specified properties to the timed automata CASE tool Uppaal where the properties are verified by the model-checker provided by Uppaal.
Conducting pilot projects are a common approach among organizations to test and evaluate new technology. A pilot project is often conducted to remove uncertainties from a large-scale project and should be limited in time and scope. Nowadays, several organizations are testing and evaluating artificial intelligence techniques and more advanced forms of analytics via pilot projects. Unfortunately, many organizations are experiencing problems in scaling-up the findings from pilot projects to the rest of the organization. Hence, results from pilot projects become siloed with limited business value. In this article, we present an overview of barriers for conducting and scaling-up data-driven pilot projects. Lack of senior management support is a frequently mentioned top barrier in the literature. In response to this, we present our recommendations on what type of activities can be performed, to increase the chances of getting a positive response from senior management regarding scaling-up the usage of artificial intelligence and advanced analytics within an organization.
Despite proven successful in previous projects, the use of formal methods for enhancing quality of software is still not used in its full potential in industry. We argue that seamless support for formal verification in a high-level specification tool enhances the attractiveness of using a formal approach for increasing software quality.Commercial Complex Event Processing (CEP) engines often have support for modelling, debugging and testing CEP applications. However, the possibility of utilizing formal analysis is not considered.We argue that using a formal approach for verifying a CEP system can be performed without expertise in formal methods. In this paper, a prototype tool REX is presented with support for specifying both CEP systems and correctness properties of the same application in a high-level graphical language. The specified CEP applications are seamlessly transformed into a timed automata representation together with the high-level properties for automatic verification in the model-checker Uppaal.
No abstract
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.