, Collecting and Querying Distributed Traces of Composite Service Executions, On the Move to Meaningful Internet Systems, 2002 -DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002, pp.373-390, 2002.
DOI : 10.1007/3-540-36124-3_22
, Web Service Mining and Verification of Properties: An Approach Based on Event Calculus, Lecture Notes in Computer Science, vol.4275, issue.1, pp.408-425, 2006.
DOI : 10.1007/11914853_25
URL : https://hal.archives-ouvertes.fr/inria-00114023
, Web Usage Mining ??? Languages and Algorithms, Studies in Classification, Data Analysis, and Knowledge Organization, 2001.
DOI : 10.1007/978-3-642-55721-7_28
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.2391
, Use soap-based intermediaries to build chains of web service functionality, 2002.
, Workflow mining: discovering process models from event logs, IEEE Transactions on Knowledge and Data Engineering, vol.16, issue.9, pp.1128-1142, 2004.
DOI : 10.1109/TKDE.2004.47
, Design Patterns, Elements of Reusable Object-Oriented Software, 1994.
, Event-based detection of concurrency, 6th ACM SIGSOFT international symposium on Foundations of software engineering, 1998.
, Discovery of frequent episodes in event sequences, Data Mining and Knowledge Discovery, vol.1, issue.3, pp.259-289, 1997.
DOI : 10.1023/A:1009748302351
, Software process validation: quantitatively measuring the correspondence of a process to a model, ACM Transactions on Software Engineering and Methodology, vol.8, issue.2, pp.147-176, 1999.
DOI : 10.1145/304399.304401
, Branching time and abstraction in bisimulation semantics, Journal of the ACM, vol.43, issue.3, pp.555-600, 1996.
DOI : 10.1145/233551.233556
, Inheritance of behavior, The Journal of Logic and Algebraic Programming, vol.47, issue.2, pp.47-145, 2001.
DOI : 10.1016/S1567-8326(00)00004-7
, Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance, ICATPN '01: Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, pp.32-52, 2001.
DOI : 10.1007/3-540-45740-2_4
, Exterminating the dynamic change bug: A concrete approach to support workflow change, Information Systems Frontiers, vol.3, issue.3, pp.297-317, 2001.
DOI : 10.1023/A:1011409408711
, Dynamic change within workflow systems, Proceedings of conference on Organizational computing systems , COCS '95, pp.10-21, 1995.
DOI : 10.1145/224019.224021
, Conversation specification, Proceedings of the twelfth international conference on World Wide Web , WWW '03, pp.403-410, 2003.
DOI : 10.1145/775152.775210
, A petri net-based model for web service composition, Proceedings of the Fourteenth Australasian database conference on Database technologies 2003, pp.191-200, 2003.
, Business Process Cockpit, Proceedings of 28th International Conference on Very Large Data Bases (VLDB'02), pp.880-883, 2002.
DOI : 10.1016/B978-155860869-6/50086-X
, Business Process Intelligence, Computers in Industry, vol.53, issue.3, pp.321-343, 2004.
DOI : 10.1016/j.compind.2003.10.007
URL : https://hal.archives-ouvertes.fr/hal-00130689
, Conformance checking of service behavior, Special issue on Middleware for Service- Oriented Computing, 2007.
, Business alignment: Using process mining as a tool for delta analysis, CAiSE Workshops, pp.138-145, 2004.
, Analysis and Management of Web Service Protocols, pp.524-541, 2004.
DOI : 10.1007/978-3-540-30464-7_40
URL : https://hal.archives-ouvertes.fr/hal-00108735
, Model-driven web service development, In: CAiSE, pp.290-306, 2004.
, Mining process models from workflow logs, Lecture Notes in Computer Science, vol.1377, pp.469-498, 1998.
DOI : 10.1007/BFb0101003
, Discovering models of software processes from event-based data, ACM Transactions on Software Engineering and Methodology, vol.7, issue.3, pp.215-249, 1998.
DOI : 10.1145/287000.287001
, Event-based detection of concurrency, Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering, pp.35-45, 1998.
, Workflow mining: A survey of issues and approaches, Data & Knowledge Engineering, vol.47, issue.2, pp.237-267, 2003.
DOI : 10.1016/S0169-023X(03)00066-1
, Genetic process mining: an experimental evaluation, Data Mining and Knowledge Discovery, vol.10, issue.2, pp.245-304, 2007.
DOI : 10.1007/s10618-006-0061-7
, Process Mining Based on Regions of Languages, Lecture Notes in Computer Science, vol.4714, pp.375-383, 2007.
DOI : 10.1007/978-3-540-75183-0_27
, Discovering Social Networks from Event Logs, Computer Supported Cooperative Work (CSCW), vol.2, issue.3, pp.549-593, 2005.
DOI : 10.1007/s10606-005-9005-9
, Process Mining and Verification of Properties: An Approach Based on Temporal Logic
DOI : 10.1007/11575771_11
, ProM 4.0: Comprehensive Support for Real Process Analysis, Lecture Notes in Computer Science, vol.4546, pp.484-494, 2007.
DOI : 10.1007/978-3-540-73094-1_28
, A workflow mining tool based on logs statistical analysis, pp.595-600, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00114832
, Mouhou: Workflowminer: a new workflow patterns and performance analysis tool, 18th International Conference on Advanced Information Systems Engineering (CAiSE'06) Forum, 2006.
, Mining process models with non-free-choice constructs, Data Mining and Knowledge Discovery, vol.10, issue.2, pp.145-180, 2007.
DOI : 10.1007/s10618-007-0065-y
, Discovering workflow transactional behaviour event-based log, 12th International Conference on Cooperative Information Systems (CoopIS'04), 2004.
URL : https://hal.archives-ouvertes.fr/inria-00000486
, Mining Workflow Recovery from Event Based Logs, Business Process Management, pp.169-185, 2005.
DOI : 10.1007/11538394_12
URL : https://hal.archives-ouvertes.fr/inria-00000482
, Discovering and Improving Recovery Mechanisms of CompositeWeb Services, 2006 IEEE International Conference on Web Services (ICWS'06), pp.99-110, 2006.
DOI : 10.1109/ICWS.2006.52
, Verifying composite service recovery mechanisms: A transactional approach based on event calculus, 15th International Conference on Cooperative Information Systems CoopIS07, 2007.