A chronicle-based diagnosability approach for discrete timed-event systems: Application to web-services

Journal of Universal Computer Science

Volumn 15, Issue 17, 2009, Pages 3246-3272

  Pencolé, Yannick ^a   Subias, Audine ^b  

^a LAAS CNRS   (France)

^b UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

Chronicle; Diagnosability; Diagnosis; Discrete event systems; Time Petri nets; Web service; Workflow

Indexed keywords

EID: 77649258167     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Article

References (27)

1. Alur, R. and Dill, D. (1994). A theory of timed automata. Theoretical Computer Sciences, 126:183-235.
2. Basseville, M. (2001). On fault detectability and isolability. European Journal of Control, 7(8):625-637.
3. Berthomieu, B. and Diaz, M. (1991). Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering, 17(3):259-273.
4. Berthomieu, B. and Menasche, M. (1983). An enumerative approach for analyzing time Petri nets. In IFIP Congress Series, volume 9, pages 41-46. Elsevier Science Publ. Comp.
5. Berthomieu, B., Peres, F., and Vernadat, F. (2006). Bridging the gap between timed automata and bounded time Petri nets. In Proceedings of Formal Modeling and Analysis of Timed Systems (FORMATS'06), LCNS 4202.
6. Berthomieu, B., Ribet, P.-O., and Vernadat, F. (2004). The tool TINA - construction of abstract state spaces for Petri nets and time Petri nets. International Journal of Production Research, 42(14).
7. Bertrand, O., Carle, P., and Choppy, C. (2007). Chronicle modelling using automata and colored Petri nets. In 18th Internation Workshop on Principles of Diagnosis (DX'07), pages 243-248, Nashville, TN, USA.
8. Boufaied, A., Subias, A., and Combacau, M. (2002). Chronicle modeling by Petri nets for distributed detection of process failures. In IEEE International conference on systems, man and cybernetics (SMC'02), pages 243-248, Hammamet, Tunisia.
9. Chen, J. and Patton, R. (1994). A re-examination of fault detectability and isolability in linear dynamic systems. In Proceedings of the 2nd Safeprocess Symposium.
10. Contant, O., Lafortune, S., and Teneketsis, D. (2004). Diagnosis of intermittent faults. Journal of Discrete Event Dynamic Systems: Theory and Applications, 14:171-202.
11. Cordier, M.-O., Guillou, X. L., Robin, S., Rozé, L., and Vidal, T. (2007). Distributed chronicles for on-line diagnosis of web services. In Biswas, G., Koutsoukos, X., and Abdelwahed, S., editors, 18th International Workshop on Principles of Diagnosis, pages 37-44.
12. Cordier, M.-O., Travé-Massuyès, L., and Pucel, X. (2006). Comparing diagnosability in continous and discrete-event systems. In González, C., Escobet, T., and Pulido, B., editors, 17th International Workshop on Principles of Diagnosis, pages 55-60.
13. D4.2 (2006). Specification of diagnosis algorithms for web-services - phase 1. Technical report, WS-DIAMOND European project.
14. D5.1 (2007). Characterization of diagnosability and repairability for self-healing web services. Technical report, WS-DIAMOND European project.
15. Dousson, C. (1996). Alarm driven supervision for telecommunication networks: ii-on line chronicle rcognition. Annales des Télécommunications, 51 (9-10):501-508.
16. Eder, J., Lehmann, M., and Tahamtan, A. (2007). Conformance test of federated choreographies. In Proc. of the 3rd International Conference on Interoperability for Enterprise Software and Applications.
17. Hack, M. (1976). Petri net languages. Technical report, MIT, Cambridge, Massuchets, USA.
18. Jantzen, M. (1987). Language theory of Petri nets. lecture notes in computer Sciences, 254-I:397-412.
19. Jéron, T., Marchand, H., Pinchinat, S., and Cordier, M.-O. (2006). Supervision patterns in discrete event systems diagnosis. In WODES06: Workshop on Discrete Event Systems.
20. Mayer, E. (1998). Inductive learning of chronicles. In ECAI'98: Proceedings of European Conference on Artificial Intelligence, pages 471-472.
21. Merlin, P. and Farber, D. (1976). Recoverability of communication protocols: Implication of a theoretical study. IEEE Trans. Comm., 24(9):1036-1043.
22. Pencolé, Y. (2004). Diagnosability analysis of distributed discrete event systems. In ECAI04: Proceedings of European Conference on Artificial Intelligence, pages 43-47.
23. Quiniou, R., Cordier, M.-O., Carrault, G., and Wang, F. (2001). Application of ilp to cardiac arrhythmia characterization for chronicle recognition. Lecture Notes in Computer Science, (2157):220-227.
24. Sampath, M., Sengputa, R., Lafortune, S., Sinnamohideen, K., and Teneketsis, D. (1995). Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control, 40:1555-1575.
25. Staroswiecki, M. and Comtet-Varga, G. (1999). Fault detectability and isolability in algebraic dynamic systems. In Proceedings of the European Control Conference.
26. Team, W.-D. (2008). Ws-diamond web services - diagnosability, monitoring and diagnosis. Technical Report 08005, LAAS-CNRS.
27. Travé-Massuyès, L., Escobet, T., and Milne, R. (2001). Model-based diagnosability and sensor placement application to a frame 6 gas turbine subsystem. In IJCAI01: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, volume 1, pages 551-556.