Journal Article10.1016/J.INFSOF.2016.08.004
Evolving process views
18
TL;DR: The approach supports providers in deciding if and how changes to a private, internal process propagate to its public process view such that the process view and the internal process remain consistent.
read more
Abstract: Context: Process views support the paradigm of Business Process Outsourcing, in which providers perform business processes on behalf of their clients. A public process view shields secret or irrelevant details from a private, internal business process, thus allowing a provider to reveal only relevant, non-confidential parts of its business process to its clients. Providers can change their internal business processes that may result in inconsistencies with the corresponding process views.Objective: This paper aims to develop an approach for propagating changes from an internal, private process to its public process view, such that the internal process and its process view remain consistent.Method: We develop the approach in a formal way. Definitions of process models and process views are based on BPEL, the standard language for realizing process models using state-of-the-art service-oriented technology. We validate the feasibility of the approach by showing how it can be supported by a conceptual system architecture.Results: The approach relies on two key results. First, a formal characterization of the set of private changes to an internal process, i.e., changes that do not need to be propagated to the process view. Second, a characterization of the non-private changes that can safely be propagated from an internal process to its process view such that they remain consistent. Other non-private changes result in an internal process and a process view that are not consistent. The approach is supported by a system architecture for process-based business collaboration.Conclusion: The approach supports providers in deciding if and how changes to a private, internal process propagate to its public process view such that the process view and the internal process remain consistent. The approach allows clients to monitor a public process view such that they can safely track changes made to a private, internal process.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Designing a Smart-Contract Application Layer for Transacting Decentralized Autonomous Organizations
Alex Norta
- 11 Nov 2016
TL;DR: This keynote paper addresses existing problems with traditional non-machine readable contracts that are based on trust and starts considering the currently missing application layer for smart contracts.
79
A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations
TL;DR: In this paper, a smart-legal-contract markup language (SLCML) for legal and business constructs to define a legally-binding decentralized autonomous organizations (DAO) is proposed.
Two-sided preferences task matching mechanisms for blockchain-based crowdsourcing
TL;DR: This paper proposes two-sided preferences task matching mechanisms for blockchain-based crowdsourcing, namely SenseChain+, and Gale–Shapley Matching (GSM), which demonstrate higher performance compared to the benchmark in terms of workers’ QoI, payment, satisfaction, and confidence.
39
CEPchain: A graphical model-driven solution for integrating complex event processing and blockchain
TL;DR: This work was supported by the Spanish Ministry of Science and Innovation under the ‘‘Estancias de movilidad en el extranjero Jose Castillejo para jovenes doctores’’ program.
31
Commercial Property Tokenizing With Smart Contracts
Alex Norta,Chad Fernandez,Stefan Hickmott +2 more
- 08 Jul 2018
TL;DR: The Evareium system is a distributed application for enabling blockchain-based commercial-property trades that make middlemen superfluous and consequently, investors benefit from cost reductions, faster transaction times, greater transparency and reduced regulatory burdens.
26
References
•Book
Categories for the Working Mathematician
Saunders Mac Lane
- 01 Jan 1971
TL;DR: In this article, the authors present a table of abstractions for categories, including Axioms for Categories, Functors, Natural Transformations, and Adjoints for Preorders.
10.5K
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
Patrick Cousot,Radhia Cousot +1 more
- 01 Jan 1977
TL;DR: In this paper, the abstract interpretation of programs is used to describe computations in another universe of abstract objects, so that the results of abstract execution give some information on the actual computations.
•Book
Process Mining: Discovery, Conformance and Enhancement of Business Processes
Wil M. P. van der Aalst
- 01 Jan 2011
TL;DR: This book provides real-world techniques for monitoring and analyzing processes in real time and is a powerful new tool destined to play a key role in business process management.
2.5K
•Book
Database System Concepts
Henry F. Korth,Abraham Silberschatz +1 more
- 01 Jan 1980
TL;DR: This acclaimed revision of a classic database systems text provides the latest information combined with real-world examples to help readers master concepts in a technically complete yet easy-to-understand style.
2.1K
Formalizing and Securing Relationships on Public Networks
TL;DR: Protocols with application in important contracting areas, including credit, content rights management, payment systems, and contracts with bearer are discussed.
2K