-
1
-
-
84870655871
-
A study of compliance management in information systems research
-
Verona, Italy
-
Abdullah, N. S., Indulska, M. and Sadiq, S. (2009). A study of compliance management in information systems research, ECIS'09, Verona, Italy, pp. 1-10.
-
(2009)
ECIS'09
, pp. 1-10
-
-
Abdullah, N.S.1
Indulska, M.2
Sadiq, S.3
-
5
-
-
0031649229
-
Property specification patterns for finite-state verification
-
USA
-
Dwyer, M., Avrunin, G. and Corbett, J. (1998). Property Specification Patterns for Finite-State Verification, 2nd International workshop on Formal Methods on Software Practice, USA, pp. 7-15.
-
(1998)
2nd International Workshop on Formal Methods on Software Practice
, pp. 7-15
-
-
Dwyer, M.1
Avrunin, G.2
Corbett, J.3
-
6
-
-
78650764843
-
Root-cause analysis of design-time compliance violations on the basis of property
-
San Francisco
-
Elgammal, A., Turetken, O., van den Heuvel, W. and Papazoglou, M. (2010). Root-Cause Analysis of Design-time Compliance Violations on the basis of Property, ICSOC'10, San Francisco, pp. 17-31.
-
(2010)
ICSOC'10
, pp. 17-31
-
-
Elgammal, A.1
Turetken, O.2
Van Den Heuvel, W.3
Papazoglou, M.4
-
9
-
-
7644241849
-
Multi-perspective enterprise modeling: Conceptual framework and modeling languages
-
Honululu, HI
-
Frank, U. (2002). Multi-perspective enterprise modeling: Conceptual framework and modeling languages, The Annual Hawaii Int. Conference on System Sciences (HICSS), Honululu, HI, pp. 72-82.
-
(2002)
The Annual Hawaii Int. Conference on System Sciences (HICSS)
, pp. 72-82
-
-
Frank, U.1
-
10
-
-
38349004887
-
Auditing business process compliance
-
Springer Berlin / Heidelberg
-
Ghose, A. and Koliadis, G. (2007). Auditing Business Process Compliance, In Service-Oriented Computing - ICSOC07, Vol. 4749, Springer Berlin / Heidelberg, pp. 169-180.
-
(2007)
Service-Oriented Computing - ICSOC07
, vol.4749
, pp. 169-180
-
-
Ghose, A.1
Koliadis, G.2
-
11
-
-
38749096258
-
Compliance checking between business processes and business contracts
-
Hong Kong
-
Governatori, G., Milosevic, Z. and Sadiq, S. (2006). Compliance Checking Between Business Processes and Business Contracts, EDOC'06, Hong Kong pp. 221-232.
-
(2006)
EDOC'06
, pp. 221-232
-
-
Governatori, G.1
Milosevic, Z.2
Sadiq, S.3
-
13
-
-
0242652022
-
Design science in information systems research
-
Hevner, A., March, S., Park, J. and Ram, S. (2004). Design Science in Information Systems Research, MIS Quarterly, 28 (1), pp. 75-105.
-
(2004)
MIS Quarterly
, vol.28
, Issue.1
, pp. 75-105
-
-
Hevner, A.1
March, S.2
Park, J.3
Ram, S.4
-
17
-
-
80052391711
-
Bringing agility to business process management: Rules deployment in an SOA
-
Birkhäuser Basel
-
Kharbili, M. and Keil, T. (2010). Bringing Agility to Business Process Management: Rules Deployment in an SOA, In Emerging Web Services Technology, Vol. III, Birkhäuser Basel, pp. 157-170.
-
(2010)
Emerging Web Services Technology
, vol.3
, pp. 157-170
-
-
Kharbili, M.1
Keil, T.2
-
18
-
-
79960293221
-
Service compliance: Towards electronic compliance programs
-
University of Wollongong
-
Koliadis, G. and Ghose, A. K. (2008). Service Compliance: Towards Electronic Compliance Programs, Tech. Rep. TR2008-01, Decision Systems Lab, University of Wollongong.
-
(2008)
Tech. Rep. TR2008-01, Decision Systems Lab
-
-
Koliadis, G.1
Ghose, A.K.2
-
19
-
-
34247861351
-
A static compliance-checking framework for business process models
-
Liu, Y., Muller, S. and Xu, K. (2007). A Static Compliance-Checking Framework for Business Process Models, IBM Systems Journal, 46.
-
(2007)
IBM Systems Journal
, vol.46
-
-
Liu, Y.1
Muller, S.2
Xu, K.3
-
20
-
-
78449262411
-
On enabling integrated process compliance with semantic constraints in process management systems
-
Ly, L., Rinderle-Ma, S., Göser, K. and Dadam, P. (2009). On enabling integrated process compliance with semantic constraints in process management systems, Information Systems Frontiers, 1-25.
-
(2009)
Information Systems Frontiers
, pp. 1-25
-
-
Ly, L.1
Rinderle-Ma, S.2
Göser, K.3
Dadam, P.4
-
21
-
-
38349008347
-
Pattern-based design and validation of business process compliance
-
Namiri, K. and Stojanovic, N. (2007). Pattern-based Design and Validation of Business Process Compliance, In Lecture Notes in Computer Science, Vol. 4803, pp. 59-76.
-
(2007)
Lecture Notes in Computer Science
, vol.4803
, pp. 59-76
-
-
Namiri, K.1
Stojanovic, N.2
-
25
-
-
34848858241
-
Business process development life cycle methodology
-
Papazoglou, M. P. and Heuvel, W.-J. v. d. (2007). Business process development life cycle methodology, Commun. ACM, 50 (10), pp. 79-85.
-
(2007)
Commun. ACM
, vol.50
, Issue.10
, pp. 79-85
-
-
Papazoglou, M.P.1
Heuvel, W.-J.V.D.2
-
27
-
-
38049150939
-
-
Brisbane, Australia
-
Sadiq, S., Governatori, G. and Namiri, K. (2007). Modeling Control Objectives for Business Process Compliance, Business Process Management, Brisbane, Australia, pp. 149-164.
-
(2007)
Modeling Control Objectives for Business Process Compliance, Business Process Management
, pp. 149-164
-
-
Sadiq, S.1
Governatori, G.2
Namiri, K.3
-
30
-
-
80054044473
-
RiskM: A multi-perspective modeling method for IT risk assessment
-
DOI: 10.1007/s10796-010-9235-3
-
Strecker, S., Heise, D. and Frank, U. (2010). RiskM: A multi-perspective modeling method for IT risk assessment, Information Systems Frontiers, 1-17, DOI: 10.1007/s10796-010-9235-3.
-
(2010)
Information Systems Frontiers
, pp. 1-17
-
-
Strecker, S.1
Heise, D.2
Frank, U.3
-
31
-
-
33646698687
-
Process mining and verification of properties: An approach based on temporal logic
-
Cyprus
-
van der Aalst, W. M. P., Beer, H. and van Dongen, B. F. (2005). Process Mining and Verification of Properties: An Approach based on Temporal Logic, International Conference on Cooperative Information Systems (CoopIS'05), Cyprus, pp. 130-147.
-
(2005)
International Conference on Cooperative Information Systems (CoopIS'05)
, pp. 130-147
-
-
Van Der Aalst, W.M.P.1
Beer, H.2
Van Dongen, B.F.3
-
32
-
-
33845255047
-
Pattern based property specification and verification for service composition
-
China
-
Yu, J., Manh, T., Han, J. and Jin, Y. (2006). Pattern Based Property Specification and Verification for Service Composition, Web Information Systems Engineering (WISE06), China, pp. 156-168.
-
(2006)
Web Information Systems Engineering (WISE06)
, pp. 156-168
-
-
Yu, J.1
Manh, T.2
Han, J.3
Jin, Y.4
-
33
-
-
84869116782
-
Integrating risks in business process models
-
29 Nov - 2 Dec 2005, Sydney, Australia
-
Zur Muehlen, M. and Rosemann, M. (2005). Integrating Risks in Business Process Models, Australasian Conf. on Information Systems (ACIS 2005), 29 Nov - 2 Dec 2005, Sydney, Australia, pp. 62-72.
-
(2005)
Australasian Conf. on Information Systems (ACIS 2005)
, pp. 62-72
-
-
Zur Muehlen, M.1
Rosemann, M.2
|