Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Specification and validation of process constraints for flexible workflows
Information Systems
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
Process modelling: the deontic way
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Compliance checking between business processes and business contracts
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
OMNI: introducing social structure, norms and ontologies into agent organizations
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Designing compliant business processes with obligations and permissions
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Task-based entailment constraints for basic workflow patterns
Proceedings of the 13th ACM symposium on Access control models and technologies
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Measurement of Compliance Distance in Business Processes
Information Systems Management
Computational Logic in Multi-Agent Systems
A Rule-Based Framework Using Role Patterns for Business Process Compliance
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Model-driven business process security requirement specification
Journal of Systems Architecture: the EUROMICRO Journal
Model-based reasoning on the achievement of business goals
Proceedings of the 2009 ACM symposium on Applied Computing
Verification of Business Process Entailment Constraints Using SPIN
ESSoS '09 Proceedings of the 1st International Symposium on Engineering Secure Software and Systems
An Algorithm for Business Process Compliance
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Aligning Risk Management and Compliance Considerations with Business Process Development
EC-Web 2009 Proceedings of the 10th International Conference on E-Commerce and Web Technologies
Rule-based versus Principle-based Regulatory Compliance
Proceedings of the 2009 conference on Legal Knowledge and Information Systems: JURIX 2009: The Twenty-Second Annual Conference
Resolution of Compliance Violation in Business Process Models: A Planning-Based Approach
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Maintaining Compliance in Customizable Process Models
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Specification, Verification and Explanation of Violation for Data Aware Compliance Rules
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Satisfaction of Control Objectives by Control Processes
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Modelling and reasoning languages for social networks policies
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Pattern-based design and validation of business process compliance
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Compliance aware business process design
BPM'07 Proceedings of the 2007 international conference on Business process management
Indra: an integrated quantitative system for compliance management for IT service delivery
IBM Journal of Research and Development
A conceptually rich model of business process compliance
APCCM '10 Proceedings of the Seventh Asia-Pacific Conference on Conceptual Modelling - Volume 110
Value-based argumentation for justifying compliance
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Design and verification of instantiable compliance rule graphs in process-aware information systems
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Emerging challenges in information systems research for regulatory compliance management
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Towards an architecture for self-regulating agents: a case study in international trade
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Conceptual model for online auditing
Decision Support Systems
On the design of compliance governance dashboards for effective compliance and audit management
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Business process compliance through reusable units of compliant processes
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
Norm compliance in business process modeling
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
On enabling data-aware compliance checking of business process models
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Process discovery in event logs: An application in the telecom industry
Applied Soft Computing
Monitoring unmanaged business processes
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Compliant business process design using refinement layers
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Continuous monitoring in evolving business networks
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
On the formal specification of regulatory compliance: a comparative analysis
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
On the relationship between Carneades and Defeasible Logic
Proceedings of the 13th International Conference on Artificial Intelligence and Law
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
Compliance by design for artifact-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
RiskM: A multi-perspective modeling method for IT risk assessment
Information Systems Frontiers
Measures and mechanisms for process monitoring in evolving business networks
Data & Knowledge Engineering
Event condition expectation (ECE-) rules for monitoring observable systems
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Designing for compliance: norms and goals
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Compliance in service-oriented architectures: A model-driven and view-based approach
Information and Software Technology
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
On compliance checking for clausal constraints in annotated process models
Information Systems Frontiers
Value-based argumentation for justifying compliance
Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems
A compliance management ontology: developing shared understanding through models
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Patterns to enable mass-customized business process monitoring
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Business process data compliance
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Context-Aware compliance checking
BPM'12 Proceedings of the 10th international conference on Business Process Management
Where did i misbehave? diagnostic information in compliance checking
BPM'12 Proceedings of the 10th international conference on Business Process Management
Compliance by design for artifact-centric business processes
Information Systems
Domain-specific language for event-based compliance monitoring in process-driven SOAs
Service Oriented Computing and Applications
Flexible Process Compliance with Semantic Constraints Using Mixed-Integer Programming
INFORMS Journal on Computing
Regorous: a business process compliance checker
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
On enabling compliance of cross-organizational business processes
BPM'13 Proceedings of the 11th international conference on Business Process Management
Service Oriented Computing and Applications
Information and Software Technology
How to guarantee compliance between workflows and product lifecycles?
Information Systems
Hi-index | 0.00 |
Business process design is primarily driven by process improvementobjectives. However, the role of control objectives stemming from regulationsand standards is becoming increasingly important for businesses in light ofrecent events that led to some of the largest scandals in corporate history. Asorganizations strive to meet compliance agendas, there is an evident need toprovide systematic approaches that assist in the understanding of the interplaybetween (often conflicting) business and control objectives during businessprocess design. In this paper, our objective is twofold. We will firstly present aresearch agenda in the space of business process compliance, identifying majortechnical and organizational challenges. We then tackle a part of the overallproblem space, which deals with the effective modeling of control objectivesand subsequently their propagation onto business process models. Controlobjective modeling is proposed through a specialized modal logic based onnormative systems theory, and the visualization of control objectives onbusiness process models is achieved procedurally. The proposed approach isdemonstrated in the context of a purchase-to-pay scenario.