Property specification patterns for finite-state verification
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
Events in Linear-Time Properties
RE '99 Proceedings of the 4th IEEE International Symposium on Requirements Engineering
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Specification Patterns for Time-Related Properties
TIME '05 Proceedings of the 12th International Symposium on Temporal Representation and Reasoning
Consistency and Interoperability Checking for Component Interaction Rules
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Pattern-Based specification and validation of web services interaction properties
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Specification patterns for probabilistic quality properties
Proceedings of the 30th international conference on Software engineering
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Property Patterns for Runtime Monitoring of Web Service Conversations
Runtime Verification
Synthesizing service composition models on the basis of temporal business rules
Journal of Computer Science and Technology
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
Towards dynamic matching of business-level protocols in adaptive service compositions
BPM'07 Proceedings of the 2007 international conference on Business process management
Authoring and verification of clinical guidelines: A model driven approach
Journal of Biomedical Informatics
Business process compliance through reusable units of compliant processes
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
On enabling data-aware compliance checking of business process models
ER'10 Proceedings of the 29th international conference on Conceptual modeling
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Monitoring and recovery of web service applications
The smart internet
Monitoring and recovery of web service applications
The smart internet
On the formal specification of regulatory compliance: a comparative analysis
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
PSPWizard: machine-assisted definition of temporal logical properties with specification patterns
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
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
Specification patterns from research to industry: a case study in service-based applications
Proceedings of the 34th International Conference on Software Engineering
Specification and monitoring of data-centric temporal properties for service-based systems
Journal of Systems and Software
Leveraging formal verification tools for DSML users: a process modeling case study
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Business process regulatory compliance management solution frameworks: a comparative evaluation
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
A business protocol unit testing framework for web service composition
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Hi-index | 0.00 |
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements for the application. A rigorous compliance checking approach usually needs the requirements being specified in property specification formalisms such as temporal logics, which are difficult for ordinary software practitioners to comprehend. In this paper, we propose a property pattern based specification language, named PROPOLS, and use it to verify BPEL service composition schemas. PROPOLS is easy to understand and use, yet is formally based. It builds on Dwyer et al.'s property pattern system and extends it with the logical composition of patterns to accommodate the specification of complex requirements. PROPOLS is encoded in an ontology language, OWL, to facilitate the sharing and reuse of domain knowledge. A Finite State Automata based framework for verifying BPEL schemas against PROPOLS properties is also discussed.