-
1
-
-
75649086163
-
Specification, Verification and Explanation of Violation for Data Aware Compliance Rules
-
Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. Springer, Heidelberg
-
Awad, A., Weidlich, M., Weske, M.: Specification, Verification and Explanation of Violation for Data Aware Compliance Rules. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 500-515. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5900
, pp. 500-515
-
-
Awad, A.1
Weidlich, M.2
Weske, M.3
-
2
-
-
0002848811
-
The specification and enforcement of authorization constraints in workflow management systems
-
Bertino, E., Ferrari, E., Atluri, V.: The specification and enforcement of authorization constraints in workflow management systems. ACM Trans. Inf. Syst. Secur. 2(1), 65-104 (1999)
-
(1999)
ACM Trans. Inf. Syst. Secur.
, vol.2
, Issue.1
, pp. 65-104
-
-
Bertino, E.1
Ferrari, E.2
Atluri, V.3
-
3
-
-
80455159345
-
Synchronization of Concurrent Workflows Using Interaction Expressions and Coordination Protocols
-
Meersman, R., Tari, Z. (eds.) CoopIS/- DOA/ODBASE 2002. Springer, Heidelberg
-
Heinlein, C.: Synchronization of Concurrent Workflows Using Interaction Expressions and Coordination Protocols. In: Meersman, R., Tari, Z. (eds.) CoopIS/- DOA/ODBASE 2002. LNCS, vol. 2519, pp. 54-71. Springer, Heidelberg (2002)
-
(2002)
LNCS
, vol.2519
, pp. 54-71
-
-
Heinlein, C.1
-
4
-
-
81255207799
-
Monitoring Business Process Compliance Using Compliance Rule Graphs
-
Meersman, R., Dillon, T., Herrero, P., Kumar, A., Reichert, M., Qing, L., Ooi, B.-C., Damiani, E., Schmidt, D.C., White, J., Hauswirth, M., Hitzler, P., Mohania, M. (eds.) OTM 2011, Part I. Springer, Heidelberg
-
Ly, L.T., Rinderle-Ma, S., Knuplesch, D., Dadam, P.: Monitoring Business Process Compliance Using Compliance Rule Graphs. In: Meersman, R., Dillon, T., Herrero, P., Kumar, A., Reichert, M., Qing, L., Ooi, B.-C., Damiani, E., Schmidt, D.C., White, J., Hauswirth, M., Hitzler, P., Mohania, M. (eds.) OTM 2011, Part I. LNCS, vol. 7044, pp. 82-99. Springer, Heidelberg (2011)
-
(2011)
LNCS
, vol.7044
, pp. 82-99
-
-
Ly, L.T.1
Rinderle-Ma, S.2
Knuplesch, D.3
Dadam, P.4
-
8
-
-
14544287677
-
Specification and validation of process constraints for flexible workflows
-
Sadiq, S., Orlowska, M., Sadiq, W.: Specification and validation of process constraints for flexible workflows. Inf. Syst. 30(5), 349-378 (2005)
-
(2005)
Inf. Syst.
, vol.30
, Issue.5
, pp. 349-378
-
-
Sadiq, S.1
Orlowska, M.2
Sadiq, W.3
-
9
-
-
0003479190
-
-
(Document no. WFMC-TC-1011. document Status-Issue 3.0). Tech. rep.,Workflow Management Coalition Specification February
-
Specification, W.M.C.: Workflow management coalition terminology & glossary (Document no. WFMC-TC-1011. document Status-Issue 3.0). Tech. rep.,Workflow Management Coalition Specification (February 1999)
-
(1999)
Workflow Management Coalition Terminology & Glossary
-
-
Specification, W.M.C.1
-
10
-
-
77950236499
-
Building a modular service oriented workflow engine
-
IEEE January
-
Stuermer, G., Mangler, J., Schikuta, E.: Building a modular service oriented workflow engine. In: IEEE Int'l Conf on Service-Oriented Computing and Applications, pp. 1-4. IEEE (January 2009)
-
(2009)
IEEE Int'l Conf on Service-Oriented Computing and Applications
, pp. 1-4
-
-
Stuermer, G.1
Mangler, J.2
Schikuta, E.3
-
11
-
-
33646698687
-
Process Mining and Verification of Properties: An Approach Based on Temporal Logic
-
Meersman, R. (ed.) OTM 2005. Springer, Heidelberg
-
van der Aalst, W.M.P., de Beer, H.T., van Dongen, B.F.: Process Mining and Verification of Properties: An Approach Based on Temporal Logic. In: Meersman, R. (ed.) OTM 2005. LNCS, vol. 3760, pp. 130-147. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3760
, pp. 130-147
-
-
Van Der Aalst, W.M.P.1
De Beer, H.T.2
Van Dongen, B.F.3
-
12
-
-
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(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
-
13
-
-
0348209180
-
W-RBAC - A workflow security model incorporating controlled overriding of constraints
-
Wainer, J., Barthelmess, P., Kumar, A.: W-RBAC - a workflow security model incorporating controlled overriding of constraints. International Journal of Collaborative Information Systems 12(4), 455-485 (2003)
-
(2003)
International Journal of Collaborative Information Systems
, vol.12
, Issue.4
, pp. 455-485
-
-
Wainer, J.1
Barthelmess, P.2
Kumar, A.3
|