-
1
-
-
0141940583
-
Business artifacts: An approach to operational specification
-
Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428-445 (2003)
-
(2003)
IBM Systems Journal
, vol.42
, Issue.3
, pp. 428-445
-
-
Nigam, A.1
Caswell, N.S.2
-
2
-
-
38049138975
-
Towards Formal Analysis of Artifact-Centric Business Process Models
-
Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. Springer, Heidelberg
-
Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards Formal Analysis of Artifact-Centric Business Process Models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 288-304. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4714
, pp. 288-304
-
-
Bhattacharya, K.1
Gerede, C.2
Hull, R.3
Liu, R.4
Su, J.5
-
3
-
-
78650166982
-
A Process View Framework for Artifact-Centric Business Processes
-
Meersman, R., Dillon, T.S., Herrero, P. (eds.) OTM 2010. Springer, Heidelberg
-
Yongchareon, S., Liu, C.: A Process View Framework for Artifact-Centric Business Processes. In: Meersman, R., Dillon, T.S., Herrero, P. (eds.) OTM 2010. LNCS, vol. 6426, pp. 26-43. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6426
, pp. 26-43
-
-
Yongchareon, S.1
Liu, C.2
-
5
-
-
0035131663
-
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
-
Lind-Nielsen, J., Andersen, H., Hulgaard, H., Behrmann, G., Kristoffersen, K., Larsen, K.: Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. Formal Methods in System Design 18(1), 5-23 (2001)
-
(2001)
Formal Methods in System Design
, vol.18
, Issue.1
, pp. 5-23
-
-
Lind-Nielsen, J.1
Andersen, H.2
Hulgaard, H.3
Behrmann, G.4
Kristoffersen, K.5
Larsen, K.6
-
6
-
-
38049165958
-
Generation of Business Process Models for Object Life Cycle Compliance
-
Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. Springer, Heidelberg
-
Küster, J.M., Ryndina, K., Gall, H.: Generation of Business Process Models for Object Life Cycle Compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 165-181. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4714
, pp. 165-181
-
-
Küster, J.M.1
Ryndina, K.2
Gall, H.3
-
7
-
-
78650779712
-
Artifact-Centric Choreographies
-
Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. Springer, Heidelberg
-
Lohmann, N., Wolf, K.: Artifact-Centric Choreographies. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 32-46. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6470
, pp. 32-46
-
-
Lohmann, N.1
Wolf, K.2
-
9
-
-
0038149024
-
Defining specialization for dataflow diagrams
-
Wyner, G.M., Lee, J.: Defining specialization for dataflow diagrams. Information Systems 28, 651-671 (2003)
-
(2003)
Information Systems
, vol.28
, pp. 651-671
-
-
Wyner, G.M.1
Lee, J.2
-
10
-
-
0037028431
-
Inheritance of workflows: An approach to tackling problems related to change
-
van der Aalst, W.M.P., Basten, T.: Inheritance of workflows: an approach to tackling problems related to change. Theoretical Computer Science 270, 125-203 (2002)
-
(2002)
Theoretical Computer Science
, vol.270
, pp. 125-203
-
-
Van Der Aalst, W.M.P.1
Basten, T.2
-
11
-
-
80054086938
-
An Artifact-Centric View-Based Approach to Modeling Inter-organizational Business Processes
-
Bouguettaya, A., Hauswirth, M., Liu, L. (eds.) WISE 2011. Springer, Heidelberg
-
Yongchareon, S., Liu, C., Zhao, X.: An Artifact-Centric View-Based Approach to Modeling Inter-organizational Business Processes. In: Bouguettaya, A., Hauswirth, M., Liu, L. (eds.) WISE 2011. LNCS, vol. 6997, pp. 273-281. Springer, Heidelberg (2011)
-
(2011)
LNCS
, vol.6997
, pp. 273-281
-
-
Yongchareon, S.1
Liu, C.2
Zhao, X.3
-
12
-
-
77649289639
-
Multipart Contrats: Agreeing and Implementing Interorganizational Processes
-
van der Aalst, W.M.P., Lohmann, N., Masuthe, P., Stahl, C., Wolf, K.: Multipart Contrats: Agreeing and Implementing Interorganizational Processes. The Computer Journal 53(1), 90-106
-
The Computer Journal
, vol.53
, Issue.1
, pp. 90-106
-
-
Van Der Aalst, W.M.P.1
Lohmann, N.2
Masuthe, P.3
Stahl, C.4
Wolf, K.5
-
13
-
-
80052799188
-
Compliance by Design for Artifact-Centric Business Processes
-
Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. Springer, Heidelberg
-
Lohmann, N.: Compliance by Design for Artifact-Centric Business Processes. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 99-115. Springer, Heidelberg (2011)
-
(2011)
LNCS
, vol.6896
, pp. 99-115
-
-
Lohmann, N.1
-
14
-
-
79957803658
-
Efficient Consistency Measurement Based on Behavioral Profiles of Process Models
-
Weidlich, M., Mendling, J., Weske, M.: Efficient Consistency Measurement Based on Behavioral Profiles of Process Models. IEEE Transactions on Software Engineering 37(3), 410-429 (2011)
-
(2011)
IEEE Transactions on Software Engineering
, vol.37
, Issue.3
, pp. 410-429
-
-
Weidlich, M.1
Mendling, J.2
Weske, M.3
-
15
-
-
78049306551
-
Deciding Behaviour Compatibility of Complex Correspondences between Process Models
-
Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. Springer, Heidelberg
-
Weidlich, M., Dijkman, R., Weske, M.: Deciding Behaviour Compatibility of Complex Correspondences between Process Models. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 78-94. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6336
, pp. 78-94
-
-
Weidlich, M.1
Dijkman, R.2
Weske, M.3
-
16
-
-
80052796307
-
Conformance Checking of Interacting Processes with Overlapping Instances
-
Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. Springer, Heidelberg
-
Fahland, D., de Leoni, M., van Dongen, B.F., van der Aalst, W.M.P.: Conformance Checking of Interacting Processes with Overlapping Instances. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 345-361. Springer, Heidelberg (2011)
-
(2011)
LNCS
, vol.6896
, pp. 345-361
-
-
Fahland, D.1
De Leoni, M.2
Van Dongen, B.F.3
Van Der Aalst, W.M.P.4
-
17
-
-
45849109182
-
On the Duality of Information-Centric and Activity-Centric Models of Business Processes
-
Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. Springer, Heidelberg
-
Kumaran, S., Liu, R., Wu, F.Y.: On the Duality of Information-Centric and Activity-Centric Models of Business Processes. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 32-47. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5074
, pp. 32-47
-
-
Kumaran, S.1
Liu, R.2
Wu, F.Y.3
-
18
-
-
79951579370
-
APROMORE: An advanced process model repository
-
Rosa, M.L., Reijers, H.A., van der Aalst, W.M.P., Dijkman, R.M., Mendling, J.: APROMORE: An advanced process model repository. Expert Systems with Applications 38, 7029-7040 (2011)
-
(2011)
Expert Systems with Applications
, vol.38
, pp. 7029-7040
-
-
Rosa, M.L.1
Reijers, H.A.2
Van Der Aalst, W.M.P.3
Dijkman, R.M.4
Mendling, J.5
-
19
-
-
85099426094
-
Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges
-
Meersman, R., Tari, Z. (eds.) OTM 2008, Part II. Springer, Heidelberg
-
Hull, R.: Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part II. LNCS, vol. 5332, pp. 1152-1163. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5332
, pp. 1152-1163
-
-
Hull, R.1
-
20
-
-
45849109580
-
A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures
-
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 Structures. 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
-
-
75649120369
-
Artifact-Centric Workflow Dominance
-
Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. Springer, Heidelberg
-
Calvanese, D., De Giacomo, G., Hull, R., Su, J.: Artifact-Centric Workflow Dominance. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 130-143. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5900
, pp. 130-143
-
-
Calvanese, D.1
De Giacomo, G.2
Hull, R.3
Su, J.4
|