{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:15Z","timestamp":1750307895475,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,7,6]],"date-time":"2008-07-06T00:00:00Z","timestamp":1215302400000},"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":[],"published-print":{"date-parts":[[2008,7,6]]},"DOI":"10.1145\/1387269.1387279","type":"proceedings-article","created":{"date-parts":[[2009,9,28]],"date-time":"2009-09-28T17:33:43Z","timestamp":1254159223000},"page":"57-60","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A model-based approach for engineering pervasive services in SOAs"],"prefix":"10.1145","author":[{"given":"Dhaminda","family":"Abeywickrama","sequence":"first","affiliation":[{"name":"Monash University, Victoria, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sita","family":"Ramakrishnan","sequence":"additional","affiliation":[{"name":"Monash University, Victoria, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,7,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11773887_17"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2005.05.001"},{"key":"e_1_3_2_1_3_1","volume-title":"10th Workshop of the HP OpenView University Association","author":"Buchholz T.","year":"2003","unstructured":"Buchholz , T. , K\u00fcpper , A. , and Schiffers , M . 2003. Quality of context: what it is and why we need it , In 10th Workshop of the HP OpenView University Association ( Geneva, Switzerland , July , 2003 ). HPOVUA'03. Buchholz, T., K\u00fcpper, A., and Schiffers, M. 2003. Quality of context: what it is and why we need it, In 10th Workshop of the HP OpenView University Association (Geneva, Switzerland, July, 2003). HPOVUA'03."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the Second International Workshop on Ubiquitous Computing","author":"Costa P. D.","year":"2005","unstructured":"Costa , P. D. , Pires , L. F. , and van Sinderen , M. 2005 . Architectural patterns for context-aware services platforms , In Proceedings of the Second International Workshop on Ubiquitous Computing ( Miami, USA , 2005). 3--19. Costa, P. D., Pires, L. F., and van Sinderen, M. 2005. Architectural patterns for context-aware services platforms, In Proceedings of the Second International Workshop on Ubiquitous Computing (Miami, USA, 2005). 3--19."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1049\/ecej:20020304"},{"volume-title":"A Discipline of Programming","author":"Dijkstra E.W.","key":"e_1_3_2_1_6_1","unstructured":"Dijkstra , E.W. 1976. A Discipline of Programming . Prentice-Hall , Englewood Cliffs , New Jersey, USA. Dijkstra, E.W. 1976. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, New Jersey, USA."},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 14th IFIP\/IEEE Workshop on Distributed Systems: Operations and Management","author":"Hegering H. G.","year":"2003","unstructured":"Hegering , H. G. , K\u00fcpper , A. , Linnhoff-Popien , C. , and Reiser , H . 2003. Management challenges of context-aware services in ubiquitous environments , In Proceedings of the 14th IFIP\/IEEE Workshop on Distributed Systems: Operations and Management ( Heidelberg, Germany , October 20-22, 2003 ). Springer-Verlag, 246--259. Hegering, H. G., K\u00fcpper, A., Linnhoff-Popien, C., and Reiser, H. 2003. Management challenges of context-aware services in ubiquitous environments, In Proceedings of the 14th IFIP\/IEEE Workshop on Distributed Systems: Operations and Management (Heidelberg, Germany, October 20-22, 2003). Springer-Verlag, 246--259."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134296"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/GCC.2006.94"},{"key":"e_1_3_2_1_10_1","unstructured":"Magee J.\n     and \n      Kramer J\n  . \n  2006\n  . Concurrency: state models & java programs (\n  2\n  nd Edition). \n  John Wiley &\n  amp; Sons Worldwide Series in Computer Science April 2006 1--413.   Magee J. and Kramer J. 2006. Concurrency: state models & java programs (2nd Edition). John Wiley & Sons Worldwide Series in Computer Science April 2006 1--413."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1032650.1033545"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2007.123"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICMB.2005.33"}],"event":{"name":"ICPS08: 2008 International Conference on Pervasive Services","sponsor":["ACM Association for Computing Machinery","SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Sorrento Italy","acronym":"ICPS08"},"container-title":["Proceedings of the 5th international conference on Pervasive services"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1387269.1387279","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1387269.1387279","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:25Z","timestamp":1750258045000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1387269.1387279"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,6]]},"references-count":13,"alternative-id":["10.1145\/1387269.1387279","10.1145\/1387269"],"URL":"https:\/\/doi.org\/10.1145\/1387269.1387279","relation":{},"subject":[],"published":{"date-parts":[[2008,7,6]]},"assertion":[{"value":"2008-07-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}