Techniques for automatic verification of real-time systems
Techniques for automatic verification of real-time systems
Real-time logics: complexity and expressiveness
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Property specification patterns for finite-state verification
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Branching vs. Linear Time: Final Showdown
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Compliance checking between business processes and business contracts
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Planning and monitoring the execution of web service requests
International Journal on Digital Libraries - Special issue on Service-Oriented Computing
A static compliance-checking framework for business process models
IBM Systems Journal
A Calculus for Generation, Verification and Refinement of BPEL Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Regulations Expressed As Logical Models (REALM)
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
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
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Business process compliance through reusable units of compliant processes
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
Pattern based property specification and verification for service composition
WISE'06 Proceedings of the 7th international conference on Web Information Systems
Designing compliant business processes with obligations and permissions
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Monitoring business process compliance using compliance rule graphs
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Compliance in service-oriented architectures: A model-driven and view-based approach
Information and Software Technology
Business process regulatory compliance management solution frameworks: a comparative evaluation
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
| Hi-index | 0.00 |
Today's business environment demands a high rate of compliance of service-enabled business processes with which enterprises are required to cope. Thus, a comprehensive compliance management framework is required such that compliance management must crosscut all the stages of the complete business process lifecycle, starting from the very early stages of business process design. Formalizing compliance requirements based on a formal foundation of an expressive logical language enables the application of associated verification and analysis tools to ensure the compliance. In this paper, we have conducted a comparative analysis between three languages that can be used as the formal foundation of business process compliance requirements, focusing on designtime phase. Two main families of languages have been identified, which are: the temporal and deontic families of logic. In particular, we have considered LTL, CTL and FCL. The comparative analysis is based on the capabilities and limitations of each language and a set of required identified features.