Cross-organizational workflow integration using contracts
Decision Support Systems - Special issue: Formal modeling and electronic commerce
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Logic-based Web Services Composition: From Service Description to Process Model
ICWS '04 Proceedings of the IEEE International Conference on Web Services
DAML-QoS Ontology for Web Services
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Modelling Inter-organizational Workflow Security in a Peer-to-Peer Environment
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Bringing Semantics to Web Services with OWL-S
World Wide Web
A CTR-based Approach to Service Composition Patterns
NWESP '07 Proceedings of the Third International Conference on Next Generation Web Services Practices
Deploying access control in distributed workflow
AISC '08 Proceedings of the sixth Australasian conference on Information security - Volume 81
A survey of dynamic service composition approaches for ambient systems
Proceedings of the 2008 Ambi-Sys workshop on Software Organisation and MonIToring of Ambient Systems
Interorganizational Workflow Collaboration Based on Local Process Views
APSCC '08 Proceedings of the 2008 IEEE Asia-Pacific Services Computing Conference
Configurable Composition and Adaptive Provisioning of Web Services
IEEE Transactions on Services Computing
$\boldsymbol {\cal BC\!D\!L}$: Basic Constructive Description Logic
Journal of Automated Reasoning
ICTAI '11 Proceedings of the 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence
Hi-index | 0.00 |
In this paper we propose a semantic framework based on constructive description logic. The main innovative aspect of our work consists in the formalization of a composition in the form of e-contract semantic statements where the semantic and logic correctness/soundness are formally checked. The e-contract model is based on cooperation ontology and includes control rules. This model improves on the one hand the common understanding between heterogeneous domains, and on the other hand, it ensures an efficient control of each service from remote requester and preserves the confidentiality of the know-how and the privacy of the local domains. In the conclusion of this paper we present a health care scenario that demonstrates the feasibility of our framework and the demonstration statements of the e-contract in $\mathcal{BCDL}_0$.