Ontology Mapping of Business Process Modeling Based on Formal Temporal Logic Journal title: International Journal of Advanced Computer Science & Applications Authors: Irfan Chishti, Jixin Ma, Brian Knight Subject(s):
