Towards a shared ledger business collaboration language based on data-aware processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 9936 LNCS, Issue , 2016, Pages 18-36

  Hull, Richard ^a   Batra, Vishal S ^b   Chen, Yi Min ^a   Deutsch, Alin ^c   Heath, Fenno F Terry ^a   Vianu, Victor ^c  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b IBM RESEARCH INDIA   (India)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DATA PRIVACY; SUPPLY CHAINS;

ARTIFACT BASED APPROACH; BUSINESS ARTIFACTS; BUSINESS COLLABORATION; DATA REPOSITORIES; FORMAL REASONING; PRIVACY PRESERVING; PROGRAMMABLE LOGIC; RESEARCH CHALLENGES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84989352630     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-46295-0_2     Document Type: Conference Paper

References (49)

1. van der Aalst, W.M.P., Barthelmess, P., Ellis, C., Wainer, J.: Proclets: a framework for lightweight interacting workflow processes. Int. J. Coop. Inf. Syst. 10(4), 443–481 (2001)
2. van der Aalst, W., Weske, M., Grünbauer, D.: Case handling: a new paradigm for business process support. Data Knowl. Eng. 53(2), 129–162 (2005)
3. Abiteboul, S., Bidoit, N.: Non first normal form relations: an algebra allowing data restructuring. J. Comput. Syst. Sci. 33(3), 361–393 (1986)
4. Abiteboul, S., Vianu, V.: Collaborative data-driven workflows: think global, act local. In: International Symposyum on Principles of Database Systems (PODS) (2013)
5. Bhattacharya, K., Caswell, N.S., Kumaran, S., Nigam, A., Wu, F.Y.: Artifactcentered operational modeling: lessons from customer engagements. IBM Syst. J. 46(4), 703–721 (2007)
6. Bhattacharya, K., Gerede, C.E., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 288–304. Springer, Heidelberg (2007)
7. Boaz, D., Limonad, L., Gupta, M.: BizArtifact: Artifact-centric Business Process Management (open-source code base), June 2013. http://sourceforge.net/projects/bizartifact/. Accessed 20 July 2016
8. Boaz, D., Heath, T., Gupta, M., Limonad, L., Sun, Y., Hull, R., Vaculín, R.: The ACSI hub: a data-centric environment for service interoperation. In: Proceedings of BPM Demo Sessions (2014)
9. Business Process Model and Notation (BPMN), version 2.0, 3 January 2011. http://www.omg.org/spec/BPMN/2.0. Accessed 10 July 2016
10. Brown, R.G.: Introducing R3 CordaTM: A Distributed Ledger Designed for Financial Services. http://r3cev.com/blog/2016/4/4/introducing-r3-corda-a-distributed-ledger-designed-for-financial-services. Accessed 20 July 2016
11. Calvanese, D., De Giacomo, G., Montali, M.: Foundations of data-aware process analysis: a database theory perspective. In: International Symposyum Principles of Database Systems (PODS) (2013)
12. Chao, T., Cohn, D., Flatgard, A., Hahn, S., Linehan, M., Nandi, P., Nigam, A., Pinel, F., Vergo, J., Wu, F.: Artifact-based transformation of IBM global financing. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 261–277. Springer, Heidelberg (2009)
13. Cohn, D., Dhoolia, P., Heath F., Pinel, F., Vergo, J.: Siena: from powerpoint to web app in 5 minutes. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 722–723. Springer, Heidelberg (2008)
14. Cohn, D., Hull, R.: Business artifacts: a data-centric approach to modeling business operations and processes. IEEE Data Eng. Bull. 32, 3–9 (2009)
15. Damaggio, E., Hull, R., Vaculín, R.: On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles. Inf. Syst. 38, 561–584 (2013)
16. Deutsch, A., Vianu, V.: WAVE: automatic verification of data-driven web services. IEEE Data Eng. Bull. 31(3), 35–39 (2008)
17. Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: International Conference on Database Theory (ICDT) (2009)
18. Deutsch, A., Hull, R., Vianu, V.: Automatic verification of database-centric systems. SIGMOD Rec. 43(3), 5–17 (2014)
19. Deutsch, A., Li, Y., Vianu, V.: Verification of hierarchical artifact systems. In: International Symposyum on Principles of Database Systems (PODS) (2016)
20. Diaz, M. (ed.): Petri Nets: Fundamental Models, Verification and Applications. Wiley, Jersey City (2009)
21. Introducing the Digital Asset Modeling Language. https://digitalasset.com/press/introducing-daml.html. Accessed 20 July 2016
22. A Next-Generation Smart Contract and Decentralized ApplicationPlatform (2016). https://github.com/ethereum/wiki/wiki/White-Paper. Accessed 20 July 2016
23. Flood, M.D., Goodenough, O.R.: Contract as automaton: the computational representation of financial agreements, 26 March 2015. https://financialresearch.gov/working-papers/files/OFRwp-2015-04 Contract-as-Automaton-The-Computational-Representation-of-Financial-Agreements.pdf. Accessed 16 July 2016
24. Holzmann, G.J.: An improved protocol reachability analysis technique. Softw. Pract. Exper. 18(2), 137–161 (1988)
25. Holzmann, G.J., Bosnacki, D.: Multi-core model checking with SPIN. In: International Parallel and Distributed Processing Symposium (IPDPS) (2007)
26. Hulin, G.: On restructuring nested relations in partitioned normal form. In: International Conference on Very Large Data Bases (VLDB) (1990)
27. Hull, R., Narendra, N.C., Nigam, A.: Facilitating workflow interoperation using artifact-centric hubs. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOCServiceWave 2009. LNCS, vol. 5900, pp. 1–18. Springer, Heidelberg (2009)
28. Hull, R., et al.: Business artifacts with guard-stage-milestone lifecycles: Managing artifact interactions with conditions and events. In: ACM International Conference on Distributed Event-based Systems (DEBS) (2011)
29. Hull, R., Su, J.: Report on NSF Workshop on Data-CentricWorkflows (2012). http://dcw2009.cs.ucsb.edu/report.pdf
30. Hull, R., Su, J., Vaculín, R.: Data management perspectives on business process management: tutorial overview. In: International Conference on Management of Data (SIGMOD) (2013)
31. Hyperledger white paper (2015). www.the-blockchain.com/docs/Hyperledger%20Whitepaper.pdf. Accessed 16 July 2016
32. Kumaran, S., Nandi, P., Heath, F.T., Bhaskaran, K., Das, R.: ADoc-oriented programming. In: Symposyum on Applications and the Internet (SAINT) (2003)
33. Künzle, V., Reichert, M.: PHILharmonicflows: towards a framework for objectaware process management. J. Softw. Maint. 23(4), 205–244 (2011)
34. Limonad, L., Boaz, D., Hull, R., Vaculín, R., Heath, F.T.: A generic business artifacts based authorization framework for cross-enterprise collaboration. In: SRII Global Conference (2012)
35. Liu, R., Vaculín, R., Shan, Z., Nigam, A., Wu, F.: Business artifact-centric modeling for real-time performance monitoring. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 265–280. Springer, Heidelberg (2011)
36. Manna, Z., Pnueli, A.: Verification of concurrent programs, part i: the temporal framework. Technical Report STAN-CS-81-836, Stanford University (1981)
37. Marin, M., Hull, R., Vaculín, R.: Data-centric BPM and the emerging Case Management standard: a short survey. In: Business Process Management, Workshops (2012)
38. Moffitt, V.Z., Stoyanovich, J., Abiteboul, S., Miklau, G.: Collaborative access control in webdamlog. In: ACM International Conference on Management of Data (SIGMOD) (2015)
39. Nakamoto, S.: Bitcoin: A Peer-to-Peer Electronic Cash System (2009). https://bitcoin.org/bitcoin.pdf. Accessed 16 July 2016
40. Nguyen, T., Fiammante, M.: Match processes to business needs: ApplyBELA to case management, October, 2011. http://www-01.ibm.com/software/solutions/soa/newsletter/october11/bela case management.html. Accessed 20 July 2016
41. Nigam, A., Caswell, N.S.: Business artifacts: an approach to operational specification. IBM Syst. J. 42(3), 428–445 (2003)
42. Pnueli, A.: The temporal logic of programs. In: Symposium on Foundations of Computer Science (FOCS) (1977)
43. Redding, G., et al.: A flexible, object-centric approach for business process modelling. SOCA 4(3), 191–201 (2010)
44. Redding, G., Dumas, M., ter Hofstede, A.H.M., Iordachescu, A.: Transforming object-oriented models to process-oriented models. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 132–143. Springer, Heidelberg (2008)
45. Solidity. https://solidity.readthedocs.io/en/latest/. Accessed 20 July 2016
46. Strosnider, J., Nandi, P., Kumaran, S., Ghosh, S., Arsanjani, A.: Model-driven synthesis of SOA solutions. IBM Syst. J. 47(3), 415–432 (2008)
47. Sun, Y., Su, J., Yang, J.: Universal artifacts: a new approach to business process management (BPM) systems. ACM Trans. Manag. Inf. Syst. 7(1) (2016). Article id. 7
48. Weber, I., Xu, X.S., Riveret, R., Governatori, G., Ponomarev, A., Mendling, J.: Untrusted business process monitoring and execution using blockchain. In: International Conference Business Process Management (BPM), Rio de Janeiro, Brazil, September 2016
49. Zhang, F., Cecchetti, E., Croman, K., Juels, A., Shi, E.: Towncrier: an authenticated data feed for smart contracts. IACR Cryptology ePrint Archive 2016 (2016). http://eprint.iacr.org/2016/168. Accessed 20 July 2016