-
1
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541-580 (1989)
-
(1989)
Proceedings of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
2
-
-
0004287147
-
-
Elsevier Science Publishers B. V., Amsterdam
-
Bergstra, J., Ponse, A., Smolka, S.: Handbook of Process Algebra. Elsevier Science Publishers B. V., Amsterdam (2001)
-
(2001)
Handbook of Process Algebra
-
-
Bergstra, J.1
Ponse, A.2
Smolka, S.3
-
4
-
-
0033157445
-
Continual queries for internet scale event-driven information delivery
-
DOI 10.1109/69.790816
-
Liu, L., Pu, C., Tang, W.: Continual queries for internet scale event-driven information delivery. IEEE Trans. on Knowl. and Data Eng. 11, 610-628 (1999) (Pubitemid 30517119)
-
(1999)
IEEE Transactions on Knowledge and Data Engineering
, vol.11
, Issue.4
, pp. 610-628
-
-
Liu, L.1
Pu, C.2
Tang, W.3
-
5
-
-
29844433455
-
Immortal db: Transaction time support for sql server
-
ACM, New York
-
Lomet, D., Barga, R., Mokbel, M.F., Shegalov, G., Wang, R., Zhu, Y.: Immortal db: transaction time support for sql server. In: SIGMOD 2005: Proceedings of the 2005 ACM SIGMOD International Conference on Management of Data, pp. 939-941. ACM, New York (2005)
-
(2005)
SIGMOD 2005: Proceedings of the 2005 ACM SIGMOD International Conference on Management of Data
, pp. 939-941
-
-
Lomet, D.1
Barga, R.2
Mokbel, M.F.3
Shegalov, G.4
Wang, R.5
Zhu, Y.6
-
7
-
-
77953969339
-
An event-driven modeling approach for dynamic human-intensive business
-
BPM 2009 International Workshops. Springer, Heidelberg
-
Alexopoulou, N., Nikolaidou, M., Anagnostopoulos, D., Martakos, D.: An event-driven modeling approach for dynamic human-intensive business. In: BPM 2009 International Workshops. LNBIP, vol. 43, pp. 393-404. Springer, Heidelberg (2010)
-
(2010)
LNBIP
, vol.43
, pp. 393-404
-
-
Alexopoulou, N.1
Nikolaidou, M.2
Anagnostopoulos, D.3
Martakos, D.4
-
8
-
-
38349070244
-
Data-driven modeling and coordination of large process structures
-
Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. Springer, Heidelberg
-
Müller, D., Reichert, M., Herbst, J.: Data-driven modeling and coordination of large process structures. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 131-149. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4803
, pp. 131-149
-
-
Müller, D.1
Reichert, M.2
Herbst, J.3
-
9
-
-
0141940583
-
Business artifacts: An approach to operation specificaiton
-
Nigam, A., Caswell, N.S.: Business artifacts: an approach to operation specificaiton. IBM Journal 42, 428-445 (2003)
-
(2003)
IBM Journal
, vol.42
, pp. 428-445
-
-
Nigam, A.1
Caswell, N.S.2
-
10
-
-
84958763041
-
The active database management system manifesto: A rulebase of adbms features
-
Sellis, T.K. (ed.) RIDS 1995. Springer, Heidelberg
-
Dittrich, K.R., Gatziu, S., Geppert, A.: The active database management system manifesto: A rulebase of adbms features. In: Sellis, T.K. (ed.) RIDS 1995. LNCS, vol. 985, pp. 3-20. Springer, Heidelberg (1995)
-
(1995)
LNCS
, vol.985
, pp. 3-20
-
-
Dittrich, K.R.1
Gatziu, S.2
Geppert, A.3
-
12
-
-
33947709937
-
Integration of collaborative information system in internet applications using riverfish architecture
-
IEEE, Los Alamitos
-
Ferreira, J.E., Takai, O.K., Pu, C.: Integration of collaborative information system in internet applications using riverfish architecture. In: CollaborateCom, p. 8. IEEE, Los Alamitos (2005)
-
(2005)
CollaborateCom
, pp. 8
-
-
Ferreira, J.E.1
Takai, O.K.2
Pu, C.3
-
13
-
-
78049335762
-
The river- Fish approach to business process modeling: Linking business steps to control-flow patterns
-
ISBN 978-3-642-03353-7
-
Zuliane, D., Oikawa, M.K., Malkowski, S., Alcazar, J.P., Ferreira, J.E.: The river- fish approach to business process modeling: Linking business steps to control-flow patterns. In: Collaborative Computing: Networking, Applications and Worksharing, pp. 179-193 (2008) ISBN 978-3-642-03353-7
-
(2008)
Collaborative Computing: Networking, Applications and Worksharing
, pp. 179-193
-
-
Zuliane, D.1
Oikawa, M.K.2
Malkowski, S.3
Alcazar, J.P.4
Ferreira, J.E.5
-
14
-
-
33749072287
-
Integration of business processes with autonomous information systems: A case study in government services
-
Ferreira, J.E., Takai, O.K., Pu, C.: Integration of business processes with autonomous information systems: A case study in government services. In: IEEE International Conference on E-Commerce Technology, pp. 471-474 (2005)
-
(2005)
IEEE International Conference on E-Commerce Technology
, pp. 471-474
-
-
Ferreira, J.E.1
Takai, O.K.2
Pu, C.3
-
15
-
-
85037035790
-
Towards flexible event-handling in workflows through data states
-
accepted.
-
Ferreira, J.E., Wu, Q., Malkowski, S., Pu., C.: Towards flexible event-handling in workflows through data states (accepted). In: IEEE Services 2010, IEEE 2010 Fourth International Workshop on Scientific Workflows, SWF (2010)
-
(2010)
IEEE Services 2010, IEEE 2010 Fourth International Workshop on Scientific Workflows, SWF
-
-
Ferreira, J.E.1
Wu, Q.2
Malkowski, S.3
Pu, C.4
-
16
-
-
34250689971
-
Searching in time
-
Plattner, C., Wapf, A., Alonso, G.: Searching in time. In: SIGMOD Conference, pp. 754-756 (2006)
-
(2006)
SIGMOD Conference
, pp. 754-756
-
-
Plattner, C.1
Wapf, A.2
Alonso, G.3
-
19
-
-
57049083995
-
Corepro sim: A tool for modeling, simulating and adapting data-driven process structures
-
Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. Springer, Heidelberg
-
Müller, D., Reichert, M., Herbst, J., Köntges, D., Neubert, A.: Corepro sim: A tool for modeling, simulating and adapting data-driven process structures. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 394-397. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5240
, pp. 394-397
-
-
Müller, D.1
Reichert, M.2
Herbst, J.3
Köntges, D.4
Neubert, A.5
-
20
-
-
45849109580
-
A new paradigm for the enactment and dynamic adaptation of data-driven process
-
Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. Springer, Heidelberg
-
Müller, D., Reichert, M., Herbst, J.: A new paradigm for the enactment and dynamic adaptation of data-driven process. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 48-63. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5074
, pp. 48-63
-
-
Müller, D.1
Reichert, M.2
Herbst, J.3
-
21
-
-
37649013845
-
Artifact-centered operational modeling: Lessons from artifact-centered operational modeling: Lessons from customer engagements
-
Bhattacharya, K., Caswell, N.S., Kumaran, S., Nigam, A., Wu, F.Y.: Artifact-centered operational modeling: Lessons from artifact-centered operational modeling: Lessons from customer engagements. IBM Journal 46, 703-721 (2007)
-
(2007)
IBM Journal
, vol.46
, pp. 703-721
-
-
Bhattacharya, K.1
Caswell, N.S.2
Kumaran, S.3
Nigam, A.4
Wu, F.Y.5
-
22
-
-
38649121446
-
Static analysis of business artifact-centric operational models
-
Gerede, C.E., Bhattacharya, K., Su, J.: Static analysis of business artifact-centric operational models. In: IEEE International Conference on Service-Oriented Computing and Applications, pp. 133-140 (2007)
-
(2007)
IEEE International Conference on Service-Oriented Computing and Applications
, pp. 133-140
-
-
Gerede, C.E.1
Bhattacharya, K.2
Su, J.3
-
23
-
-
0037411286
-
Workflow patterns
-
van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14, 5-51 (2003)
-
(2003)
Distributed and Parallel Databases
, vol.14
, pp. 5-51
-
-
Van Der Aalst, W.M.P.1
Ter Hofstede, A.H.M.2
Kiepuszewski, B.3
Barros, A.P.4
-
24
-
-
0004002407
-
-
The MIT Press, Cambridge ISBN-10: 0-262-01189-1
-
van der Aalst, W., van Hee, K.: Workflow Management: Models, Methods, and Systems. The MIT Press, Cambridge (2002) ISBN-10: 0-262-01189-1
-
(2002)
Workflow Management: Models, Methods, and Systems
-
-
Van Der Aalst, W.1
Van Hee, K.2
-
25
-
-
25144499038
-
Workflow Resource Patterns: Identification, Representation and Tool Support
-
Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. Springer, Heidelberg ISBN 978-3-540-26095-0
-
Russell, N., ter Hofstede, A.H., Edmond, D., van der Aalst, W.M.: Workflow Resource Patterns: Identification, Representation and Tool Support. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 216-232. Springer, Heidelberg (2005) ISBN 978-3-540-26095-0
-
(2005)
LNCS
, vol.3520
, pp. 216-232
-
-
Russell, N.1
Ter Hofstede, A.H.2
Edmond, D.3
Van Der Aalst, W.M.4
-
26
-
-
33646165893
-
Workflow Data Patterns: Identification, Representation and Tool Support
-
Delcambre, L.M.L., Kop, C., Mayr, H.C., Mylopoulos, J., Pastor, Ó. (eds.) ER 2005. Springer, Heidelberg ISBN 978-3-540-29389-7
-
Russell, N., ter Hofstede, A.H., Edmond, D., van der Aalst, W.M.: Workflow Data Patterns: Identification, Representation and Tool Support. In: Delcambre, L.M.L., Kop, C., Mayr, H.C., Mylopoulos, J., Pastor, Ó. (eds.) ER 2005. LNCS, vol. 3716, pp. 353-368. Springer, Heidelberg (2005) ISBN 978-3-540-29389-7
-
(2005)
LNCS
, vol.3716
, pp. 353-368
-
-
Russell, N.1
Ter Hofstede, A.H.2
Edmond, D.3
Van Der Aalst, W.M.4
-
27
-
-
38149029739
-
Exception handling patterns in process-aware information systems
-
Russell, N., van der Aalst, W.M., ter Hofstede, A.H.: Exception handling patterns in process-aware information systems. In: BPM centerreport, BPM (2006)
-
(2006)
BPM Centerreport, BPM
-
-
Russell, N.1
Van Der Aalst, W.M.2
Ter Hofstede, A.H.3
-
28
-
-
33845207897
-
Realizing business processes with eca rules: Benefits, challenges, limits
-
Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. Springer, Heidelberg
-
Bry, F., Eckert, M., Pǎtrânjan, P.-L., Romanenko, I.: Realizing business processes with eca rules: Benefits, challenges, limits. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 48-62. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4187
, pp. 48-62
-
-
Bry, F.1
Eckert, M.2
Pǎtrânjan, P.-L.3
Romanenko, I.4
-
30
-
-
3142708789
-
Tools for design of composite web services
-
Weikum, G., König, A.C., Deßloch, S. (eds.) ACM, New York
-
Hull, R., Su, J.: Tools for design of composite web services. In: Weikum, G., König, A.C., Deßloch, S. (eds.) SIGMOD Conference, pp. 958-961. ACM, New York (2004)
-
(2004)
SIGMOD Conference
, pp. 958-961
-
-
Hull, R.1
Su, J.2
-
31
-
-
35048837282
-
Formal verification of BPEL4WS business collaborations
-
Bauknecht, K., Bichler, M., Pröll, B. (eds.) EC-Web 2004. Springer, Heidelberg
-
Fisteus, J.A., Fernández, L.S., Kloos, C.D.: Formal verification of BPEL4WS business collaborations. In: Bauknecht, K., Bichler, M., Pröll, B. (eds.) EC-Web 2004. LNCS, vol. 3182, pp. 76-85. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.3182
, pp. 76-85
-
-
Fisteus, J.A.1
Fernández, L.S.2
Kloos, C.D.3
-
32
-
-
33846221366
-
Representing and analysing composed web services using CRESS
-
Turner, K.J.: Representing and analysing composed web services using CRESS. J. Network and Computer Applications 30, 541-562 (2007)
-
(2007)
J. Network and Computer Applications
, vol.30
, pp. 541-562
-
-
Turner, K.J.1
-
33
-
-
35148852134
-
Large scale order processing through navigation plan concept
-
I.I.C (ed.)
-
Ferreira, J.E., Takai, O.K., Braghetto, K.R., Pu, C.: Large scale order processing through navigation plan concept. In: I.I.C (ed.) IEEE on Services Computing Conference, SCC 2006, Chicago, Illinois, USA, pp. 297-300 (2006)
-
(2006)
IEEE on Services Computing Conference, SCC 2006, Chicago, Illinois, USA
, pp. 297-300
-
-
Ferreira, J.E.1
Takai, O.K.2
Braghetto, K.R.3
Pu, C.4
-
34
-
-
78650113632
-
NPTool: Towards Scalability and Reliability of Business Process Management
-
van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. Springer, Heidelberg
-
Braghetto, K.R., Ferreira, J.E., Pu, C.: NPTool: Towards Scalability and Reliability of Business Process Management. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 99-112. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3649
, pp. 99-112
-
-
Braghetto, K.R.1
Ferreira, J.E.2
Pu, C.3
-
35
-
-
27144498657
-
ASM-based semantics for BPEL: The negative control flow
-
Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative control flow. In: Abstract State Machines, pp. 131-152 (2005)
-
(2005)
Abstract State Machines
, pp. 131-152
-
-
Fahland, D.1
Reisig, W.2
-
36
-
-
33744958417
-
WofBPEL: A tool for automated analysis of BPEL processes
-
Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. Springer, Heidelberg
-
Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: WofBPEL: A tool for automated analysis of BPEL processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 484-489. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3826
, pp. 484-489
-
-
Ouyang, C.1
Verbeek, E.2
Van Der Aalst, W.M.P.3
Breutel, S.4
Dumas, M.5
Ter Hofstede, A.H.M.6
|