{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T06:31:32Z","timestamp":1791009092405,"version":"4.1.0"},"reference-count":35,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Internet Technol."],"published-print":{"date-parts":[[2012,1]]},"abstract":"<jats:p>Context-aware Web services are identified as an important technology to support new applications on the future Internet. Context information has several qualities that make the development of these services challenging, compared to conventional, Web services. Therefore, sound software engineering practices are needed during their development and execution. This article discusses a novel software engineering-based approach, which leverages the benefits of model-driven architecture, aspect-oriented modeling, and formal model checking, for modeling and verifying context-aware services. The approach is explored using a real-world case study in intelligent transport. An evaluation framework is established to validate the main methods and tools employed.<\/jats:p>","DOI":"10.1145\/2078316.2078318","type":"journal-article","created":{"date-parts":[[2012,1,31]],"date-time":"2012-01-31T14:49:20Z","timestamp":1328021360000},"page":"1-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Context-aware services engineering"],"prefix":"10.1145","volume":"11","author":[{"given":"Dhaminda B.","family":"Abeywickrama","sequence":"first","affiliation":[{"name":"Monash University, Clayton Campus, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sita","family":"Ramakrishnan","sequence":"additional","affiliation":[{"name":"Monash University, Clayton Campus, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2012,2,3]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Aspect-Oriented Modeling. http:\/\/www.aspect-modeling.org\/. (Last accessed 12\/11.)  Aspect-Oriented Modeling. http:\/\/www.aspect-modeling.org\/. (Last accessed 12\/11.)"},{"key":"e_1_2_1_2_1","unstructured":"Abeywickrama D. B. 2010. Pervasive services engineering for SOAs. Ph.D. Faculty of IT Monash University Australia.  Abeywickrama D. B. 2010. Pervasive services engineering for SOAs. Ph.D. Faculty of IT Monash University Australia."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1387269.1387279"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1387229.1387232"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOCW.2010.49"},{"key":"e_1_2_1_6_1","first-page":"98","article-title":"A framework for aspectual pervasive software services evaluation. In L. A. Maciaszek and K. Zhang Eds., Evaluation of Novel Approaches to Software Engineering","volume":"275","author":"Abeywickrama D. B.","year":"2011","journal-title":"CCIS"},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the International Wireless Communications and Mobile Computing Conference. 309--314","author":"Achilleos A."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2005.05.001"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74974-5_41"},{"key":"e_1_2_1_10_1","unstructured":"Clarke E. M. Grumberg O. and Peled D. A. 1999. Model Checking. The MIT Press Cambridge MA.   Clarke E. M. Grumberg O. and Peled D. A. 1999. Model Checking. The MIT Press Cambridge MA."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11596141_16"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2007.6.7.a3"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1049\/ecej:20020304"},{"key":"e_1_2_1_15_1","unstructured":"DeCarlo J. Ackerman L. Elder P. Busch C. Lopez-Mancisidor A. Kimura J. and Balaji R. S. 2008. Strategic Reuse with Asset-Based Development. IBM Corporation.   DeCarlo J. Ackerman L. Elder P. Busch C. Lopez-Mancisidor A. Kimura J. and Balaji R. S. 2008. Strategic Reuse with Asset-Based Development. IBM Corporation."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173718"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985840"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/MOMPES.2008.14"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the 3rd International Workshop on Aspect-Oriented Modeling.","author":"Groher I."},{"key":"e_1_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Hegering H.-G. K\u00fcpper A. Linnhoff-Popien C. and \n      \n      \n      Reiser H\n      \n  \n  . \n  2003\n  . Management challenges of context-aware services in ubiquitous environments. In Self-Managing Distributed Systems Lecture Notes in Computer Science Series vol. \n  2867 Springer Berlin 321--339.  Hegering H.-G. K\u00fcpper A. Linnhoff-Popien C. and Reiser H. 2003. Management challenges of context-aware services in ubiquitous environments. In Self-Managing Distributed Systems Lecture Notes in Computer Science Series vol. 2867 Springer Berlin 321--339.","DOI":"10.1007\/978-3-540-39671-0_26"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJWET.2003.003322"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134296"},{"key":"e_1_2_1_24_1","volume-title":"Concurrency: State Models and Java Programs","author":"Magee J.","year":"2006","edition":"2"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/35.978054"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052898.1052915"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1032650.1033545"},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of the 22nd International Conference on Distributed Computing Systems Workshops. 445--450","author":"Pang J."},{"key":"e_1_2_1_29_1","volume-title":"Future Internet: The Cross-ETP Vision Document (Version 1.0)","author":"Papadimitriou D.","year":"2009"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2007.77"},{"key":"e_1_2_1_31_1","unstructured":"Schwinger W. Gr\u00fcn C. Pr\u00f6ll B. Retschitzegger W. and Schauerhuber A. 2005. Context-awareness in mobile tourism guides\u2014a comprehensive survey. Tech. rep. Johannes Kepler University Linz Austria.  Schwinger W. Gr\u00fcn C. Pr\u00f6ll B. Retschitzegger W. and Schauerhuber A. 2005. Context-awareness in mobile tourism guides\u2014a comprehensive survey. Tech. rep. Johannes Kepler University Linz Austria."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICMB.2005.33"},{"key":"e_1_2_1_33_1","unstructured":"VIDE. 2009. VIsualize all moDel drivEn programming. Report WP11: Deliverable number D11.3. Polish-Japanese Institute of Information Technology. http:\/\/www.vide-ist.eu\/download\/VIDE_D11.3.pdf. (Last accessed 12\/11.)  VIDE. 2009. VIsualize all moDel drivEn programming. Report WP11: Deliverable number D11.3. Polish-Japanese Institute of Information Technology. http:\/\/www.vide-ist.eu\/download\/VIDE_D11.3.pdf. (Last accessed 12\/11.)"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69073-3_3"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2007.152"},{"key":"e_1_2_1_36_1","volume-title":"Proceedings of the Foundations of Aspect Oriented Languages. 31--36","author":"Xu J."}],"container-title":["ACM Transactions on Internet Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2078316.2078318","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2078316.2078318","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:15Z","timestamp":1750241175000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2078316.2078318"}},"subtitle":["Models, transformations, and verification"],"short-title":[],"issued":{"date-parts":[[2012,1]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,1]]}},"alternative-id":["10.1145\/2078316.2078318"],"URL":"https:\/\/doi.org\/10.1145\/2078316.2078318","relation":{},"ISSN":["1533-5399","1557-6051"],"issn-type":[{"value":"1533-5399","type":"print"},{"value":"1557-6051","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1]]},"assertion":[{"value":"2010-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-02-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}