-
2
-
-
33750024801
-
Process equivalence: Comparing two process models based on observed behavior
-
S. Dustdar, J.L. Faideiro, and A. Sheth, editors, volume 4102 of Lecture Notes in Computer Science, Springer-Verlag, Berlin
-
W.M.P. van der Aalst, A.K. Alves de Medeiros, and A.J.M.M. Weijters. Process Equivalence: Comparing Two Process Models Based on Observed Behavior. In S. Dustdar, J.L. Faideiro, and A. Sheth, editors, International Conference on Business Process Management (BPM 2006), volume 4102 of Lecture Notes in Computer Science, pages 129-144. Springer-Verlag, Berlin, 2006.
-
(2006)
International Conference on Business Process Management (BPM 2006)
, pp. 129-144
-
-
Van Der Aalst, W.M.P.1
Alves De Medeiros, A.K.2
Weijters, A.J.M.M.3
-
3
-
-
33646698687
-
Process mining and verification of properties: An approach based on temporal logic
-
R. Meersman and Z. Tari et al. editors, volume 3760 of Lecture Notes in Computer Science, Springer-Verlag, Berlin
-
W.M.P. van der Aalst, H.T. de Beer, and B.F. van Dongen. Process Mining and Verification of Properties: An Approach based on Temporal Logic. In R. Meersman and Z. Tari et al., editors, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, volume 3760 of Lecture Notes in Computer Science, pages 130- 147. Springer-Verlag, Berlin, 2005.
-
(2005)
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005
, pp. 130-147
-
-
Van Der Aalst, W.M.P.1
De Beer, H.T.2
Van Dongen, B.F.3
-
4
-
-
8644292666
-
On the Semantics of EPCs: A Vicious Circle
-
M. Nüttgens and F.J. Rump, editors, Trier, Germany, November, Gesellschaft für Informatik, Bonn
-
W.M.P. van der Aalst, J. Desel, and E. Kindler. On the Semantics of EPCs: A Vicious Circle. In M. Nüttgens and F.J. Rump, editors, Proceedings of the EPK 2002: Business Process Management using EPCs, pages 71-80, Trier, Germany, November 2002. Gesellschaft für Informatik, Bonn.
-
(2002)
Proceedings of the EPK 2002: Business Process Management Using EPCs
, pp. 71-80
-
-
Van Der Aalst, W.M.P.1
Desel, J.2
Kindler, E.3
-
6
-
-
0037411286
-
Workflow patterns
-
W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. Workflow Patterns. Distributed and Parallel Databases, 14(1):5-51, 2003.
-
(2003)
Distributed and Parallel Databases
, vol.14
, Issue.1
, pp. 5-51
-
-
Van Der Aalst, W.M.P.1
Ter Hofstede, A.H.M.2
Kiepuszewski, B.3
Barros, A.P.4
-
7
-
-
33845201666
-
DecSerFlow: Towards a truly declarative service flow language
-
M. Bravetti, M. Nunez, and G. Zavattaro, editors
-
W.M.P. van der Aalst and M. Pesic. DecSerFlow: Towards a Truly Declarative Service Flow Language. In M. Bravetti, M. Nunez, and G. Zavattaro, editors, International Conference onWeb Services and Formal Methods (WS-FM 2006), volume 4184, pages 1-23, 2006.
-
(2006)
International Conference OnWeb Services and Formal Methods (WS-FM 2006)
, vol.4184
, pp. 1-23
-
-
Van Der Aalst, W.M.P.1
Pesic, M.2
-
10
-
-
26444580289
-
The ProM framework: A new era in process mining tool support
-
volume 3536 of Lecture Notes in Computer Science, Springer-Verlag, Berlin
-
B.F. van Dongen, A.K. Alves de Medeiros, H.M.W. Verbeek, A.J.M.M. Weijters, and W.M.P. van der Aalst. The ProM framework: A new era in process mining tool support. In Application and Theory of Petri Nets 2005, volume 3536 of Lecture Notes in Computer Science, pages 444-454. Springer-Verlag, Berlin, 2005.
-
(2005)
Application and Theory of Petri Nets 2005
, pp. 444-454
-
-
Dongen, B.F.V.1
Alves De Medeiros Medeiros, A.K.2
Verbeek, H.M.W.3
Weijters, A.J.M.M.4
Van Der Aalst, W.M.P.5
-
13
-
-
38749154708
-
Structural patterns for soundness of business process models
-
Washington, DC, USA, IEEE Computer Society
-
B.F. van Dongen, J. Mendling, and W.M.P. van der Aalst. Structural Patterns for Soundness of Business Process Models. In EDOC '06: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06), pages 116-128, Washington, DC, USA, 2006. IEEE Computer Society.
-
(2006)
EDOC '06: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06)
, pp. 116-128
-
-
Van Dongen, B.F.1
Mendling, J.2
Van Der Aalst, W.M.P.3
-
14
-
-
84889038153
-
A business process design language
-
London, UK, Springer-Verlag
-
H. Eertink, W. Janssen, P. Oude Luttighuis, W. B. Teeuw, and C. A. Vissers. A business process design language. In FM '99: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I, pages 76-95, London, UK, 1999. Springer-Verlag.
-
(1999)
FM '99: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I
, pp. 76-95
-
-
Eertink, H.1
Janssen, W.2
Luttighuis, P.O.3
Teeuw, W.B.4
Vissers, C.A.5
-
15
-
-
84864560148
-
Measuring similarity between semantic business process models
-
J.F. Roddick and A. Hinze, editors, Ballarat, Victoria, Australia, Australian Computer Science Communications
-
M. Ehrig, A. Koschmider, and A. Oberweis. Measuring similarity between semantic business process models. In J.F. Roddick and A. Hinze, editors, Conceptual Modelling 2007, Proceedings of the Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM 2007), volume 67, pages 71-80, Ballarat, Victoria, Australia, 2007. Australian Computer Science Communications.
-
(2007)
Conceptual Modelling 2007, Proceedings of the Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM 2007)
, vol.67
, pp. 71-80
-
-
Ehrig, M.1
Koschmider, A.2
Oberweis, A.3
-
16
-
-
27144558411
-
Behavior based integration of composite business processes
-
W.M.P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, volume 3649 of Lecture Notes in Computer Science, Springer
-
G. Grossmann, Y. Ren, M. Schrefl, and M. Stumptner. Behavior based integration of composite business processes. In W.M.P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, Business Process Management, 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings, volume 3649 of Lecture Notes in Computer Science, pages 186-204. Springer, 2005.
-
(2005)
Business Process Management, 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings
, pp. 186-204
-
-
Grossmann, G.1
Ren, Y.2
Schrefl, M.3
Stumptner, M.4
-
17
-
-
0742286322
-
Toward high-precision service retrieval
-
Klein and A. Bernstein. Toward high-precision service retrieval. IEEE Internet Computing, 8(1):30-36, 2004.
-
(2004)
IEEE Internet Computing
, vol.8
, Issue.1
, pp. 30-36
-
-
Klein, M.1
Bernstein, A.2
-
18
-
-
27544451161
-
On the semantics of EPCs: A framework for resolving the vicious circle
-
E. Kindler. On the Semantics of EPCs: A Framework for Resolving the Vicious Circle. Data and Knowledge Engineering, 56(1):23-40, 2006.
-
(2006)
Data and Knowledge Engineering
, vol.56
, Issue.1
, pp. 23-40
-
-
Kindler, E.1
-
19
-
-
0346245772
-
-
Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 89 (in German), University of Saarland, Saarbr̈ucken
-
G. Keller, M. N̈uttgens, and A.W. Scheer. Semantische Processmodellierung auf der Grundlage Ereignisgesteuerter Processketten (EPK). Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 89 (in German), University of Saarland, Saarbr̈ucken, 1992.
-
(1992)
Semantische Processmodellierung Auf Der Grundlage Ereignisgesteuerter Processketten (EPK)
-
-
Keller, G.1
N̈uttgens, M.2
Scheer, A.W.3
-
22
-
-
70350296290
-
Referenzmodell: Sand im getriebe - Webfehler
-
(in German), August
-
J. Mendling, W.M.P. van der Aalst, B.F. van Dongen, and H.M.W. Verbeek. Referenzmodell: Sand im Getriebe - Webfehler. iX - Magazin f̈ur Professionelle Informationstechnik. (in German), pages 131-133, August 2006.
-
(2006)
IX - Magazin F̈ur Professionelle Informationstechnik
, pp. 131-133
-
-
Mendling, J.1
Van Der Aalst, W.M.P.2
Van Dongen, B.F.3
Verbeek, H.M.W.4
-
24
-
-
35048892117
-
Process query language: A way to make workflow processes more flexible
-
G. Gottlob, A.A. Bencźur, and J. Demetrovics, editors, volume 3255 of Lecture Notes in Computer Science, Springer
-
M. Momotko and K. Subieta. Process query language: A way to make workflow processes more flexible. In G. Gottlob, A.A. Bencźur, and J. Demetrovics, editors, Advances in Databases and Information Systems, 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceesing, volume 3255 of Lecture Notes in Computer Science, pages 306-321. Springer, 2004.
-
(2004)
Advances in Databases and Information Systems, 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceesing
, pp. 306-321
-
-
Momotko, M.1
Subieta, K.2
-
25
-
-
33749608128
-
Business process design by view integration
-
Johann Eder and Schahram Dustdar, editors, volume 4103 of Lecture Notes in Computer Science, Vienna, Austria, Springer-Verlag
-
J. Mendling and C. Simon. Business Process Design by View Integration. In Johann Eder and Schahram Dustdar, editors, Proceedings of BPM Workshops 2006, volume 4103 of Lecture Notes in Computer Science, pages 55-64, Vienna, Austria, 2006. Springer-Verlag.
-
(2006)
Proceedings of BPM Workshops 2006
, pp. 55-64
-
-
Mendling, J.1
Simon, C.2
-
26
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
April
-
T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4):541-580, April 1989.
-
(1989)
Proceedings of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
27
-
-
70350079595
-
Detection and prediction of errors in EPCs of the SAP reference model
-
J. Mendling, H.M.W. Verbeek, B.F. van Dongen, W.M.P. van der Aalst, and G. Neumann. Detection and Prediction of Errors in EPCs of the SAP Reference Model. Data and Knowledge Engineering (accepted), 2007.
-
(2007)
Data and Knowledge Engineering (Accepted)
-
-
Mendling, J.1
Verbeek, H.M.W.2
Van Dongen, B.F.3
Van Der Aalst, W.M.P.4
Neumann, G.5
-
28
-
-
0035153378
-
View integration of behavior in object-oriented databases
-
G. Preuner, S. Conrad, and M. Schrefl. View integration of behavior in object-oriented databases. Data & Knowledge Engineering, 36(2):153-183, 2001.
-
(2001)
Data & Knowledge Engineering
, vol.36
, Issue.2
, pp. 153-183
-
-
Preuner, G.1
Conrad, S.2
Schrefl, M.3
-
29
-
-
0003912011
-
-
editors., volume 1491 of Lecture Notes in Computer Science. Springer-Verlag, Berlin
-
W. Reisig and G. Rozenberg, editors. Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1998.
-
(1998)
Lectures on Petri Nets I: Basic Models
-
-
Reisig, W.1
Rozenberg, G.2
-
30
-
-
0016572913
-
A vector space model for automatic indexing
-
G. Salton, A. Wong, and C.S. Yang. A Vector Space Model for Automatic Indexing. Communications of the ACM, 18(11):613-620, 1975.
-
(1975)
Communications of the ACM
, vol.18
, Issue.11
, pp. 613-620
-
-
Salton, G.1
Wong, A.2
Yang, C.S.3
|