W. M. Van-der-aalst, H. T. De-beer, and B. F. Van-dongen, Process Mining and Verification of Properties: An Approach Based on Temporal Logic, Proc. of On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE. OTM 2005, 2005.
DOI : 10.1007/11575771_11

A. Baumgraß, N. Herzberg, A. Meyer, and M. Weske, BPMN Extension for Business Process Monitoring, Proc. of Int'l Workshop on Evolution of Information Systems and their Design Methods, 2014.

S. Bragaglia, F. Chesani, P. Mello, M. Montali, and P. Torroni, Logic Programs, Norms and Action, Reactive Event Calculus for Monitoring Global Computing Applications, pp.123-146, 2012.

F. Chesani, P. Mello, M. Montali, and P. Torroni, Representing and monitoring social commitments using the event calculus, Autonomous Agents and Multi-Agent Systems, vol.42, issue.1???3, 2013.
DOI : 10.1023/B:AMAI.0000034528.55456.d9

A. K. Chopra and M. P. Singh, Generalized Commitment Alignment, Proc. of the Int'l Conference on Autonomous Agents and Multiagent Systems, 2015.

A. K. Chopra and M. P. Singh, Cupid: Commitments in Relational Algebra, Proc. of the 29th AAAI Conf. on Artificial Intelligence, 2015.

R. Ferrario and N. Guarino, Commitment-Based Modeling of Service Systems, pp.170-185, 2012.
DOI : 10.1147/sj.471.0071

D. Knuplesch, M. Reichert, W. Fdhila, and S. Rinderle-ma, On enabling compliance of crossorganizational business processes, Proc. of the Int'l Conference on Business Process Management, 2013.

L. T. Ly, F. M. Maggi, M. Montali, S. Rinderle-ma, and W. M. Van-der-aalst, Compliance monitoring in business processes: Functionalities, application, and tool-support, Information Systems, vol.54, 2015.
DOI : 10.1016/j.is.2015.02.007
URL : https://doi.org/10.1016/j.is.2015.02.007

F. M. Maggi, M. Montali, M. Westergaard, and W. M. Van-der-aalst, Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata, Proc. of the Int'l Conference on Business Process Management, pp.132-147, 2011.
DOI : 10.1007/978-3-540-72988-4_40
URL : http://wwwis.win.tue.nl/~wvdaalst/publications/p646.pdf

M. Montali, D. Calvanese, and G. De-giacomo, Verification of Data-Aware Commitment- Based Multiagent Systems, Proc. of the 13th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS), 2014.

M. Montali, F. M. Maggi, F. Chesani, P. Mello, and W. M. Van-der-aalst, Monitoring business constraints with the event calculus, ACM Transactions on Intelligent Systems and Technology, vol.5, issue.1, 2013.
DOI : 10.1145/2542182.2542199

A. Sahai, V. Machiraju, M. Sayal, A. Van-moorsel, and F. Casati, Automated SLA Monitoring for Web Services, Proc. of Int'l Workshop on Distributed Systems: Operations and Management, 2002.
DOI : 10.1007/3-540-36110-3_6

M. P. Singh, Commitments in Multiagent Systems: Some History, Some Confusions, Some Controversies, Some Prospects In: The Goals of Cognition. Essays in Honor of C. Castelfranchi, College Pub, pp.601-626, 2012.

P. R. Telang and M. P. Singh, Specifying and Verifying Cross-Organizational Business Models: An Agent-Oriented Approach, IEEE Transactions on Services Computing, vol.5, issue.3, 2012.
DOI : 10.1109/TSC.2011.4

M. Thoma, S. Meyer, K. Sperner, S. Meissner, and T. Braun, On IoT-services: Survey, Classification and Enterprise Integration, 2012 IEEE International Conference on Green Computing and Communications, p.2012, 2012.
DOI : 10.1109/GreenCom.2012.47