메뉴 건너뛰기




Volumn 53, Issue 3, 2004, Pages 297-319

Discovering models of behavior for concurrent workflows

Author keywords

Behavior inference; Concurrency analysis; Dynamic analysis; Workflow data analysis; Workflow model discovery

Indexed keywords

ALGORITHMS; INFORMATION MANAGEMENT; ITERATIVE METHODS; MATHEMATICAL MODELS; PROBABILITY; SOFTWARE ENGINEERING;

EID: 0348230609     PISSN: 01663615     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.compind.2003.10.005     Document Type: Article
Times cited : (81)

References (36)
  • 8
    • 0040552473 scopus 로고    scopus 로고
    • Process discovery and validation through event-data analysis
    • University of Colorado, Boulder, CO, November
    • J. Cook, Process discovery and validation through event-data analysis, Technical Report CU-CS-817-96, University of Colorado, Boulder, CO, November 1996.
    • (1996) Technical Report , vol.CU-CS-817-96
    • Cook, J.1
  • 11
    • 0023365727 scopus 로고
    • Statecharts: A visual formalism for complex systems
    • Harel D., Statecharts: a visual formalism for complex systems. Science of Computer Programming. 8:1987;231-274.
    • (1987) Science of Computer Programming , vol.8 , pp. 231-274
    • Harel, D.1
  • 14
    • 0020815483 scopus 로고
    • Inductive inference: Theory and methods
    • Angluin D., Smith C., Inductive inference: theory and methods. ACM Computing Surveys. 15(3):1983;237-269.
    • (1983) ACM Computing Surveys , vol.15 , Issue.3 , pp. 237-269
    • Angluin, D.1    Smith, C.2
  • 15
    • 85037549689 scopus 로고
    • Inductive inference, DFAs, and computational complexity
    • Analogical and Inductive Inference, Springer-Verlag, New York
    • L. Pitt, Inductive inference, DFAs, and computational complexity, in: Analogical and Inductive Inference, vol. 397 of Lecture Notes in Artificial Intelligence (subseries of LNCS), Springer-Verlag, New York, 1989, pp. 18-44.
    • (1989) Lecture Notes in Artificial Intelligence (Subseries of LNCS) , vol.397 , pp. 18-44
    • Pitt, L.1
  • 16
    • 49949150022 scopus 로고
    • Language identification in the limit
    • Gold E., Language identification in the limit. Information and Control. 10:1967;447-474.
    • (1967) Information and Control , vol.10 , pp. 447-474
    • Gold, E.1
  • 17
    • 0021518106 scopus 로고
    • A theory of the learnable
    • Valiant L., A theory of the learnable. Communications of the ACM. 27:1984;1134-1142.
    • (1984) Communications of the ACM , vol.27 , pp. 1134-1142
    • Valiant, L.1
  • 18
    • 0348224251 scopus 로고
    • On monotonic strategies for learning R.E. languages
    • Algorithmic Learning Theory, Springer-Verlag, New York
    • S. Jain, A. Sharma, On monotonic strategies for learning R.E. languages, in: Algorithmic Learning Theory, vol. 872 of Lecture Notes in Artificial Intelligence (subseries of LNCS), Springer-Verlag, New York, 1994, pp. 349-364.
    • (1994) Lecture Notes in Artificial Intelligence (subseries of LNCS) , vol.872 , pp. 349-364
    • Jain, S.1    Sharma, A.2
  • 20
    • 84988545491 scopus 로고
    • Learning stochastic regular grammars by means of a state merging method
    • Grammatical Inference and Applications, Springer-Verlag, New York
    • R. Carrasco, J. Oncina, Learning stochastic regular grammars by means of a state merging method, in: Grammatical Inference and Applications, vol. 862 of Lecture Notes in Artificial Intelligence (subseries of LNCS), Springer-Verlag, New York, 1994, pp. 139-152.
    • (1994) Lecture Notes in Artificial Intelligence (subseries of LNCS) , vol.862 , pp. 139-152
    • Carrasco, R.1    Oncina, J.2
  • 21
    • 0038517726 scopus 로고
    • Syntactic and Structural Pattern Recognition: Theory and Applications
    • of Series in World Scientific, New Jersey, Chapter 9
    • L. Miclet, Syntactic and Structural Pattern Recognition: Theory and Applications, vol. 7 of Series in Computer Science: Grammatical Inference, World Scientific, New Jersey, 1990, Chapter 9, pp. 237-290.
    • (1990) Computer Science: Grammatical Inference , vol.7 , pp. 237-290
    • Miclet, L.1
  • 23
    • 84974712025 scopus 로고    scopus 로고
    • A machine learning approach to workflow management
    • Springer-Verlag, Berlin
    • J. Herbst, A machine learning approach to workflow management, in: Proceedings of the 11th European Conference on Machine Learning, vol. 1810, Springer-Verlag, Berlin, 2000, pp. 183-194.
    • (2000) Proceedings of the 11th European Conference on Machine Learning , vol.1810 , pp. 183-194
    • Herbst, J.1
  • 33
    • 0029253406 scopus 로고
    • Testing and debugging distributed programs using global predicates
    • Venkatesan S., Dathan B., Testing and debugging distributed programs using global predicates. IEEE Transactions on Software Engineering. 21(2):1995;163-177.
    • (1995) IEEE Transactions on Software Engineering , vol.21 , Issue.2 , pp. 163-177
    • Venkatesan, S.1    Dathan, B.2
  • 34
    • 0028755449 scopus 로고
    • Observer - A concept for formal on-line validation of distributed systems
    • Diaz M., Juanole G., Courtiat J., Observer - a concept for formal on-line validation of distributed systems. IEEE Transactions on Software Engineering. 20(12):1994;900-913.
    • (1994) IEEE Transactions on Software Engineering , vol.20 , Issue.12 , pp. 900-913
    • Diaz, M.1    Juanole, G.2    Courtiat, J.3
  • 35
    • 0012168865 scopus 로고    scopus 로고
    • Software process validation: Quantitatively measuring the correspondence of a process to a model
    • Cook J., Wolf A., Software process validation: quantitatively measuring the correspondence of a process to a model. ACM Transactions on Software Engineering and Methodology. 8(2):1999;147-176.
    • (1999) ACM Transactions on Software Engineering and Methodology , vol.8 , Issue.2 , pp. 147-176
    • Cook, J.1    Wolf, A.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.