Analyzing Enterprises: The Value Cycle Approach

Griffioen, Paul; Elsas, Philip I.; Riet, Reind P. van de

doi:10.1007/3-540-44469-6_64

Cited by 5 publications

(6 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Further related work seems to be scarce. We mention here the work of Elsas et al [9,11] on audit theory, and the work of Bergstra and Middelburg [5] on computational capital. Both are theoretical approaches that apply process theory in the analysis of organizations dealing with money streams: the former uses Petri nets, the latter process algebra.…”

Section: Discussionmentioning

confidence: 99%

Tuplix Calculus

Bergstra,

Ponse,

van der Zwaag

2007

Preprint

View full text Add to dashboard Cite

We introduce a calculus for tuplices, which are expressions that generalize matrices and vectors. Tuplices have an underlying data type for quantities that are taken from a zero-totalized field. We start with the core tuplix calculus CTC for entries and tests, which are combined using conjunctive composition. We define a standard model and prove that CTC is relatively complete with respect to it. The core calculus is extended with operators for choice, information hiding, scalar multiplication, clearing and encapsulation. We provide two examples of applications; one on incremental financial budgeting, and one on modular financial budget design. * Thanks are due to Sanne Nolst Trenité (UvA, Faculty of Science) for many discussions and for helping to clarify the usefulness and necessity of formalization in budget calculations.

show abstract

Section: Discussionmentioning

confidence: 99%

Tuplix Calculus

Bergstra,

Ponse,

van der Zwaag

2007

Preprint

View full text Add to dashboard Cite

show abstract

“…Model-based auditing is a computational approach to compliance monitoring and auditing, which is based on a normative meta-model of the value-cycle: the movement of money and goods or services [13,17,37,10]. Where do these valuecycle models come from?…”

Section: Model-based Auditingmentioning

confidence: 99%

Reliability of electronic evidence

Christiaanse

Griffioen

Hulstijn

2015

Proceedings of the 15th International Conference on Artificial Intelligence and Law

View full text Add to dashboard Cite

Much legal evidence is being generated by and stored in information systems. In this paper we look at evidence from an auditing point of view. Auditors rely on evidence of the party being audited, who may have a legitimate or illegitimate interest to manipulate it. To assess the quality of audit evidence, we argue for an approach called model-based auditing. It is based on a mathematically precise model of the expected relationships between the flow of money and the flow of goods or services. Such equations are used for cross verification. If the equations do not hold, either something is wrong (violation) or some underlying assumption is false (exception). To show the usefulness of the approach, we look in particular at a case study of a legal dispute about automated contract monitoring. A precise revenue model is instrumental in demonstrating that the data set does indeed constitute appropriate evidence to settle the case.

show abstract

“…Provided that such measures are in place, the idea is that less effort can be spent on substantive testing. Consider the audit risk model [15], but see [17] for a critical discussion.…”

Section: Continuous Monitoringmentioning

confidence: 99%

“…Sometimes, a combination of critical factors taken together may be evidence of an increased risk of a disruption. -Reconciliation: different variables can be reconciled, based on the underlying causal, fiscal, or trading relationships [6,17]. For example, the number of test samples in the laboratory for a given day, should equal the number of animals being slaughtered, as counted by independent sources.…”

Section: Reasoning and Reconciliation Over The Supply Chainmentioning

confidence: 99%

“…A similar role to these laws is played by what Vasarhelyi et al [10] call continuity equations. Griffoen et al [17] use Petri nets and equation modeling to capture these constraints. Crucial is that these reconciliation equations can be used to verify compliance, also in non-financial domains.…”

Section: Fig 2 Interconnected Value Cycles Of Vendor and Client With ...mentioning

confidence: 99%

See 1 more Smart Citation

Continuous Control Monitoring-Based Regulation: A Case in the Meat Processing Industry

Hulstijn

Christiaanse

Bharosa

et al. 2011

Lecture Notes in Business Information Processing

View full text Add to dashboard Cite

Regulation based on Continuous Control Monitoring could reduce the administrative burden for companies. Often, companies already have elaborate internal control and quality management systems. Instead of periodic physical inspections, regulatory supervision can partly be automated and performed on a continuous basis. The regulator gets access to a validated copy of key data elements from the company's internal information systems, which serve as indicator of compliance to specific control objectives. In this paper we describe an information architecture for continuous control monitoring, and show how it can be applied to supervision of regulatory compliance. The approach is illustrated by a pilot project in the Netherlands of applying continuous control monitoring to food safety regulations in the meat processing industry. Participants concluded that the approach is technically feasible but requires a different mindset towards regulation, and a clear business case.

show abstract

Analyzing Enterprises: The Value Cycle Approach

Cited by 5 publications

References 2 publications

Tuplix Calculus

Tuplix Calculus

Reliability of electronic evidence

Continuous Control Monitoring-Based Regulation: A Case in the Meat Processing Industry

Contact Info

Product

Resources

About