Business Process Modeling techniques, Ontology, Ontology mapping, Temporal Logic, Semantics

Chishti, Irfan, Ma, Jixin and Knight, Brian (2014) Ontology mapping of business process modeling based on formal temporal logic. International Journal of Advanced Computer Science and Applications, 5 (7):15. pp. 95-104. ISSN 2158-107X (Print), 2156-5570 (Online) (doi:https://doi.org/10.14569/IJACSA.2014.050715)

modeling, semantics, temporal theory, process temporal graph, soundness and completeness, formal system, resolution algorithm, reachability analysis

Chishti, Irfan (2014) A grounding of business process modeling based on temporal logic. In: International Conference on Information Society (i-Society 2014). Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, pp. 266-273. ISBN 9781908320384 (doi:https://doi.org/10.1109/i-Society.2014.7009058)