Deviation management during process execution

2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings

Volumn , Issue , 2011, Pages 528-531

  Da Silva, Marcos Aurélio Almeida ^a   Blanc, Xavier ^b   Bendraou, Reda ^a  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^b UNIVERSITÉ BORDEAUX 1   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; LINEAR TEMPORAL LOGIC; PROCESS ENACTMENT; PROCESS EXECUTION; PROCESS MODEL; PROCESS-CENTERED SOFTWARE ENGINEERING ENVIRONMENT;

INDUSTRY; SOFTWARE DESIGN; TEMPORAL LOGIC;

SOFTWARE AGENTS;

EID: 84855434884     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2011.6100116     Document Type: Conference Paper

References (10)

1. B. I. Simidchieva, L. J. Osterweil, and A. E. Wise, "Structural considerations in defining executable process models," in ICSP, ser. Lecture Notes in Computer Science, Q. Wang, V. Garousi, R. J. Madachy, and D. Pfahl, Eds., vol. 5543. Springer, 2009, pp. 366-376.
2. F. Lanubile and G. Visaggio, "Evaluating defect detection techniques for software requirements inspections," 2000.
3. G. Cugola, "Tolerating deviations in process support systems via flexible enactment of process models," IEEE Trans. Software Eng., vol. 24, no. 11, pp. 982-1001, 1998. (Pubitemid 128740286)
4. M. Kabbaj, R. Lbath, and B. Coulette, "A deviation management system for handling software process enactment evolution," in ICSP, ser. Lecture Notes in Computer Science, Q. Wang, D. Pfahl, and D. M. Raffo, Eds., vol. 5007. Springer, 2008, pp. 186-197.
5. M. A. A. da Silva, R. Bendraou, X. Blanc, and M.-P. Gervais, "Early deviation detection in modeling activities of mde processes," in MoDELS (2), ser. Lecture Notes in Computer Science, D. C. Petriu, N. Rouquette, and ∅. Haugen, Eds., vol. 6395. Springer, 2010, pp. 303-317.
6. S. Bandinelli, E. D. Nitto, and A. Fuggetta, "Supporting cooperation in the spade-1 environment," IEEE Trans. Software Eng., vol. 22, no. 12, pp. 841-865, 1996.
7. A. Pnueli, "The temporal logic of programs," in FOCS. IEEE, 1977, pp. 46-57.
8. A. Bauer, M. Leucker, and C. Schallhart, "Monitoring of real-time properties,"in FSTTCS, ser. Lecture Notes in Computer Science, S. Arun-Kumar and N. Garg, Eds., vol. 4337. Springer, 2006, pp. 260-272.
9. M. Kellner, P. Feiler, A. Finkelstein, T. Katayama, L. Osterweil, M. Penedo, and H. Rombach, "Ispw-6 software process example," in Software Process, 1991. Proceedings. First International Conference on the, 21-26 1991, pp. 176 -186.
10. S. Dami, J. Estublier, and M. Amiour, "Apel: A graphical yet executable formalism for process modeling," Autom. Softw. Eng., vol. 5, no. 1, pp. 61-96, 1998. (Pubitemid 128514288)