{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T18:10:05Z","timestamp":1745950205507,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34321-6_30","type":"book-chapter","created":{"date-parts":[[2013,1,18]],"date-time":"2013-01-18T17:06:55Z","timestamp":1358528815000},"page":"450-467","source":"Crossref","is-referenced-by-count":3,"title":["Semantic Service Composition Framework for Multidomain Ubiquitous Computing Applications"],"prefix":"10.1007","author":[{"given":"Mohamed","family":"Hilila","sequence":"first","affiliation":[]},{"given":"Abdelghani","family":"Chibani","sequence":"additional","affiliation":[]},{"given":"Karim","family":"Djouani","sequence":"additional","affiliation":[]},{"given":"Yacine","family":"Amirat","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"Ayed, S., Boulahia, N.C., Cuppens, F.: Deploying access control in distributed workflow. In: Proceedings of the Sixth Australasian Conference on Information Security, AISC 2008, vol. 81, pp. 9\u201317 (2008)"},{"key":"30_CR2","unstructured":"Baader, F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)"},{"key":"30_CR3","unstructured":"Bozzato, L.: Kripke Semantics and Tableau Procedures for Constructive Description Logics. PhD thesis, Universit\u00e0 Degli Studi Dell\u2019inubria (2009)"},{"key":"30_CR4","unstructured":"Bozzato, L., Ferrari, M.: A note on semantic web services specification and composition in constructive description logics. Journal of Syntax and Semantics (2010)"},{"issue":"4","key":"30_CR5","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/s10817-009-9160-7","volume":"44","author":"M. Ferrari","year":"2010","unstructured":"Ferrari, M., Fiorentini, C., Fiorino, G.: BCDL: Basic constructive description logic. Journal of Automated Reasoning\u00a044(4), 371\u2013399 (2010)","journal-title":"Journal of Automated Reasoning"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Hafner, M., Breur, M., Breu, R., Nowak, A.: Modelling inter-organizational workflow security in a peer-to-peer environment. In: IEEE International Conference on Web Services, pp. 533\u2013540 (2005)","DOI":"10.1109\/ICWS.2005.83"},{"key":"30_CR7","unstructured":"Hilia, M.: Methodology steps (2012), https:\/\/dl.dropbox.com\/u\/12278812\/icsoc\/appendix\/scenario_proof.pdf (accessed July 30, 2012)"},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"Hilia, M., Chibani, A., Amirat, Y., Djouani, K.: Cross-organizational cooperation framework for security management in ubiquitous computing environment. In: Proceedings of the 23rd International Conference on Tools with Artificial Intelligence, pp. 464\u2013471 (2011)","DOI":"10.1109\/ICTAI.2011.76"},{"key":"30_CR9","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1109\/APSCC.2008.171","volume-title":"Asia-Pacific Services Computing Conference","author":"D. Lin","year":"2008","unstructured":"Lin, D., Ishida, T.: Interorganizational workflow collaboration based on local process views. In: Asia-Pacific Services Computing Conference, pp. 789\u2013794. IEEE Computer Society, Los Alamitos (2008)"},{"issue":"3","key":"30_CR10","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/s11280-007-0033-x","volume":"10","author":"D. Martin","year":"2007","unstructured":"Martin, D., Burstein, M., Mcdermott, D., Mcilraith, S., Paolucci, M., Sycara, K., Mcguinness, D., Sirin, E., Srinivasan, N.: Bringing semantics to web services with owl-s. Journal of World Wide Web Internet and Web Information Systems\u00a010(3), 243\u2013277 (2007)","journal-title":"Journal of World Wide Web Internet and Web Information Systems"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"Papapanagiotou, P., Fleuriot, J.: A theorem proving framework for the formal verification of web services composition. In: Proceedings of the 7th International Workshop on Automated Specification and Verification of Web Systems, pp. 1\u201316 (2011)","DOI":"10.4204\/EPTCS.61.1"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Rao, J., K\u00fcngas, P.: Logic-based web services composition: From service description to process model. In: Proceedings of the International Conference on Web Services (ICWS), pp. 446\u2013453 (2004)","DOI":"10.1109\/ICWS.2004.1314769"},{"key":"30_CR13","unstructured":"Reul, Q., Zhao, G., Meersman, R.: Ontology-based access control policy interoperability. In: Proc. 1st Conference on Mobility, Individualisation, Socialisation and Connectivity, MISC (2010)"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"Roman, D., Toma, I.: A CTR-based approach to service composition patterns. In: Third International Conference on Next Generation Web Services Practices, NWeSP, pp. 13\u201318 (October 2007)","DOI":"10.1109\/NWESP.2007.13"},{"key":"30_CR15","unstructured":"Russell, N., Ter Hofstede, A., Mulyar, N.: Workflow controlflow patterns: A revised view (2006)"},{"key":"30_CR16","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/TSC.2009.1","volume":"2","author":"Q. Sheng","year":"2009","unstructured":"Sheng, Q., Benatallah, B., Maamar, Z., Ngu, A.: Configurable composition and adaptive provisioning of web services. Journal of IEEE Transactions on Services Computing\u00a02, 34\u201349 (2009)","journal-title":"Journal of IEEE Transactions on Services Computing"},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"Stavropoulos, T., Vrakas, D., Vlahavas, I.: A survey of service composition in ambient intelligence environments. Journal of Artificial Intelligence Review, 1\u201324 (2011)","DOI":"10.1007\/s10462-011-9283-1"},{"key":"30_CR18","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1016\/S0049-237X(08)71127-3","volume":"90","author":"A. Troelstra","year":"1977","unstructured":"Troelstra, A.: Aspects of constructive mathematics. Journal of Studies in Logic and the Foundations of Mathematics\u00a090, 973\u20131052 (1977)","journal-title":"Journal of Studies in Logic and the Foundations of Mathematics"},{"key":"30_CR19","doi-asserted-by":"crossref","unstructured":"Urbieta, A., Barrutieta, G., Parra, J., Uribarren, A.: A survey of dynamic service composition approaches for ambient systems. In: Proceedings of the First International Conference on Ambient Media and Systems, pp. 1\u20138 (2008)","DOI":"10.4108\/ICST.AMBISYS2008.2842"},{"issue":"3","key":"30_CR20","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/S0167-9236(02)00015-5","volume":"33","author":"H. Weigand","year":"2002","unstructured":"Weigand, H., van den Heuvel, W.J.: Cross-organizational workflow integration using contracts. Decision Support Systems\u00a033(3), 247\u2013265 (2002)","journal-title":"Decision Support Systems"},{"key":"30_CR21","doi-asserted-by":"crossref","unstructured":"Zhou, C., Tien Chia, L., Sung Lee, B.: DAML-QOS ontology for web services. In: Proceedings of the IEEE International Conference on Web Services, ICWS 2004, pp. 472\u2013479 (2004)","DOI":"10.1109\/ICWS.2004.1314772"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34321-6_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T17:38:49Z","timestamp":1745948329000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34321-6_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642173578","9783642173585"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34321-6_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}