-
2
-
-
33749040764
-
Collecting and querying distributed traces of composite service executions
-
On the move to meaningful Internet systems Springer, Heidelberg
-
Fauvet MC, Dumas M, Benatallah B (2002) Collecting and querying distributed traces of composite service executions. In: On the move to meaningful Internet systems, 2002-DOA/CoopIS/ODBASE 2002 Confederated international conferences DOA, CoopIS and ODBASE 2002, Springer, Heidelberg, pp 373-390
-
(2002)
2002-DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
, pp. 373-390
-
-
Fauvet, M.C.1
Dumas, M.2
Benatallah, B.3
-
3
-
-
33845396748
-
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
-
4
-
-
24144432609
-
Web usage mining: Languages and algorithms
-
Springer, Heidelberg
-
Punin J, Krishnamoorthy M, Zaki M (2001) Web usage mining: Languages and algorithms. In: Studies in classification, data analysis, and knowledge organization. Springer, Heidelberg
-
(2001)
Studies in Classification, Data Analysis, and Knowledge Organization
-
-
Punin, J.1
Krishnamoorthy, M.2
Zaki, M.3
-
7
-
-
0003880013
-
-
Addison-Wesley, MA
-
Gamma E, Helm R, Johnson R, Vlissides J (1994) Design patterns, elements of reusable object-oriented software. Addison-Wesley, MA
-
(1994)
Design Patterns, Elements of Reusable Object-oriented Software
-
-
Gamma, E.1
Helm, R.2
Johnson, R.3
Vlissides, J.4
-
11
-
-
0012168865
-
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
-
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
-
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
-
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
-
17
-
-
38149055702
-
Prom 4.0: Comprehensive support for eal process analysis
-
Kleijn J, Yakovlev A (eds) ICATPN Springer, Heidelberg
-
van der Aalst WMP, van Dongen BF, Günther CW, Mans RS, de Medeiros AKA, Rozinat A, Rubin V, Song M, Verbeek HMWE, Weijters AJMM (2007) Prom 4.0: Comprehensive support for eal process analysis. In: Kleijn J, Yakovlev A (eds) ICATPN. Lecture Notes in Computer Science, vol 4546. Springer, Heidelberg, pp 484-494
-
(2007)
Lecture Notes in Computer Science
, vol.4546
, pp. 484-494
-
-
Van Der Aalst, W.M.P.1
Van Dongen, B.F.2
Günther, C.W.3
Mans, R.S.4
De Medeiros, A.K.A.5
Rozinat, A.6
Rubin, V.7
Song, M.8
Hmwe, V.9
Ajmm, W.10
-
18
-
-
84885923928
-
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
-
19
-
-
46749150558
-
Workflowminer: A new workflow patterns and performance analysis tool
-
Luxembourg, Grand-Duchy of Luxembourg
-
Baïna K, Gaaloul W, Khattabi RE, Mouhou A (2006) Workflowminer: a new workflow patterns and performance analysis tool. In: 18th international conference on advanced information systems engineering (CAiSE'06) forum, Luxembourg, Grand-Duchy of Luxembourg
-
(2006)
18th International Conference on Advanced Information Systems Engineering (CAiSE'06) Forum
-
-
Baïna, K.1
Gaaloul, W.2
Khattabi, R.E.3
Mouhou, A.4
-
22
-
-
0348230613
-
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
-
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
-
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
-
25
-
-
84880478628
-
Conversation specification: A new approach to design and analysis of e-service composition
-
ACM Press, NewYork
-
Bultan T, Fu X, Hull R, Su J (2003) Conversation specification: a new approach to design and analysis of e-service composition. In: Proceedings of the twelfth international conference on World Wide Web. ACM Press, NewYork, pp 403-410
-
(2003)
Proceedings of the Twelfth International Conference on World Wide Web
, pp. 403-410
-
-
Bultan, T.1
Fu, X.2
Hull, R.3
Su, J.4
-
28
-
-
0346339692
-
Business process intelligence
-
3
-
Grigori D, Casati F, Castellanos M, Dayal U, Sayal M, Shan MC (2004) Business process intelligence. Comput Ind 53(3): 321-343
-
(2004)
Comput Ind
, vol.53
, pp. 321-343
-
-
Grigori, D.1
Casati, F.2
Castellanos, M.3
Dayal, U.4
Sayal, M.5
Shan, M.C.6
-
30
-
-
29244481389
-
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
-
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
-
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
-
36
-
-
0141680986
-
Workflow mining: A survey of issues and approaches
-
2
-
van der Aalst WMP, van Dongen BF, Herbst J, Maruster L, Schimm G, Weijters AJMM (2003) Workflow mining: a survey of issues and approaches. Data Knowl Eng 47(2): 237-267
-
(2003)
Data Knowl Eng
, vol.47
, pp. 237-267
-
-
Van Der Aalst, W.M.P.1
Van Dongen, B.F.2
Herbst, J.3
Maruster, L.4
Schimm, G.5
Ajmm, W.6
-
38
-
-
38049100957
-
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
-
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
-
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
-
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
-
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
|