L. Baresi, D. Bianculli, C. Ghezzi, S. Guinea, and P. Spoletini, A Timed Extension of WSCoL, IEEE International Conference on Web Services (ICWS 2007), pp.663-670, 2007.
DOI : 10.1109/ICWS.2007.25

F. [. Benatallah, F. Casati, R. Toumani, and . Hamadi, Conceptual Modeling of Web Service Conversations, Proceedings of the 15th international conference on Advanced information systems engineering, pp.449-467, 2003.
DOI : 10.1007/3-540-45017-3_31

URL : https://hal.archives-ouvertes.fr/hal-00108740

F. [. Benatallah, F. Casati, and . Toumani, Web service conversation modeling: a cornerstone for e-business automation, IEEE Internet Computing, vol.8, issue.1, pp.46-54, 2004.
DOI : 10.1109/MIC.2004.1260703

URL : https://hal.archives-ouvertes.fr/hal-00108317

F. [. Benatallah, F. Casati, and . Toumani, Representing, analysing and managing Web service protocols, Data & Knowledge Engineering, vol.58, issue.3, pp.327-357, 2006.
DOI : 10.1016/j.datak.2005.07.006

URL : https://hal.archives-ouvertes.fr/hal-00107196

A. [. Beeri and . Eyal, Monitoring business processes with queries, VLDB, 2007.

A. [. Beeri, T. Eyal, A. Milo, and . Pilberg, Query-based monitoring of BPEL business processes, Proceedings of the 2007 ACM SIGMOD international conference on Management of data , SIGMOD '07, pp.1122-1124, 2007.
DOI : 10.1145/1247480.1247628

X. [. Bultan, R. Fu, J. Hull, and . Su, Conversation specification, Proceedings of the twelfth international conference on World Wide Web , WWW '03, pp.403-410, 2003.
DOI : 10.1145/775152.775210

S. [. Baresi and . Guinea, Towards Dynamic Monitoring of WS-BPEL Processes, Service-Oriented Computing -ICSOC 2005, pp.269-282, 2005.
DOI : 10.1007/11596141_21

. Lafon, Web Services Choreography Description Language Version 1.0., " W3C, 2005.

. A. Bls08, M. Bauer, C. Leucker, and . Schallhart, Model-based runtime analysis of distributed reactive systems, Software Engineering Conference, 2006.

M. [. Blackburn and . Marx, Tableaux for Quantified Hybrid Logic, Automated Reasoning with Analytic Tableaux and Related Methods, pp.259-286, 2002.
DOI : 10.1007/3-540-45616-3_4

URL : https://hal.archives-ouvertes.fr/inria-00100892

H. [. Benatallah and . Motahari-nezhad, ServiceMosaic project: modeling, analysis and management of web services interactions, Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling, pp.7-9, 2006.

H. [. Benbernou, M. S. Meziane, and . Hacid, Runtime Monitoring for Privacy-Agreement Compliance, Service-Oriented Computing ? ICSOC 2007

C. , J. Clark, and S. Derose, XML Path Language (XPath) Version 1.0., " W3C, Web Services Business Process Execution Language (WSBPEL) 2.0, OASIS Standard XSL Transformations (XSLT) Version 1.1., " W3C Real-Time Systems: Scheduling, Analysis, and Verification, 1999.

J. [. Chamberlin, J. Snelson, M. Robie, and . Dyck, XQuery 1.1: An XML Query Language, W3C, W3C Working Draft, 2009.
DOI : 10.1145/872757.872877

. Hacid, Business Compliance Governance in Service-Oriented Architectures, Advanced Information Networking and Applications, International Conference on, pp.113-120, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01437841

[. Dahl, E. W. Dijkstra, C. A. Hoare-delgado, A. Q. Gates, and S. Roach, Structured Programming APIC Studies in Data Processing A taxonomy and catalog of runtime software-fault monitoring tools, IEEE Transactions on Software Engineering, vol.30, issue.8 12, pp.859-872, 1972.

]. E. Emerson and E. M. Clarke, Characterizing correctness properties of parallel programs using fixpoints, Proceedings of the 7th Colloquium on Automata, Languages and Programming, pp.169-181, 1980.
DOI : 10.1007/3-540-10003-2_69

. Campenhout, Reasoning with Temporal Logic on Truncated Paths, Computer Aided Verification, pp.27-39, 2003.

]. E. Eme90 and . Emerson, Temporal and modal logic, " in the Handbook of theoretical computer science (vol. B): formal models and semantics, pp.995-1072, 1990.

R. [. Ferraiolo and . Kuhn, Role-Based Access Control, Proceedings of the 15th NIST-NSA National Computer Security Conference, pp.13-16, 1992.

C. [. Gottlob, R. Koch, and . Pichler, The complexity of XPath query evaluation, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '03, pp.179-190, 2003.
DOI : 10.1145/773153.773171

D. [. Harel, J. Kozen, and . Tiuryn, Dynamic Logic, 2000.

M. [. Hamdi, A. Mosbah, and . Bouhoula, A Domain Specific Language for Securing Distributed Systems, 2007 Second International Conference on Systems and Networks Communications (ICSNC 2007), pp.76-76, 2007.
DOI : 10.1109/ICSNC.2007.2

URL : https://hal.archives-ouvertes.fr/hal-00306235

]. C. Hoa69 and . Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, pp.576-580, 1969.

G. [. Havelund and . Rosu, Testing Linear Temporal Logic Formulae on Finite Execution Traces, 2001.

R. [. Hallé and . Villemaire, XML Methods for Validation of Temporal Properties on Message Traces with Data, On the Move to Meaningful Internet Systems: OTM 2008, pp.337-353, 2008.
DOI : 10.1007/978-3-540-88871-0_23

R. [. Hallé and . Villemaire, Runtime monitoring of web service choreographies using streaming XML, Proceedings of the 2009 ACM symposium on Applied Computing, SAC '09, pp.2118-2125, 2009.
DOI : 10.1145/1529282.1529752

U. [. Holmes, S. Zdun, and . Dustdar, MORSE: A Model-Aware service environment, 2009 IEEE Asia-Pacific Services Computing Conference (APSCC), pp.470-477, 2009.
DOI : 10.1109/APSCC.2009.5394083

]. H. Kam68 and . Kamp, Tense Logic and the Theory of Linear Order, 1968.

D. [. Lodderstedt, J. Basin, and . Doser, SecureUML: A UML-Based Modeling Language for Model-Driven Security, Proceedings of the 5th International Conference on The Unified Modeling Language, pp.426-441, 2002.
DOI : 10.1007/3-540-45800-X_33

M. Leucker and C. Schallhart, A brief account of runtime verification, The Journal of Logic and Algebraic Programming, vol.78, issue.5, pp.293-303, 2009.
DOI : 10.1016/j.jlap.2008.08.004

M. O. Maler, D. Nickovic, and A. Pnueli, Real Time Temporal Logic: Past, Present, Future, " in Formal Modeling and Analysis of Timed Systems, pp.2-16, 2005.

A. [. Manna and . Pnueli, Temporal verification of reactive systems: safety, 1995.
DOI : 10.1007/978-1-4612-4222-2

K. [. Metzger and . Pohl, Towards the Next Generation of Service-Based Systems: The S-Cube Research Framework, Advanced Information Systems Engineering, pp.11-16, 2009.
DOI : 10.1007/978-3-642-02144-2_6

G. [. Mahbub and . Spanoudakis, A framework for requirents monitoring of service based systems, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, pp.84-93, 2004.
DOI : 10.1145/1035167.1035181

[. Api, Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends, apache.org), [Pet99] P. Pettersson Current Trends in Concurrency: Overviews and Tutorials, number 224 in Lecture Notes in Computer Science, pp.510-584, 1986.

P. [. Papazoglou, S. Traverso, E. F. Dustdar, and . Leymann, Service-Oriented Computing: State of the Art and Research Challenges, Computer, vol.40, issue.11, pp.38-45, 2007.
DOI : 10.1109/MC.2007.400

J. Queille and J. Sifakis, Specification and verification of concurrent systems in CESAR, Proceedings of the 5th Colloquium on International Symposium on Programming, pp.337-351, 1982.
DOI : 10.1007/3-540-11494-7_22

I. [. Rumbaugh, G. Jacobson, and . Booch, The Unified Modeling Language Reference Manual, 1999.

. Saml and . Security, Assertion Markup Language (SAML) v1.0, OASIS Security Services TC, 2002.

[. Shen and F. Hong, An Attribute-Based Access Control Model for Web Services, 2006 Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'06), 2006.
DOI : 10.1109/PDCAT.2006.28

C. Wolter, M. Menzel, A. Schaad, P. Miseldine, and C. Meinel, Model-driven business process security requirement specification, Journal of Systems Architecture, vol.55, issue.4, pp.211-223, 2009.
DOI : 10.1016/j.sysarc.2008.10.002