A Timed Extension of WSCoL, IEEE International Conference on Web Services (ICWS 2007), pp.663-670, 2007. ,
DOI : 10.1109/ICWS.2007.25
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
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
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
Monitoring business processes with queries, VLDB, 2007. ,
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
Conversation specification, Proceedings of the twelfth international conference on World Wide Web , WWW '03, pp.403-410, 2003. ,
DOI : 10.1145/775152.775210
Towards Dynamic Monitoring of WS-BPEL Processes, Service-Oriented Computing -ICSOC 2005, pp.269-282, 2005. ,
DOI : 10.1007/11596141_21
Web Services Choreography Description Language Version 1.0., " W3C, 2005. ,
Model-based runtime analysis of distributed reactive systems, Software Engineering Conference, 2006. ,
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
ServiceMosaic project: modeling, analysis and management of web services interactions, Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling, pp.7-9, 2006. ,
Runtime Monitoring for Privacy-Agreement Compliance, Service-Oriented Computing ? ICSOC 2007 ,
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. ,
XQuery 1.1: An XML Query Language, W3C, W3C Working Draft, 2009. ,
DOI : 10.1145/872757.872877
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
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. ,
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
Reasoning with Temporal Logic on Truncated Paths, Computer Aided Verification, pp.27-39, 2003. ,
Temporal and modal logic, " in the Handbook of theoretical computer science (vol. B): formal models and semantics, pp.995-1072, 1990. ,
Role-Based Access Control, Proceedings of the 15th NIST-NSA National Computer Security Conference, pp.13-16, 1992. ,
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
Dynamic Logic, 2000. ,
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
An axiomatic basis for computer programming, Communications of the ACM, vol.12, pp.576-580, 1969. ,
Testing Linear Temporal Logic Formulae on Finite Execution Traces, 2001. ,
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
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
MORSE: A Model-Aware service environment, 2009 IEEE Asia-Pacific Services Computing Conference (APSCC), pp.470-477, 2009. ,
DOI : 10.1109/APSCC.2009.5394083
Tense Logic and the Theory of Linear Order, 1968. ,
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
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
Real Time Temporal Logic: Past, Present, Future, " in Formal Modeling and Analysis of Timed Systems, pp.2-16, 2005. ,
Temporal verification of reactive systems: safety, 1995. ,
DOI : 10.1007/978-1-4612-4222-2
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
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
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. ,
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
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
The Unified Modeling Language Reference Manual, 1999. ,
Assertion Markup Language (SAML) v1.0, OASIS Security Services TC, 2002. ,
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
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