An ontological analysis of artifact-centric business processes managed by smart contracts | IEEE Conference Publication | IEEE Xplore