Reasoning about the behavior of Semantic Web services with concurrent transaction logic
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Checking correctness of business contracts via commitments
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Auditing Business Process Compliance
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
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
Expressing and Verifying Business Contracts with Abductive Logic Programming
International Journal of Electronic Commerce
Supporting the Diversity of B2B E-Contracting Processes
International Journal of Electronic Commerce
Contract E-Negotiation in Agricultural Supply Chains
International Journal of Electronic Commerce
Semantic Web Service Choreography: Contracting and Enactment
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Checking assignments of controls to risks for internal control
Proceedings of the 2nd international conference on Theory and practice of electronic governance
Web services provision: solutions, challenges and opportunities (invited paper)
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
Runtime monitoring of web service choreographies using streaming XML
Proceedings of the 2009 ACM symposium on Applied Computing
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
An Algorithm for Business Process Compliance
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Effect of Using Automated Auditing Tools on Detecting Compliance Failures in Unmanaged Processes
BPM '09 Proceedings of the 7th International Conference on Business Process Management
How Do Agents Comply with Norms?
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
A method of calculating the cost of reducing the risk exposure of non-compliant process instances
Proceedings of the first ACM workshop on Information security governance
Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
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
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
Modelling and reasoning languages for social networks policies
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Using control patterns in business processes compliance
WISE'07 Proceedings of the 2007 international conference on Web information systems engineering
WSMO choreography: from abstract state machines to concurrent transaction logic
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Generation of business process models for object life cycle compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Compliance aware business process design
BPM'07 Proceedings of the 2007 international conference on Business process management
Liability in software engineering: overview of the LISE approach and illustration on a case study
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Indra: an integrated quantitative system for compliance management for IT service delivery
IBM Journal of Research and Development
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties
Communications of the ACM
Transformation of SBVR compliant business rules to executable FCL rules
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
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
Monitoring business constraints with linear temporal logic: an approach based on colored automata
BPM'11 Proceedings of the 9th international conference on Business process management
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Acting on norm constrained plans
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Content-based validation of business process modifications
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Designing for compliance: norms and goals
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
LegalRuleML: XML-based rules and norms
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Formal methods as a link between software code and legal rules
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
A first step towards security policy compliance of connectors
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Computing logical form on regulatory texts
EMNLP '11 Proceedings of the Conference on Empirical Methods in Natural Language Processing
Compliance in service-oriented architectures: A model-driven and view-based approach
Information and Software Technology
Achieving life-cycle compliance of service-oriented architectures: open issues and challenges
DPM'09/SETOP'09 Proceedings of the 4th international workshop, and Second international conference on Data Privacy Management and Autonomous Spontaneous Security
Goal-Driven business process derivation
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
An operational decision support framework for monitoring business constraints
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Replaying history on process models for conformance checking and performance analysis
Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery
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
Managing license compliance in free and open source software development
Information Systems Frontiers
Aligning event logs and declarative process models for conformance checking
BPM'12 Proceedings of the 10th international conference on Business Process Management
A Survey of Web Services Provision
International Journal of Systems and Service-Oriented Engineering
Regorous: a business process compliance checker
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Business process regulatory compliance management solution frameworks: a comparative evaluation
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
On enabling compliance of cross-organizational business processes
BPM'13 Proceedings of the 11th international conference on Business Process Management
Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems
| Hi-index | 0.02 |
It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines and tools that facilitate derivation of processes from contracts but also because of the traditional mindset of treating contracts separately from business processes. This paper provides a solution to one specific problem that arises from this situation, namely the lack of mechanisms to check whether business processes are compliant with business contracts. The central part of the paper are logic based formalism for describing both the semantics of contract and the semantics of compliance checking procedures.