Business Process Modeling techniques

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)

formal system

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)

modeling

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)

Ontology

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)

Ontology mapping

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)

process temporal graph

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)

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)

resolution algorithm

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)

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)

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)

soundness and completeness

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)

Temporal Logic

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)

temporal theory

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)