Search
Now showing items 1-9 of 9
-
Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks: Case study: SBR plant
(Elsevier, 2010)This paper proposes a modular architecture for the analysis and the validation of wastewater treatment processes. An algorithm using neural networks is used to extract the relevant qualitative patterns, such as apexes, ... -
Role monitoring in open agent societies
(Springer, 2010)We address run-time monitoring of membership, roles and role dynamics in open agent societies. To this end, we build on Dignum's formalization of agent organizations, on the SOCS computational logic agent framework and on ... -
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes
(Springer, 2016)Clinical Guidelines (CGs) capture medical evidence and describe standardized high quality health processes. Their adoption increases the quality of the service offered by health departments, with direct advantage for treated ... -
Ensuring Model Consistency in Declarative Process Discovery
(Springer, 2015)Declarative process models define the behaviour of business processes as a set of constraints. Declarative process discovery aims at inferring such constraints from event logs. Existing discovery techniques verify the ... -
Model Checking Petri Nets with Names Using Data-Centric Dynamic Systems
(Springer, 2016)Petri nets with name creation and management ((Formula presented.)-PNs) have been recently introduced as an expressive model for dynamic (distributed) systems, whose dynamics are determined not only by how tokens flow in ... -
Evaluating compliance: From LTL to abductive logic programming
(CEUR, 2015)The compliance verification task amounts to establishing if the execution of a system, given in terms of observed events, does re-spect a given property. In the past both the frameworks of Temporal Logics and Logic Programming ... -
Declarative Process Modeling in BPMN
(Springer, 2015)Traditional business process modeling notations, including the standard Business Process Model and Notation (BPMN), rely on an imperative paradigm wherein the process model captures all allowed activity flows. In other ... -
Compliance monitoring in business processes: Functionalities, application, and tool-support
(Elsevier, 2015)In recent years, monitoring the compliance of business processes with relevant regulations, constraints, and rules during runtime has evolved as major concern in literature and practice. Monitoring not only refers to ... -
Semantic Enrichment of GSM-Based Artifact-Centric Models
(Springer, 2015)We provide a comprehensive framework for semantic GSM artifacts, discuss in detail its properties, and present main software engineering architectures it is able to capture. The distinguishing aspect of our framework is ...