Ontology Mapping of Business Process Modeling Based on Formal Temporal Logic

Abstract

… The primary aim of this paper is therefore empirical study of main business process modeling techniques and tools explicitly aimed at modeling business processes with the intent of providing a mapping of modeling terms to temporal logic …