메뉴 건너뛰기




Volumn 2, Issue 2-3, 2008, Pages 93-110

Log-based mining techniques applied to Web service composition reengineering

Author keywords

Composite service mining; Model driven reengineering; Service analysis; Service intelligence; Service reengineering frameworks; Service validation; Workflow patterns

Indexed keywords

AD HOC NETWORKS; ALGORITHMS; ARCHITECTURAL DESIGN; BOOLEAN FUNCTIONS; CHEMICAL ANALYSIS; DYNAMIC PROGRAMMING; EVOLUTIONARY ALGORITHMS; INTEGER PROGRAMMING; LINEAR PROGRAMMING; MATHEMATICAL MODELS; MATHEMATICAL PROGRAMMING; MINING; MODAL ANALYSIS; NONLINEAR PROGRAMMING; RHENIUM; RHENIUM COMPOUNDS; SCHEDULING ALGORITHMS; STATISTICAL METHODS; STRUCTURE (COMPOSITION); SYSTEMS ENGINEERING; WEB SERVICES; WORLD WIDE WEB;

EID: 46749148324     PISSN: 18632386     EISSN: 18632394     Source Type: Journal    
DOI: 10.1007/s11761-008-0023-6     Document Type: Article
Times cited : (36)

References (45)
  • 3
    • 33845396748 scopus 로고    scopus 로고
    • Web service mining and verification of properties: An approach based on event calculus
    • Meersman R, Tari Z (eds) OTM conferences (1) Springer, Heidelberg
    • Rouached M, Gaaloul W, van der Aalst WMP, Bhiri S, Godart C (2006) Web service mining and verification of properties: an approach based on event calculus. In: Meersman R, Tari Z (eds) OTM conferences (1). Lecture Notes in Computer Science, vol 4275. Springer, Heidelberg, pp 408-425
    • (2006) Lecture Notes in Computer Science , vol.4275 , pp. 408-425
    • Rouached, M.1    Gaaloul, W.2    Van Der Aalst, W.M.P.3    Bhiri, S.4    Godart, C.5
  • 11
    • 0012168865 scopus 로고    scopus 로고
    • Software process validation: Quantitatively measuring the correspondence of a process to a model
    • 2
    • Cook JE, Wolf AL (1999) Software process validation: quantitatively measuring the correspondence of a process to a model. ACM Trans Softw Eng Methodol (TOSEM) 8(2): 147-176
    • (1999) ACM Trans Softw Eng Methodol (TOSEM) , vol.8 , pp. 147-176
    • Cook, J.E.1    Wolf, A.L.2
  • 12
    • 0030143334 scopus 로고    scopus 로고
    • Branching time and abstraction in bisimulation semantics
    • 3
    • v Glabbeek RJ, Weijland WP (1996) Branching time and abstraction in bisimulation semantics. J ACM 43(3): 555-600
    • (1996) J ACM , vol.43 , pp. 555-600
    • Glabbeek R J, V.1    Weijland, W.P.2
  • 15
    • 0035622994 scopus 로고    scopus 로고
    • Exterminating the dynamic change bug: A concrete approach to support workflow change
    • 3
    • van der Aalst WMP (2001) Exterminating the dynamic change bug: a concrete approach to support workflow change. Info Syst Front 3(3): 297-317
    • (2001) Info Syst Front , vol.3 , pp. 297-317
    • Van Der Aalst, W.M.P.1
  • 16
    • 0029201537 scopus 로고
    • Dynamic change within workflow systems
    • Ellis CA, Keddara K, Rozenberg G (1995) Dynamic change within workflow systems. In: COOCS, pp 10-21
    • (1995) COOCS , pp. 10-21
    • Ellis, C.A.1    Keddara, K.2    Rozenberg, G.3
  • 18
    • 84885923928 scopus 로고    scopus 로고
    • A workflow mining tool based on logs statistical analysis
    • Zhang K, Spanoudakis G, Visaggio G (eds)
    • Gaaloul W, Godart C (2006) A workflow mining tool based on logs statistical analysis. In: Zhang K, Spanoudakis G, Visaggio G (eds) SEKE, pp 595-600
    • (2006) SEKE , pp. 595-600
    • Gaaloul, W.1    Godart, C.2
  • 22
    • 0348230613 scopus 로고    scopus 로고
    • Workflow mining with inwolve
    • 3
    • Herbst J, Karagiannis D (2004) Workflow mining with inwolve. Comput Ind 53(3): 245-264
    • (2004) Comput Ind , vol.53 , pp. 245-264
    • Herbst, J.1    Karagiannis, D.2
  • 23
    • 77952076017 scopus 로고    scopus 로고
    • Process miner-a tool for mining process schemes from event-based Data
    • Springer, Heidelberg
    • Schimm G (2002) Process miner-a tool for mining process schemes from event-based Data. In: European conference on logics in AI. Springer, Heidelberg, pp 525-528
    • (2002) European Conference on Logics in AI , pp. 525-528
    • Schimm, G.1
  • 24
    • 26844582462 scopus 로고    scopus 로고
    • Towards mining structural workflow patterns
    • Andersen KV, Debenham JK, Wagner R (eds) DEXA Springer, Heidelberg
    • Gaaloul W, Baïna K, Godart C (2005) Towards mining structural workflow patterns. In: Andersen KV, Debenham JK, Wagner R (eds) DEXA. LNCS, vol 3588. Springer, Heidelberg, pp 24-33
    • (2005) LNCS , vol.3588 , pp. 24-33
    • Gaaloul, W.1    Baïna, K.2    Godart, C.3
  • 30
    • 29244481389 scopus 로고    scopus 로고
    • Business alignment: Using process mining as a tool for delta analysis
    • van der Aalst WMP (2004) Business alignment: Using process mining as a tool for delta analysis. In: CAiSE Workshops, vol 2, pp 138-145
    • (2004) CAiSE Workshops , vol.2 , pp. 138-145
    • Van Der Aalst, W.M.P.1
  • 31
    • 35048824354 scopus 로고    scopus 로고
    • Analysis and management of web service protocols
    • Benatallah B, Casati F, Toumani F (2004) Analysis and management of web service protocols. In: ER, pp 524-541
    • (2004) ER , pp. 524-541
    • Benatallah, B.1    Casati, F.2    Toumani, F.3
  • 34
    • 0032108294 scopus 로고    scopus 로고
    • Discovering models of software processes from event-based data
    • 3
    • Cook JE, Wolf AL (1998) Discovering models of software processes from event-based data. ACM Trans Softw Eng Methodol (TOSEM) 7(3): 215-249
    • (1998) ACM Trans Softw Eng Methodol (TOSEM) , vol.7 , pp. 215-249
    • Cook, J.E.1    Wolf, A.L.2
  • 38
    • 38049100957 scopus 로고    scopus 로고
    • Process mining based on regions of languages
    • Alonso G, Dadam P, Rosemann M (eds) BPM Springer, Heidelberg
    • Bergenthum R, Desel J, Lorenz R, Mauser S (2007) Process mining based on regions of languages. In: Alonso G, Dadam P, Rosemann M (eds) BPM. Lecture Notes in Computer Science, vol 4714. Springer, Heidelberg, pp 375-383
    • (2007) Lecture Notes in Computer Science , vol.4714 , pp. 375-383
    • Bergenthum, R.1    Desel, J.2    Lorenz, R.3    Mauser, S.4
  • 40
    • 33646698687 scopus 로고    scopus 로고
    • Process mining and verification of properties: An approach based on temporal logic
    • Meersman R, Tari Z, Hacid MS, Mylopoulos J, Pernici B, Babaoglu Ö, Jacobsen HA, Loyall JP, Kifer M, Spaccapietra S (eds) OTM conferences (1) Springer, Heidelberg
    • van der Aalst WMP, de Beer HT, van Dongen BF (2005) Process mining and verification of properties: An approach based on temporal logic. In: Meersman R, Tari Z, Hacid MS, Mylopoulos J, Pernici B, Babaoglu Ö, Jacobsen HA, Loyall JP, Kifer M, Spaccapietra S (eds) OTM conferences (1). Lecture Notes in Computer Science, vol 3760. Springer, Heidelberg, pp 130-147
    • (2005) Lecture Notes in Computer Science , vol.3760 , pp. 130-147
    • Van Der Aalst, W.M.P.1    De Beer, H.T.2    Van Dongen, B.F.3
  • 42
    • 35048871942 scopus 로고    scopus 로고
    • Discovering workflow transactional behaviour event-based log
    • 12th International conference on cooperative information systems (CoopIS'04) Larnaca, Cyprus. Springer, Heidelberg
    • Gaaloul W, Bhiri S, Godart C (2004) Discovering workflow transactional behaviour event-based log. In: 12th International conference on cooperative information systems (CoopIS'04). LNCS, Larnaca, Cyprus. Springer, Heidelberg
    • (2004) LNCS
    • Gaaloul, W.1    Bhiri, S.2    Godart, C.3
  • 43
    • 33746341325 scopus 로고    scopus 로고
    • Mining workflow recovery from event based logs
    • Gaaloul W, Godart C (2005) Mining workflow recovery from event based logs. In: Bus process manage 3649:169-185
    • (2005) Bus Process Manage , vol.3649 , pp. 169-185
    • Gaaloul, W.1    Godart, C.2
  • 44
    • 38349117901 scopus 로고    scopus 로고
    • Discovering and improving recovery mechanisms of compositeweb services
    • IEEE Computer Society, NewYork
    • Bhiri S, Gaaloul W, Godart C (2006) Discovering and improving recovery mechanisms of compositeweb services. In: ICWS. IEEE Computer Society, NewYork, pp 99-110
    • (2006) ICWS , pp. 99-110
    • Bhiri, S.1    Gaaloul, W.2    Godart, C.3


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