An overview of transaction logic
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic for programming database transactions
Logics for databases and information systems
Distributed and Parallel Databases
Synthesizing Distributed Constrained Events from Transactional Workflow
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
Specifying and Enforcing Intertask Dependencies
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Semantical Considerations on Workflows: An Algebra for Intertask Dependencies
DBLP-5 Proceedings of the Fifth International Workshop on Database Programming Languages
CTR-S: a logic for specifying contracts in semantic web services
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Process Aware Information Systems: Bridging People and Software Through Process Technology
Process Aware Information Systems: Bridging People and Software Through Process Technology
Compliance checking between business processes and business contracts
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
YAWL: yet another workflow language
Information Systems
A logical framework for scheduling workflows under resource allocation constraints
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Querying and monitoring distributed business processes
Proceedings of the VLDB Endowment
Semantic Web Service Choreography: Contracting and Enactment
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Web services provision: solutions, challenges and opportunities (invited paper)
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
Future Internet Collaboration Workflow
Future Internet --- FIS 2008
Process Algebra-Based Query Workflows
CAiSE '09 Proceedings of the 21st International Conference on Advanced 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
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
An open platform for business process modeling and verification
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
Norm compliance in business process modeling
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Formalizing production systems with rule-based ontologies
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
On compliance checking for clausal constraints in annotated process models
Information Systems Frontiers
A Survey of Web Services Provision
International Journal of Systems and Service-Oriented Engineering
Non-Monotonic Modeling for Personalized Services Retrieval and Selection
International Journal of Systems and Service-Oriented Engineering
How to guarantee compliance between workflows and product lifecycles?
Information Systems
| Hi-index | 0.00 |
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based modeling of the behavior of Web services. In the context of Semantic Web services, the logic-based approach has many applications, including service discovery, service choreography, enactment, and contracting for services. In this paper we propose logic-based methods for reasoning about service behavior, including the aforementioned choreography, contracting, and enactment. The formalism underlying our framework is Concurrent Transaction Logic---a logic for declarative specification, analysis, and execution of database transactions. The new results include reasoning about service behavior under more general sets of constraints and extension of the framework towards conditional control and data flow---two crucial aspect that were missing in previous logical formalizations.