A. Ter-hofstede, W. Van-der-aalst, A. Ter-hofstede, and M. Weske, Business process management: A survey, Business Process Management, pp.1019-1019, 2003.
DOI : 10.1007/3-540-44895-0

O. 'brien and J. A. , Introduction to Information Systems: Essentials for the Internetworked Enterprise, 2000.

U. Aßmann, M. Aksit, and A. Rensink, Model Driven Architecture, European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands Revised Selected Papers, Lecture Notes in Computer Science, vol.3599, 2003.

P. Ceravolo, E. Damiani, and C. Fugazza, Representing and validating digital business processes, Proc. of the 3rd International Conference on Web Information Systems and Technologies (WEBIST), 2007.

F. Arigliano, P. Ceravolo, C. Fugazza, and D. Storelli, Business Metrics Discovery by Business Rules, WSKS '08: Proceedings of the 1st world summit on The Knowledge Society, pp.395-402, 2008.
DOI : 10.1007/978-3-540-87781-3_43

A. Corallo, N. Taifi, and G. Passiante, Strategic and Managerial Ties for the New Product Development, A Computer Science and Information Systems Manifesto, pp.398-405, 2008.
DOI : 10.1007/978-3-540-87783-7_50

D. Ardagna, M. Comuzzi, E. Mussi, B. Pernici, and P. Plebani, PAWS: A Framework for Executing Adaptive Web-Service Processes, IEEE Software, vol.24, issue.6, pp.39-46, 2007.
DOI : 10.1109/MS.2007.174

P. Plebani and B. Pernici, URBE: Web Service Retrieval Based on Similarity Evaluation, IEEE Transactions on Knowledge and Data Engineering, vol.21, issue.11, 2009.
DOI : 10.1109/TKDE.2009.35

M. Jackson, Problem Frames: Analyzing and Structuring Software Development Problem, 2001.
DOI : 10.1016/j.infsof.2005.08.004

F. Buccafurri, P. D. Meo, M. G. Fugini, R. Furnari, A. Goy et al., Analysis of QoS in cooperative services for real time applications, Data & Knowledge Engineering, vol.67, issue.3, pp.463-484, 2008.
DOI : 10.1016/j.datak.2008.08.004

S. Goedertier, C. Mues, and J. Vanthienen, Specifying Process-Aware Access Control Rules in SBVR, Lecture Notes in Computer Science, vol.4824, pp.39-52, 2007.
DOI : 10.1007/978-3-540-75975-1_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.4726

A. Lazovik, M. Aiello, and M. Papazoglou, Associating assertions with business processes and monitoring their execution, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, 2004.
DOI : 10.1145/1035167.1035182
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.182.6921

K. Namiri and N. Stojanovic, A formal approach for internal controls compliance in business processes, 8th Workshop on Business Process Modeling, Development, and support, 2007.

M. E. Kharbili, S. Stein, and E. Pulvermller, Policy-based semantic compliance checking for business process management, CEUR Workshop Proceedings Gemischter Workshop zu Referenzmodellierung und semantische Geschftsprozessmodellierung, pp.178-192, 2008.

G. Governatori, Z. Milosevic, and S. Sadiq, Compliance checking between business processes and business contracts, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06), pp.221-232, 2006.
DOI : 10.1109/EDOC.2006.22
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.2592

A. Ghose and G. Koliadis, Auditing Business Process Compliance, Proc. ISOC, Springer LNCS 4749, pp.169-180, 2007.
DOI : 10.1007/978-3-540-74974-5_14
URL : https://works.bepress.com/aghose/20/download/

L. Baresi and S. Guinea, Towards Dynamic Monitoring of WS-BPEL Processes, IC- SOC, pp.269-282, 2005.
DOI : 10.1007/11596141_21

E. Wustenhoff, Service level management in the data center, 2002.

B. Wetzstein, D. Karastoyanova, and F. Leymann, Towards management of SLAaware business processes based on key performance indicators, 9th Workshop on Business Process Modeling, Development, and Support (BPMDS'08, 2008.

G. Motta and G. Pignatelli, Performing business processes knowledge base, In: First International Workshop and Summer School on Service Science, 2007.