Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Time and norms: a formalisation in the event-calculus
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
The Role of B2B Protocols in Inter-Enterprise Process Execution
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
Verification Tools for Finite-State Concurrent Systems
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Multivariate statistical techniques for parallel performance prediction
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Annals of Mathematics and Artificial Intelligence
Towards design tools for protocol development
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
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
A Rule-Based Modeling for the Description of Flexible and Self-healing Business Processes
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
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
Process Materialization Using Templates and Rules to Design Flexible Process Models
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
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
Declarative process modeling with business vocabulary and business rules
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
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
A phased deployment of a workflow infrastructure in the enterprise architecture
BPM'07 Proceedings of the 2007 international conference on Business process management
A vocabulary and execution model for declarative service orchestration
BPM'07 Proceedings of the 2007 international conference on Business process management
A conceptually rich model of business process compliance
APCCM '10 Proceedings of the Seventh Asia-Pacific Conference on Conceptual Modelling - Volume 110
Norm compliance in business process modeling
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Semantics of business process vocabulary and process rules
Proceedings of the 4th India Software Engineering Conference
On the formal specification of regulatory compliance: a comparative analysis
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
An iterative approach for business process template synthesis from compliance rules
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
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
A transformation from SBVR business rules into event coordinated rules by means of SBVR patterns
ServiceWave'10 Proceedings of the 2010 international conference on Towards a service-based internet
Design and management of flexible process variants using templates and rules
Computers in Industry
Business process data compliance
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Compliance by design for artifact-centric business processes
Information Systems
Business process regulatory compliance management solution frameworks: a comparative evaluation
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
Service Oriented Computing and Applications
How to guarantee compliance between workflows and product lifecycles?
Information Systems
| Hi-index | 0.00 |
The sequence and timing constraints on the activities in business processes are an important aspect of business process compliance. To date, these constraints are most often implicitly transcribed into control-flow-based process models. This implicit representation of constraints, however, complicates the verification, validation and reuse in business process design. In this paper, we investigate the use of temporal deontic assignments on activities as a means to declaratively capture the control-flow semantics that reside in business regulations and business policies. In particular, we introduce PENELOPE, a language to express temporal rules about the obligations and permissions in a business interaction, and an algorithm to generate compliant sequence-flow-based process models that can be used in business process design.