{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:14:19Z","timestamp":1740147259271,"version":"3.37.3"},"reference-count":56,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,10,5]],"date-time":"2013-10-05T00:00:00Z","timestamp":1380931200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s11761-013-0145-3","type":"journal-article","created":{"date-parts":[[2013,10,4]],"date-time":"2013-10-04T06:39:02Z","timestamp":1380868742000},"page":"87-106","source":"Crossref","is-referenced-by-count":3,"title":["An extended ontology-based context model and manipulation calculus for dynamic Web service processes"],"prefix":"10.1007","volume":"9","author":[{"given":"Kosala Yapa","family":"Bandara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MingXue","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claus","family":"Pahl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,10,5]]},"reference":[{"key":"145_CR1","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis A, Laprie J, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. J IEEE Trans Dependable Secur Comput 1:11\u201333","journal-title":"J IEEE Trans Dependable Secur Comput"},{"key":"145_CR2","volume-title":"The description logic handbook - theory, implementation and applications","author":"F Baader","year":"2003","unstructured":"Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P (2003) The description logic handbook - theory, implementation and applications. Cambridge University Press, Cambridge"},{"key":"145_CR3","doi-asserted-by":"crossref","unstructured":"Bandara KY, Wang MX, Pahl C (2009) Context modelling and constraints binding in web service business processes. In: Proceedings of the workshop on context-aware software technology and applications-CASTA. ESEC\/FSE, ACM Press","DOI":"10.1145\/1595768.1595780"},{"key":"145_CR4","unstructured":"Bandara KY, Wang MX, Pahl C (2009) Dynamic integration of context model constraints in web service processes. In: International conference on software engineering"},{"key":"145_CR5","unstructured":"Bandara KY (2012) Ontology-based contextualization and context constraints management in web service processes. PhD Thesis. Dublin City University"},{"key":"145_CR6","unstructured":"Baresi L, Ghezzi C. Guinea S (2004) Towards self-healing service compositions. In: Proceedings of the 1st conference on the principles of software engineering"},{"key":"145_CR7","doi-asserted-by":"crossref","unstructured":"Baresi L, Guinea S (2005) Towards dynamic monitoring of WS-BPEL processes. In: Benatallah B, Casati F, Traverso P (eds) Service-Oriented Computing\u2014ICSOC 2005. Lecture Notes in Computer Science, vol 3826. Springer, Berlin, pp 269\u2013282. http:\/\/dx.doi.org\/10.1007\/11596141_21 . ISBN:978-3-540-30817-1","DOI":"10.1007\/11596141_21"},{"key":"145_CR8","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1109\/TSE.2010.37","volume":"37","author":"L Baresi","year":"2011","unstructured":"Baresi L, Guinea S (2011) Self-supervising BPEL processes. J IEEE Trans Softw Eng 37:247\u2013263","journal-title":"J IEEE Trans Softw Eng"},{"key":"145_CR9","doi-asserted-by":"crossref","unstructured":"Baresi L, Guinea S, Nano O, Spanoudakis G (2010) Comprehensive monitoring of BPEL processes. J IEEE Internet Comput 14: 50\u201357","DOI":"10.1109\/MIC.2010.66"},{"key":"145_CR10","unstructured":"Boukadi K, Ghedira C, Chaari S, Vincent L, Bataineh E (2008) How to employ context, web service, and community in enterprise collaboration. In: Proceedings of the 8th international conference on new technologies in distributed systems. ACM"},{"issue":"1","key":"145_CR11","first-page":"60","volume":"9","author":"J Bronsted","year":"2010","unstructured":"Bronsted J, Hansen KM, Ingstrup M (2010) Service composition issues in pervasive computing. IEEE Pervasive Comput 9(1):60\u201372","journal-title":"IEEE Pervasive Comput"},{"key":"145_CR12","doi-asserted-by":"crossref","unstructured":"Bucchiarone A, Pistore M, Raik H, Kazhamiakin R (2011) Adaptation of service-based business processes by context-aware replanning. In: Service-Oriented Computing and Applications (SOCA), 2011 IEEE International Conference on, pp 1\u20138","DOI":"10.1109\/SOCA.2011.6166209"},{"key":"145_CR13","doi-asserted-by":"crossref","unstructured":"Chen H, Perich F, Finin T, Joshi A (2004) SOUPA: standard ontology for ubiquitous and pervasive applications. In: Proceedings of the international conference on mobile and ubiquitous systems: networking and services","DOI":"10.21236\/ADA439638"},{"key":"145_CR14","doi-asserted-by":"crossref","unstructured":"Chen H, Finin T, Joshi A (2005) The SOUPA ontology for pervasive computing. In: Tamma V, Cranefield S (eds) Ontologies for agents: theory and experiences. Birkh\u00e4user, Basel, pp 233\u2013258","DOI":"10.1007\/3-7643-7361-X_10"},{"key":"145_CR15","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/978-3-642-02463-4_19","volume-title":"Conceptual modelling: foundations and applications","author":"L Chung","year":"2009","unstructured":"Chung L, Prado L, Julio C (2009) On non-functional requirements in software engineering. In: Borgida AT, Chaudhri VK, Giorgini P, Yu ES (eds) Conceptual modelling: foundations and applications. Springer, Berlin, pp 363\u2013379"},{"key":"145_CR16","unstructured":"Cohen WW, Borgida A, Hirsh H (1992) Computing least common subsumers in description logics. In: Proceedings of the 10th national conference on artificial intelligence"},{"key":"145_CR17","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1145\/1047671.1047703","volume":"48","author":"J Coutaz","year":"2005","unstructured":"Coutaz J, Crowley J, Dobson S, Garlan D (2005) Context is key. J Commun ACM 48:49\u201353","journal-title":"J Commun ACM"},{"key":"145_CR18","unstructured":"Daconta M, Obrst L, Smith K (2003) The semantic web: a guide to the future of xml, web services, and knowledge management. Wiley, London"},{"key":"145_CR19","unstructured":"Dey A (2000) Providing architectural support for building context-aware applications. Ph.D. thesis, Georgia Institute of Technology"},{"key":"145_CR20","doi-asserted-by":"crossref","unstructured":"Doulkeridis C, Loutas N, Vazirgiannis M (2006) A system architecture for context aware service discovery. J Electron Notes Theoretic Comput Sci, pp 101\u2013116","DOI":"10.1016\/j.entcs.2005.11.010"},{"key":"145_CR21","unstructured":"Dustdar S, Papazoglou M (2008) Services and service composition\u2014an introduction. J Inform Technol 50:86\u201392"},{"key":"145_CR22","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1017\/S0269888907001269","volume":"23","author":"J Euzenat","year":"2008","unstructured":"Euzenat J, Pierson J, Ramparany F (2008) Dynamic context management for pervasive applications. J Knowl Eng Rev 23:21\u201349","journal-title":"J Knowl Eng Rev"},{"key":"145_CR23","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/978-90-481-3331-4_3","volume":"40","author":"S Farrar","year":"2010","unstructured":"Farrar S, Langendoen DT (2010) An owl-dl implementation of gold- an ontology for the semantic web. Journal of Linguistic modelling of Information and Markup Languages 40:45\u201366","journal-title":"Journal of Linguistic modelling of Information and Markup Languages"},{"key":"145_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1516533.1516536","volume":"4","author":"K Fujii","year":"2009","unstructured":"Fujii K, Suda T (2009) Semantics-based context-aware dynamic service composition. ACM Trans Auton Adapt Syst 4:1\u201331","journal-title":"ACM Trans Auton Adapt Syst"},{"key":"145_CR25","doi-asserted-by":"crossref","unstructured":"Goslar K, Schill A (2004) modelling contextual information using active data structures. In: Proceedings of the EDBT workshops. Lecture notes in computer science, vol 3268. Springer","DOI":"10.1007\/978-3-540-30192-9_32"},{"key":"145_CR26","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1109\/MC.2006.142","volume":"39","author":"W Hasselbring","year":"2006","unstructured":"Hasselbring W, Reussner R (2006) Toward trustworthy software systems. IEEE Comput 39:91\u201392","journal-title":"IEEE Comput"},{"key":"145_CR27","doi-asserted-by":"crossref","unstructured":"Heravizadeh M, Mendling J, Rosemann M (2008) Dimensions of business process quality. In: Proceedings of the 6th international conference on business process management workshop, pp 80\u201391. Springer","DOI":"10.1007\/978-3-642-00328-8_8"},{"key":"145_CR28","unstructured":"Hong M, Cho D (2008) Ontology context model for context aware learning service in ubiquitous learning environments. Int J Comput 2(3):193\u2013200"},{"key":"145_CR29","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-540-39718-2_2","volume":"2870","author":"I Horrocks","year":"2003","unstructured":"Horrocks I, Patel-Schneider F (2003) Reducing owl entailment to description logic satisfiability. The Semantic Web\u2014ISWC 2003. Lect Notes Comput Sci 2870:17\u201329","journal-title":"Lect Notes Comput Sci"},{"key":"145_CR30","unstructured":"Horrocks I, Patel-Schneider P, Boley H, Tabet S, Grosof B, Dean M (2004) SWRL: a semantic web rule language combining OWL and RuleML. W3C Submission"},{"key":"145_CR31","doi-asserted-by":"crossref","first-page":"1244","DOI":"10.1016\/j.infsof.2009.03.002","volume":"51","author":"G Kapitsaki","year":"2009","unstructured":"Kapitsaki G, Kateros D, Prezerakos G, Venierris I (2009) Model-driven development of composite context-aware web applications. J Inform Softw Technol 51:1244\u20131260","journal-title":"J Inform Softw Technol"},{"key":"145_CR32","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1016\/B978-0-444-88074-1.50019-6","volume-title":"Handbook of theoretical computer science, vol B: formal models and semantics","author":"D Kozen","year":"1990","unstructured":"Kozen D, Tiuryn J (1990) Logics of programs. In: van Leeuwen J (ed) Handbook of theoretical computer science, vol B: formal models and semantics. Elsevier, Amsterdam, pp 789\u2013840"},{"key":"145_CR33","doi-asserted-by":"crossref","unstructured":"Lee KC, Kim J, Lee J, Lee KM (2007) Implementation of ontology based context aware framework for ubiquitous environments. In: Proceedings of the international conference on multimedia and ubiquitous, engineering","DOI":"10.1109\/MUE.2007.136"},{"key":"145_CR34","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1145\/1183236.1183238","volume":"49","author":"Z Maamar","year":"2006","unstructured":"Maamar Z, Benslimane D, Narendra N (2006) What can context do for web services? Commun ACM 49:98\u2013103","journal-title":"Commun ACM"},{"key":"145_CR35","unstructured":"Marquezan CC, Metzger A, Pohl K, Engen V, Boniface M, Phillips SC, Zlatev Z (2012) Adaptive future internet applications: Opportunities and challenges for adaptive web services technology. In: Ortiz G, Cubo J (Eds) Adaptive web services for modular and reusable software development. IGI Global"},{"key":"145_CR36","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2005.11.003","volume":"146","author":"D Martin","year":"2006","unstructured":"Martin D (2006) Putting web services in context. Electron Notes Theoret Comput Sci 146:3\u201316","journal-title":"Electron Notes Theoret Comput Sci"},{"key":"145_CR37","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10619-006-7003-7","volume":"21","author":"B Medjahed","year":"2007","unstructured":"Medjahed B, Atif Y (2007) Context-based matching for web service composition. J Distrib Parallel Databases 21:5\u201337","journal-title":"J Distrib Parallel Databases"},{"key":"145_CR38","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/s10619-004-0190-1","volume":"17","author":"B Medjahed","year":"2005","unstructured":"Medjahed B, Bouguettaya A (2005) A dynamic foundation architecture for semantic web services. J Distrib Parallel Databases 17:179\u2013206","journal-title":"J Distrib Parallel Databases"},{"key":"145_CR39","doi-asserted-by":"crossref","unstructured":"Moser O, Rosenberg F, Dustdar S (2008) Non-intrusive monitoring and service adaptation for WS-BPEL. In: Proceeding of the 17th international conference on world wide web, WWW \u201908. ACM","DOI":"10.1145\/1367497.1367607"},{"key":"145_CR40","doi-asserted-by":"crossref","unstructured":"Mrissa M, Thiran P, Ghedira C, Benslimane D, Maamar Z (2008) Using context to enable semantic mediation in web service communities. In: Proceedings of the 2008 international workshop on context enabled source and service selection, integration and adaptation. ACM","DOI":"10.1145\/1361482.1361485"},{"key":"145_CR41","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1201\/EBK1439809853-c4","volume-title":"Enabling context-aware web services: methods, architectures, and technologies","author":"C Pahl","year":"2010","unstructured":"Pahl C, Bandara KY, Wang MX (2010) Context constraint integration and validation. In: Sheng QZ, Yu J, Dustdar S (eds) Enabling context-aware web services: methods, architectures, and technologies, 1st edn. Chapman and Hall, London, pp 81\u2013105","edition":"1"},{"key":"145_CR42","doi-asserted-by":"crossref","first-page":"1739","DOI":"10.1016\/j.infsof.2009.06.001","volume":"51","author":"C Pahl","year":"2009","unstructured":"Pahl C, Giesecke S, Hasselbring W (2009) Ontology-based modelling of architectural styles. Inform Softw Technol 51:1739\u20131749","journal-title":"Inform Softw Technol"},{"key":"145_CR43","doi-asserted-by":"crossref","unstructured":"Pahl C (2012) Cloud service localisation. European conference on service-oriented and cloud computing ESOCC 2012. Springer LNCS","DOI":"10.1007\/978-3-642-33427-6_10"},{"key":"145_CR44","volume-title":"Practical object-oriented design with UML","author":"M Priestley","year":"2003","unstructured":"Priestley M (2003) Practical object-oriented design with UML. McGraw Hill, New York"},{"key":"145_CR45","doi-asserted-by":"crossref","unstructured":"Raik H, Bucchiarone A, Khurshid N, Marconi A, Pistore M (2012) Astro-captevo: dynamic context-aware adaptation for service-based systems. In: Services (SERVICES), 2012 IEEE eighth world congress on IEEE, pp 385\u2013392","DOI":"10.1109\/SERVICES.2012.14"},{"key":"145_CR46","doi-asserted-by":"crossref","unstructured":"Romero D, Rouvoy R, Seinturier L, Chabridon S, Conan D, Pessemier N (2010) Enabling context-aware web services: a middleware approach for ubiquitous environments. Enabling context-aware web services: methods, architectures, and technologies, pp 113\u2013135","DOI":"10.1201\/EBK1439809853-c5"},{"key":"145_CR47","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1504\/IJBPIM.2008.019347","volume":"3","author":"M Rosemann","year":"2008","unstructured":"Rosemann M, Recker JC, Flender C (2008) Contextualisation of business processes. J Bus Process Integr Manag 3:47\u201360","journal-title":"J Bus Process Integr Manag"},{"key":"145_CR48","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.pmcj.2009.10.002","volume":"6","author":"N Roy","year":"2010","unstructured":"Roy N, Gu T, Das S (2010) Supporting pervasive computing applications with active context fusion and semantic context delivery. J Pervasive Mob Comput 6:21\u201342","journal-title":"J Pervasive Mob Comput"},{"issue":"5","key":"145_CR49","first-page":"73","volume":"1","author":"M Sathya","year":"2010","unstructured":"Sathya M, Swarnamugi M, Dhavachelvan P, Sureshkumar G (2010) Evaluation of qos based web-service selection techniques for service composition. Int J Softw Eng 1(5):73\u201390","journal-title":"Int J Softw Eng"},{"key":"145_CR50","unstructured":"Sheshagiri M, Sadeh N, Gandon F (2004) Using semantic web services for context aware mobile applications. In: Proceedings of the MobiSys 2004 workshop on context-awareness"},{"key":"145_CR51","doi-asserted-by":"crossref","unstructured":"Silva E, Pires LF, van Sinderen M (2009) A framework for the evaluation of semantics-based service composition approaches. In: Proceedings of the 7th IEEE European conference on web services ECOWS","DOI":"10.1109\/ECOWS.2009.23"},{"key":"145_CR52","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1108\/17440080910947295","volume":"5","author":"H Truong","year":"2009","unstructured":"Truong H, Dustdar S (2009) A survey on context-aware web service systems. Int J Web Inf Syst 5:5\u201331","journal-title":"Int J Web Inf Syst"},{"key":"145_CR53","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1109\/TSC.2010.15","volume":"4","author":"S Vladimir","year":"2011","unstructured":"Vladimir S, Miroslaw M (2011) Addressing dependability throughout the soa life cycle. IEEE Trans Serv Comput 4:85\u201395","journal-title":"IEEE Trans Serv Comput"},{"key":"145_CR54","doi-asserted-by":"crossref","unstructured":"Wang MX, Bandara KY, Pahl C (2010) Process as a service\u2014distributed multi-tenant policy-based process runtime governance. In: IEEE international conference on services computing SCC","DOI":"10.1109\/SCC.2010.33"},{"key":"145_CR55","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1109\/TSC.2009.22","volume":"2","author":"Q Wang","year":"2009","unstructured":"Wang Q, Shao J, Deng F, Liu Y, Li M, Han J, Mei H (2009) An online monitoring approach for web service requirements. IEEE Trans Serv Comput 2:338\u2013351","journal-title":"IEEE Trans Serv Comput"},{"key":"145_CR56","unstructured":"Wang X, Zhang DQ, Gu T, Pung H (2004) Ontology based context modelling and reasoning using owl. In: Proceedings of the 2nd annual conference on pervasive computing and communications workshops. IEEE"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-013-0145-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-013-0145-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-013-0145-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T21:46:37Z","timestamp":1564350397000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-013-0145-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,5]]},"references-count":56,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["145"],"URL":"https:\/\/doi.org\/10.1007\/s11761-013-0145-3","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"type":"print","value":"1863-2386"},{"type":"electronic","value":"1863-2394"}],"subject":[],"published":{"date-parts":[[2013,10,5]]}}}