G. Alonso, F. Casati, H. Kuno, and V. Machiraju, Web services: Concepts, Architecture and Applications, p.3540440089, 2004.
DOI : 10.1007/978-3-662-10876-5

S. Bavishi and E. K. Chong, Automated fault diagnosis using a discrete event systems framework, Proceedings of 1994 9th IEEE International Symposium on Intelligent Control, pp.213-218, 1994.
DOI : 10.1109/ISIC.1994.367815

D. Biswas, Visibility in Hierarchical Systems, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00156525

D. Biswas and B. Genest, Minimal Observability for Transactional Hierarchical Services, Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE), pp.531-536, 2008.
DOI : 10.1007/s10626-013-0177-z

D. Biswas, T. Gazagnaire, and B. Genest, Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination, 2008 11th IEEE High Assurance Systems Engineering Symposium, pp.97-106, 2008.
DOI : 10.1109/HASE.2008.24

D. Biswas and K. Vidyasankar, A Nested Transaction Model for LDAP Transactions, Proceedings of the 1st International Conference on Distributed Computing and Internet Technology (ICDCIT), pp.117-126, 2004.
DOI : 10.1007/978-3-540-30555-2_14

D. Biswas and K. Vidyasankar, Optimal Compensation for Hierarchical Web Services Compositions under Restricted Visibility, Proceedings of the 4th IEEE Asia-Pacific Services Computing Conference (APSCC), pp.293-300, 2009.
DOI : 10.1109/apscc.2009.5394110

R. Bruni, H. Melgratti, and U. Montanari, Theoretical Foundations for Compensations in Flow Composition Languages, Proceedings of the 32nd ACM Symposium on Principles of Programming Languages (POPL), pp.209-220, 2005.
DOI : 10.1145/1047659.1040323
URL : http://basics.sjtu.edu.cn/~yuehg/popl/theoretical foundations for compensations in flow composition languages (2005).pdf

F. Cassez and S. Tripakis, Fault Diagnosis with Static and Dynamic Observers, Fundamenta Informaticae, vol.88, p.497540, 2008.
DOI : 10.1109/wodes.2008.4605947
URL : https://hal.archives-ouvertes.fr/inria-00351836

R. Cieslak, C. Desclaux, S. Ayman, P. Fawaz, and . Varaiya, Supervisory control of discrete-event processes with partial observations, IEEE Transactions on Automatic Control, vol.33, issue.3, pp.249-260, 1988.
DOI : 10.1109/9.402

C. Hagen and G. Alonso, Exception handling in workflow management systems, IEEE Transactions on Software Engineering, vol.26, issue.10, pp.943-958, 2000.
DOI : 10.1109/32.879818

H. Garcia-molina and K. Salem, Sagas, ACM SIGMOD Record, vol.16, issue.3, pp.249-259, 1987.
DOI : 10.1145/38714.38742

R. Michael, D. S. Garey, and . Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, ISBN: 9780716710455 (W. H. Freeman and Company), 1979.

D. Georgakopoulos, M. Rusinkiewicz, and A. P. Sheth, Using tickets to enforce the serializability of multidatabase transactions, IEEE Transactions on Knowledge and Data Engineering, vol.6, issue.1, pp.166-180, 1994.
DOI : 10.1109/69.273035

P. A. Vassos-hadzilacos, N. Bernstein, and . Goodman, Concurrency Control and Recovery in Database Systems, 1987.

S. Jiang, R. Kumar, and H. E. Garcia, Optimal sensor selection for discrete-event systems with partial observation, IEEE Transactions on Automatic Control, vol.48, issue.3, pp.369-381, 2003.
DOI : 10.1109/TAC.2003.809144

R. Kumar and V. K. Garg, Modeling and Control of Logical Discrete Event Systems, p.9780792395386, 1994.
DOI : 10.1007/978-1-4615-2217-1

F. Lin, Diagnosability of Discrete Event Systems and its Applications. Discrete Event Dynamic Systems, pp.197-212, 1994.

F. Lin and W. M. Wonham, On observability of discrete-event systems, Information Sciences, vol.44, issue.3, pp.173-198, 1988.
DOI : 10.1016/0020-0255(88)90001-1

D. B. Lomet, MLR: a recovery method for multi-level systems, Proceedings of the ACM SIGMOD International Conference on Management of Data, pp.185-194, 1992.
DOI : 10.1145/141484.130314

S. Maheshwari, Traversal Marker Placement Problems are NP-Complete, Research Report, 1976.

J. E. Moss, Log-based Recovery for Nested Transactions, Proceedings of the 13th International Conference on Very Large Data Bases (VLDB), pp.427-432, 1987.

M. Cuneyt, A. S. Ozveren, and . Wilsky, Observability of Discrete Event Dynamical Systems, IEEE Transactions on Automatic Control, vol.35, issue.7, pp.797-806, 1990.

K. Rohloff, S. Khuller, and G. Kortsarz, Approximating the Minimal Sensor Selection for Supervisory Control. Discrete Event Dynamic Systems, pp.143-170, 2006.

K. Rohloff and J. Van-schuppen, APPROXIMATING MINIMAL COMMUNICATED EVENT SETS FOR DECENTRALIZED SUPERVISORY CONTROL, Proceedings of the 16th IFAC World Congress, 2005.
DOI : 10.3182/20050703-6-CZ-1902.00310

K. Rudie and W. M. Wonham, Think globally, act locally: decentralized supervisory control, IEEE Transactions on Automatic Control, vol.37, issue.11, pp.1692-1708, 1992.
DOI : 10.1109/9.173140

W. Sadiq and M. E. Orlowska, Analyzing process models using graph reduction techniques, Information Systems, vol.25, issue.2, pp.117-134, 2000.
DOI : 10.1016/S0306-4379(00)00012-0
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.737

M. Sampath and R. Sengupta, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.
DOI : 10.1109/9.412626

W. Wang, S. Lafortune, F. Lin, and A. R. Girard, Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control, IEEE Transactions on Automatic Control, vol.55, issue.11, pp.55-2447, 2010.
DOI : 10.1109/TAC.2010.2046062

W. Wang, S. Lafortune, A. R. Girard, and F. Lin, Optimal sensor activation for diagnosing discrete event systems, Automatica, vol.46, issue.7, pp.1165-1175, 2010.
DOI : 10.1016/j.automatica.2010.04.004

G. Weikum, A. Deacon, W. Schaad, and H. Schek, Open Nested Transactions in Federated Database Systems, IEEE Data Engineering Bulletin, vol.16, issue.2, pp.4-7, 1993.

A. Wombacher, P. Fankhauser, and E. Neuhold, Transforming BPEL into annotated deterministic finite state automata for service discovery, Proceedings. IEEE International Conference on Web Services, 2004., pp.316-323, 2004.
DOI : 10.1109/ICWS.2004.1314753

D. Biswas, Compensation in the World of Web Services Composition, Proceedings of the 1st International Workshop on Semantic Web Services and Web Process Composition (SWSWPC), pp.69-80, 2004.
DOI : 10.1007/978-3-540-30581-1_7

T. Yoo and S. Lafortune, NP-completeness of sensor selection problems arising in partially observed discrete-event systems, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1495-1499, 2002.

D. Stanley, V. K. Young, and . Garg, Optimal sensor and actuator choices for discrete event systems, Proceedings of the 31st Allerton Conference on Communication, Control, and Computing, 1993.