Search
Now showing items 1-10 of 21
-
Implementing and Running Data Centric Dynamic Systems
(IEEE, 2013)Data- and artifact-centric business processes are gaining momentum due to their ability of explicitly capturing the interplay between the process control-flow and the manipulated data. In this paper, we rely on the framework ... -
Computational logic for run-time verification of web services choreographies: Exploiting the SOCS-SI tool
(Springer, 2006)In this work, we investigate the feasibility of using a framework based on computational logic, and mainly defined in the context of Multi-Agent Systems for Global Computing (SOCS UE Project), for modeling choreographies ... -
Learning DecSerFlow models from labelled traces
(Oregon State University, 2007) -
Monitoring Business Metaconstraints Based on LTL & LDL for Finite Traces
(Springer, 2014)Runtime monitoring is one of the central tasks to provide operational decision support to running business processes, and check on-the-fly whether they comply with constraints and rules. We study runtime monitoring of ... -
Verifying MSMAS Model Using CIFF
(Springer, 2013)MSMAS is a software development methodology that facilities the design and development of complex distributed systems based on the multiagent systems paradigm. MSMAS explicitly supports the institutional organisational ... -
Verification of Query Completeness over Processes
(Springer, 2013)Data completeness is an essential aspect of data quality, and has in turn a huge impact on the effective management of companies. For example, statistics are computed and audits are conducted in companies by implicitly ... -
Testing careflow process execution conformance by translating a graphical language to computational logic
(Springer, 2007)Careflow systems implement workflow concepts in the clinical domain in order to administer, support and monitor the execution of health care services performed by different health care professionals and structures. In this ... -
Expressing and verifying business contracts with abductive logic programming
(IBFI, 2007)In this article, we propose to adopt the SCIFF abductive logic language to specify business contracts, and show how its proof procedures are useful to verify contract execution and fulfilment. SCIFF is a declarative language ... -
Recency-Bounded Verification of Dynamic Database-Driven Systems
(ACM Press and Addison Wesley, 2016)We propose a formalism to model database-driven systems, called database manipulating systems (DMS). The actions of a DMS modify the current instance of a relational database by adding new elements into the database, ... -
Add Data into Business Process Verification: Bridging the Gap between Theory and Practice
(AAAI press, 2017)The need to extend business process languages with the capability to model complex data objects along with the control flow perspective has lead to significant practical and theoretical advances in the field of Business ...