“…Our future work will focus on practical assessment of process models with the time related logic specification and the possibility of validation and verification of such models [61] or compliance checking [62], especially with the existing tools which uses temporal knowledge [63], [64]. One of the possible directions is related to integration of timed process models with timed rules models for complex reasoning on contex data [65], [66]. Important issue is also practical design of timed models of processes and rules [67].…”
Abstract-Process models can specify various aspects of business processes. In this paper, we present an overview of the existing solutions for describing time aspects of such models. We focus on Business Process Model and Notation and provide examples of representing time patterns in this notation. As temporal issues can be specified using temporal logics, we provide a short overview of selected temporal logics which can be used to specify the time patterns in business process models.
“…Our future work will focus on practical assessment of process models with the time related logic specification and the possibility of validation and verification of such models [61] or compliance checking [62], especially with the existing tools which uses temporal knowledge [63], [64]. One of the possible directions is related to integration of timed process models with timed rules models for complex reasoning on contex data [65], [66]. Important issue is also practical design of timed models of processes and rules [67].…”
Abstract-Process models can specify various aspects of business processes. In this paper, we present an overview of the existing solutions for describing time aspects of such models. We focus on Business Process Model and Notation and provide examples of representing time patterns in this notation. As temporal issues can be specified using temporal logics, we provide a short overview of selected temporal logics which can be used to specify the time patterns in business process models.
“…The other type of time‐based operators are statistical functions. The complete list of supported statistical operators was given in Bobek, Ślażyński, and Nalepa (), while the practical example is presented below: …”
Section: Xtt2 Rule Representation and The Hmr+ Rule Languagementioning
Building mobile context‐aware systems is inherently complex and non‐trivial task. It consists of several phases starting from acquisition of context, through modeling to execution of contextual models. Today, such systems are mostly implemented on mobile platforms, that introduce specific requirements, such as intelligibility, robustness, privacy, and efficiency. Over the last decade, along with the rapid development of mobile industry, many approaches were developed that unevenly support these requirements. This is mainly caused by the fact that current modelling and reasoning methods are not crafted to operate in mobile environments. We argue that the use of rule‐based reasoning tailored to mobile environments is an optimal solution. Rules are based on symbolic knowledge representation, as such they meet the general tendency to enforce understandability, intelligibility, and controllability of artificial intelligence software, as stated in the recent European Union General Data Protection Regulation. To this goal, we introduce a lightweight rule engine dedicated for Android platform called HEARTDROID. It executes models in the HMR+ rule language that are capable of expressing uncertainty of knowledge, capturing dynamics of mobile environment and provide high level of intelligibility. We present a qualitative and quantitative comparison of HEARTDROID with the most popular rule engines available.
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.
