Skip navigation

A grounding of business process modeling based on temporal logic

A grounding of business process modeling based on temporal logic

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)

Full text not available from this repository.

Abstract

This paper proposes grounding for the business process modeling (BPM) based on general time theory providing axiomatic system. First order logic is used to give a clear definition of abstract business process and corresponding temporal relations including derived relations using a single “Meets” relation. Temporal logic used here treats time interval and time points on equal footing. We use model theoretic approach, in which abstract business process is represented as a formal system and mapped to an instance/concrete realization. Also, we used resolution theorem to provide its soundness and completeness properties. A Process temporal graph as a directed graph is introduced with graphical notation defined to represent the temporal knowledge. A real world realization of the corresponding graph is considered an instance of an abstract business process. Sound and completeness properties of the process temporal graph using reachability analysis. However, Arcs representing time elements, vertex representing the `Meets' relation and also allows expression of both logical AND and OR.

Item Type: Conference Proceedings
Title of Proceedings: International Conference on Information Society (i-Society 2014)
Additional Information: [1] Published in: 2014 International Conference on Information Society (i-Society), held 10-12 November 2014, London, UK.
Uncontrolled Keywords: modeling, semantics, temporal theory, process temporal graph, soundness and completeness, formal system, resolution algorithm, reachability analysis
Subjects: Q Science > QA Mathematics
Faculty / Department / Research Group: Faculty of Architecture, Computing & Humanities
Faculty of Architecture, Computing & Humanities > Department of Mathematical Sciences
Related URLs:
Last Modified: 03 Nov 2016 16:38
Selected for GREAT 2016: None
Selected for GREAT 2017: None
Selected for GREAT 2018: None
Selected for GREAT 2019: None
URI: http://gala.gre.ac.uk/id/eprint/13179

Actions (login required)

View Item View Item