{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,12]],"date-time":"2026-11-12T03:40:16Z","timestamp":1794454816740,"version":"4.9.1"},"publisher-location":"New York, NY","reference-count":32,"publisher":"Springer New York","isbn-type":[{"value":"9781461475170","type":"print"},{"value":"9781461475187","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,9,4]],"date-time":"2013-09-04T00:00:00Z","timestamp":1378252800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,9,4]],"date-time":"2013-09-04T00:00:00Z","timestamp":1378252800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-1-4614-7518-7_12","type":"book-chapter","created":{"date-parts":[[2013,9,3]],"date-time":"2013-09-03T02:17:42Z","timestamp":1378174662000},"page":"291-317","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Context-Aware Services Engineering for Service-Oriented Architectures"],"prefix":"10.1007","author":[{"given":"Dhaminda B.","family":"Abeywickrama","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,9,4]]},"reference":[{"key":"12_CR1","unstructured":"Abeywickrama, D.B.: Pervasive services engineering for SOAs. Ph.D. thesis, Faculty of IT, Clayton Campus, Monash University, Australia (2010)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Abeywickrama, D.B., Ramakrishnan, S.: A model-based approach for engineering pervasive services in SOAs. In: 5th International Conference on Pervasive Services (ICPS\u201908), Sorrento, Italy, pp. 57\u201360. ACM (2008)","DOI":"10.1145\/1387269.1387279"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Abeywickrama, D.B., Ramakrishnan, S.: Model-driven development of aspectual pervasive software services. In: 14th IEEE International Enterprise Distributed Object Computing Conference Workshops, Vitoria, Brazil, pp. 49\u201359. IEEE (2010)","DOI":"10.1109\/EDOCW.2010.49"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Abeywickrama, D.B., Ramakrishnan, S.: An evaluation framework for validating aspectual pervasive software services. In: 6th International Conference on Evaluation of Novel Approaches to Software Engineering conference (ENASE\u201911), pp. 80\u201391. SciTePress (2011)","DOI":"10.5220\/0003461200800091"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Abeywickrama, D.B., Ramakrishnan, S.: Model checking aspectual pervasive software services. In: 35th Annual IEEE International Computer Software and Applications Conference (COMPSAC\u201911), pp. 253\u2013262. IEEE Computer Society (2011)","DOI":"10.1109\/COMPSAC.2011.41"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Abeywickrama, D.B., Ramakrishnan, S.: Context-aware services engineering: models, transformations, and verification. ACM Trans. Internet Technol. J. 11(3), Article 10. ACM (2012)","DOI":"10.1145\/2078316.2078318"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Achilleos, A., Yang, K., Georgalas, N., Azmoodech, M.: Pervasive service creation using a model-driven petri net based approach. In: International Wireless Communications and Mobile Computing Conference, pp. 309\u2013314 (2008)","DOI":"10.1109\/IWCMC.2008.54"},{"issue":"1","key":"12_CR8","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1016\/j.is.2005.05.001","volume":"32","author":"A. Analyti","year":"2007","unstructured":"Analyti, A., Theodorakis, M., Spyratos, N., Constantopoulos, P.: Contextualization as an independent abstraction mechanism for conceptual modeling. Inf. Syst. J. 32(1), 24\u201360. Elsevier Science Ltd., Oxford, UK (2007)","journal-title":"Inf. Syst. J."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Autili, M., Berardinelli, L., Cortellessa, V., Marco, A.D., Ruscio, D.D., Inverardi, P., Tivoli, M.: A development process for self-adapting service-oriented applications. In: International Conference on Service-Oriented Computing, LNCS, vol. 4749, pp. 442\u2013448. Springer (2009)","DOI":"10.1007\/978-3-540-74974-5_41"},{"issue":"4","key":"12_CR10","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"E.M. Clarke","year":"1996","unstructured":"Clarke, E.M., Wing, J.M., Alur, R.: Formal methods: state of the art and future directions. ACM Comput. Surv. 28(4), 626\u2013643. ACM (1996)","journal-title":"ACM Comput. Surv."},{"key":"12_CR11","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Colombo, E., Mylopoulos, J., Spoletini, P.: Modeling and analyzing context-aware composition of services. In: International Conference on Service-Oriented Computing, LNCS, vol. 3826, pp. 198\u2013213. Springer (2005)","DOI":"10.1007\/11596141_16"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Cottenier, T., van den Berg, A., Elrad, T.: Motorola WEAVR: aspect orientation and model-driven engineering. J. Object Technol. 6(7), 51\u201388. Chair of Software Engineering, ETH Zurich, Switzerland (2007)","DOI":"10.5381\/jot.2007.6.7.a3"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Davie, A.: Intelligent tagging for transport and logistics: the ParcelCall approach. Electron. Commun. Eng. J. 14(3), 122\u2013128. Institution of Electrical Engineers, London, UK (2002)","DOI":"10.1049\/ecej:20020304"},{"key":"12_CR15","unstructured":"DeCarlo, J., Ackerman, L., Elder, P., Busch, C., Lopez-Mancisidor, A., Kimura, J., Balaji. R.S.: Strategic reuse with asset-based development. IBM Corporation (2008)"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Dey, A.K., Abowd G.D.: Towards a better understanding of context and context-awareness. In: CHI 2000 Workshop on The What, Who, Where, When, Why and How of Context-Awareness (2000)","DOI":"10.1007\/3-540-48157-5_29"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Douence, R., Botlan, D.L., Noye, J., Sudholt, M.: Concurrent aspects. In: 5th International Conference on Generative Programming and Component, Engineering, pp. 79\u201388 (2006)","DOI":"10.1145\/1173706.1173718"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Fuentes, L., Gamez, N., Sanchez, P.: Aspect-oriented executable UML models for context-aware pervasive applications. In: 2008 5th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, pp. 34\u201343, Budapest. IEEE (2008)","DOI":"10.1109\/MOMPES.2008.14"},{"key":"12_CR19","unstructured":"Groher, I., Schulze, S.: Generating aspect code from UML models. In: 3rd International Workshop on Aspect-Oriented Modeling Co-located with 2nd International Conference on Aspect-Oriented Software Development (AOSD\u201903), Boston, USA (2003)"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Hegering, H.-G., K\u00fcpper, A., Linnhoff-Popien, C., Reiser, H.: Management challenges of context-aware services in ubiquitous environments. In: Brunner, M., Keller, K. (eds.) Self-Managing Distributed Systems, LNCS, vol. 2867, pp. 321\u2013339. Springer (2003)","DOI":"10.1007\/978-3-540-39671-0_26"},{"issue":"8","key":"12_CR21","doi-asserted-by":"crossref","first-page":"1244","DOI":"10.1016\/j.infsof.2009.03.002","volume":"51","author":"G.M. Kapitsaki","year":"2009","unstructured":"Kapitsaki, G.M., Kateros, D.A., Prezerakos, G.N., Venieris, I.S.: Model-driven development of composite context-aware web applications. Inf. Softw. Technol. J. 51(8), 1244\u20131260. Butterworth-Heinemann (2009)","journal-title":"Inf. Softw. Technol. J."},{"issue":"1","key":"12_CR22","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1504\/IJWET.2003.003322","volume":"1","author":"G. Kappel","year":"2003","unstructured":"Kappel, G., Pr\u00f6ll, B., Retschitzegger, W., Schwinger, W.: Customisation for ubiquitous web applications: a comparison of approaches. Int. J. Web Eng. Technol. 1(1), 79\u2013111. Inderscience Publishers, Geneva, Switzerland (2003)","journal-title":"Int. J. Web Eng. Technol."},{"key":"12_CR23","volume-title":"Concurrency: State Models and Java Programs","author":"J Magee","year":"2006","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models and Java Programs, 2nd edn. Wiley, New York (2006)","edition":"2"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Mceachen, N., Alexander, R.T.: Distributing classes with woven concerns: an exploration of potential fault scenarios. In: 4th International Conference on Aspect-Oriented Software Development, pp. 192\u2013200. ACM (2005)","DOI":"10.1145\/1052898.1052915"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Perez-Toledano, M.A., Navasa, A., Murillo, J.M., Canal, C.: TITAN: a framework for aspect-oriented system evolution. In: International Conference on Software, Engineering Advances, pp. 23\u201330 (2007)","DOI":"10.1109\/ICSEA.2007.77"},{"key":"12_CR26","unstructured":"Schwinger, W., Gr\u00fcn, C., Pr\u00f6ll, B., Retschitzegger, W., Schauerhuber, A.: Context-awareness in mobile tourism guides\u2014a comprehensive survey. Technical report, Johannes Kepler University, Linz, Austria (2005)"},{"issue":"2","key":"12_CR27","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1016\/j.pmcj.2009.07.006","volume":"6","author":"E. Serral","year":"2010","unstructured":"Serral, E., Valderas, P., Pelechano, V.: Towards the model-driven development of context-aware pervasive systems. Pervasive Mobile Comput. J. 6(2), 254\u2013280. Elsevier (2010)","journal-title":"Pervasive Mobile Comput. J."},{"key":"12_CR28","unstructured":"Sheng, Q. Z., Benatallah, B.: ContextUML: a UML-based modeling language for model-driven development of context-aware web services. In: International Conference on Mobile, Business, pp. 206\u2013212 (2005)"},{"issue":"1","key":"12_CR29","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1108\/17440080910947295","volume":"5","author":"H Truong","year":"2009","unstructured":"Truong, H., Dustdar, S.: A survey on context-aware web service systems. Int. J. Web Inf. Syst. 5(1), 5\u201331 (2009)","journal-title":"Int. J. Web Inf. Syst."},{"key":"12_CR30","unstructured":"VIsualize all moDel drivEn programming (VIDE), WP 11: Deliverable number D11.3, Supported by the European Commission within Sixth Framework Programme. Polish-Japanese Institute of Information Technology. http:\/\/www.vide-ist.eu\/download\/VIDE_D11.3.pdf. Accessed 16 Sept 2012"},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"Whittle, J., Jayaraman, P.: MATA: A tool for aspect-oriented modeling based on graph transformation. In: Giese, H. (ed.) Models in Software Engineering, LNCS, vol. 5002, pp. 16\u201327. Springer, Berlin(2008)","DOI":"10.1007\/978-3-540-69073-3_3"},{"key":"12_CR32","doi-asserted-by":"crossref","unstructured":"Xu, D., Alsmadi, I., Xu, W.: Model checking aspect-oriented design specification. In: 31st Annual IEEE International Computer Software and Applications Conference, pp. 491\u2013500 (2007)","DOI":"10.1109\/COMPSAC.2007.152"}],"container-title":["Web Services Foundations"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-7518-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T11:19:26Z","timestamp":1676805566000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-7518-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,4]]},"ISBN":["9781461475170","9781461475187"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-7518-7_12","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-1-4614-7518-7","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,9,4]]},"assertion":[{"value":"4 September 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}