%0 Conference Paper %1 AnicicStojanovic09AAAISS %A Anicic, Darko %A Stojanovic, Nenad %B Intelligent Event Processing, Papers from the 2009 AAAI Spring Symposium %C Menlo Park, CA %D 2009 %E Stojanovic, Nenad %E Abecker, Andreas %E Etzion, Opher %E Paschke, Adrian %I AAAI Press %K Reasoning logic %N SS-09-05 %P 14-20 %T Expressive Logical Framework for Reasoning about Complex Events and Situations %U http://www.aaai.org/Library/Symposia/Spring/2009/ss09-05-003.php %X Business and enterprise management processes become more and more event-driven. Being event-driven means that processes rely on receiving events to monitor the execution progress, and issuing events to initiate its next stages. What is more important, being event-driven enables these processes to become more active and flexible. There is a paradigm shift today from passive processes to active ones (based on push of information rather than on pull of information and knowledge). Also the management of business processes needs to be flexible, i.e., to adapt to ad hoc changes (events) during operations. All these requirements suggest use of Complex Event Processing (i.e., event patterns, event pattern rules, and event constraints) for realising event-driven business processes. We implement these concepts in a completely logical framework using Concurrent Transaction Logic ( CTR). Particularly, CTR is used for specifying, reasoning, and executing event-driven activities. %@ 978-1-57735-412-3

@inproceedings{AnicicStojanovic09AAAISS, abstract = {Business and enterprise management processes become more and more event-driven. Being event-driven means that processes rely on receiving events to monitor the execution progress, and issuing events to initiate its next stages. What is more important, being event-driven enables these processes to become more active and flexible. There is a paradigm shift today from passive processes to active ones (based on push of information rather than on pull of information and knowledge). Also the management of business processes needs to be flexible, i.e., to adapt to ad hoc changes (events) during operations. All these requirements suggest use of Complex Event Processing (i.e., event patterns, event pattern rules, and event constraints) for realising event-driven business processes. We implement these concepts in a completely logical framework using Concurrent Transaction Logic ( CTR). Particularly, CTR is used for specifying, reasoning, and executing event-driven activities.}, added-at = {2010-01-25T12:27:31.000+0100}, address = {Menlo Park, CA}, author = {Anicic, Darko and Stojanovic, Nenad}, biburl = {https://www.bibsonomy.org/bibtex/29be860f0bdea4a29fba38ef9e6dd6a09/darko.anicic}, booktitle = {Intelligent Event Processing, Papers from the 2009 AAAI Spring Symposium}, crossref = {AAAI2009SS05}, description = {Complete update}, editor = {Stojanovic, Nenad and Abecker, Andreas and Etzion, Opher and Paschke, Adrian}, file = {AAAI Digital Library:2009/AnicicStojanovic09AAAISS.pdf:PDF}, interhash = {dc57c6131b8fe4f065210d73c90c1f25}, intrahash = {9be860f0bdea4a29fba38ef9e6dd6a09}, isbn = {978-1-57735-412-3}, keywords = {Reasoning logic}, number = {SS-09-05}, owner = {flint}, pages = {14-20}, publisher = {AAAI Press}, series = {Technical Report}, timestamp = {2011-03-04T18:30:38.000+0100}, title = {Expressive Logical Framework for Reasoning about Complex Events and Situations}, url = {http://www.aaai.org/Library/Symposia/Spring/2009/ss09-05-003.php}, year = 2009 }