Business artifacts: An approach to operational specification | IBM Journals & Magazine | IEEE Xplore