{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:33:19Z","timestamp":1761597199667,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,3,22]],"date-time":"2010-03-22T00:00:00Z","timestamp":1269216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004965","name":"Sixth Framework Programme","doi-asserted-by":"publisher","award":["IST-2005-016004"],"award-info":[{"award-number":["IST-2005-016004"]}],"id":[{"id":"10.13039\/501100004965","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,3,22]]},"DOI":"10.1145\/1774088.1774600","type":"proceedings-article","created":{"date-parts":[[2010,4,27]],"date-time":"2010-04-27T12:45:48Z","timestamp":1272372348000},"page":"2477-2484","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A heterogeneous approach to service-oriented systems specification"],"prefix":"10.1145","author":[{"given":"Alexander","family":"Knapp","sequence":"first","affiliation":[{"name":"University of Augsburg"}]},{"given":"Grzegorz","family":"Marczy\u0144ski","sequence":"additional","affiliation":[{"name":"University of Warsaw"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[{"name":"Universit\u00e4t M\u00fcnchen"}]},{"given":"Artur","family":"Zaw\u0142ocki","sequence":"additional","affiliation":[{"name":"University of Warsaw"}]}],"member":"320","published-online":{"date-parts":[[2010,3,22]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1007\/11888116_3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.5555\/1420446.1420478"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/147508.147524"},{"key":"e_1_3_2_1_4_1","volume-title":"Universit\u00e4t Bremen","author":"Mossakowski T.","year":"2005","unstructured":"T. Mossakowski , \"Heterogeneous Specification and the Heterogeneous Tool Set.\" Habilitation thesis , Universit\u00e4t Bremen , 2005 . T. Mossakowski, \"Heterogeneous Specification and the Heterogeneous Tool Set.\" Habilitation thesis, Universit\u00e4t Bremen, 2005."},{"key":"e_1_3_2_1_5_1","volume-title":"LNCS","author":"Mossakowski T.","year":"2008","unstructured":"T. Mossakowski and A. Tarlecki , \" Heterogeneous logical environments for distributed specifications,\" in WADT'08 , LNCS , Springer , 2008 . T. Mossakowski and A. Tarlecki, \"Heterogeneous logical environments for distributed specifications,\" in WADT'08, LNCS, Springer, 2008."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1007\/978-3-540-68679-8_23"},{"key":"e_1_3_2_1_7_1","volume-title":"University Management and E-Learning Case Study","author":"H\u00f6lz Matthias","year":"2007","unstructured":"Matthias H\u00f6lz , \" Requirements Modelling and Analysis of Selected Scenarios : University Management and E-Learning Case Study ,\" 2007 . Deliverable D8.4.a of the Sensoria project. Matthias H\u00f6lz, \"Requirements Modelling and Analysis of Selected Scenarios: University Management and E-Learning Case Study,\" 2007. Deliverable D8.4.a of the Sensoria project."},{"issue":"3","key":"e_1_3_2_1_8_1","first-page":"5","volume":"13","author":"Goguen J. A.","year":"2002","unstructured":"J. A. Goguen and G. Rosu , \"Institution Morphisms,\" Formal Asp. Comput. , vol. 13 , no. 3 -- 5 , pp. 274--307, 2002 . J. A. Goguen and G. Rosu, \"Institution Morphisms,\" Formal Asp. Comput., vol. 13, no. 3--5, pp. 274--307, 2002.","journal-title":"\"Institution Morphisms,\" Formal Asp. Comput."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1007\/978-3-642-03429-9_6"},{"doi-asserted-by":"crossref","unstructured":"E. A. Emerson \"Temporal and Modal Logic \" in Handbook of Theoretical Computer Science Volume B pp. 995--1072 Elsevier 1990.   E. A. Emerson \"Temporal and Modal Logic \" in Handbook of Theoretical Computer Science Volume B pp. 995--1072 Elsevier 1990.","key":"e_1_3_2_1_10_1","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"doi-asserted-by":"crossref","unstructured":"F.\n      Laroussinie\n     and \n      P.\n      Schnoebelen \"\n  A Hierarchy of Temporal Logics with Past \" in STACS'94 vol. \n  775\n   of \n  LNCS pp. \n  47\n  --\n  58 Springer 1994\n  .   F. Laroussinie and P. Schnoebelen \"A Hierarchy of Temporal Logics with Past \" in STACS'94 vol. 775 of LNCS pp. 47--58 Springer 1994.","key":"e_1_3_2_1_11_1","DOI":"10.1007\/3-540-57785-8_130"},{"key":"e_1_3_2_1_12_1","volume-title":"Institut f\u00fcr Informatik","author":"Cengarle M. V.","year":"1998","unstructured":"M. V. Cengarle , \" The Temporal Logic institution,\" Tech. Rep. 9805, Ludwig- Maximilians-Universit\u00e4t M\u00fcnchen , Institut f\u00fcr Informatik , 1998 . M. V. Cengarle, \"The Temporal Logic institution,\" Tech. Rep. 9805, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, 1998."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/1774088.1774600"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1016\/0890-5401(88)90008-9"},{"doi-asserted-by":"crossref","unstructured":"A.\n      Tarlecki \"\n      Moving\n       between \n      Logical Systems \" in WADT'95 vol. \n  1130\n   of \n  LNCS pp. \n  478\n  --\n  502 Springer 1996\n  .   A. Tarlecki \"Moving between Logical Systems \" in WADT'95 vol. 1130 of LNCS pp. 478--502 Springer 1996.","key":"e_1_3_2_1_15_1","DOI":"10.1007\/3-540-61629-2_59"},{"key":"e_1_3_2_1_16_1","volume-title":"Institution-Independent Model Theory","author":"Diaconescu R.","year":"2008","unstructured":"R. Diaconescu , Institution-Independent Model Theory . Birkh\u00e4user , 2008 . R. Diaconescu, Institution-Independent Model Theory. Birkh\u00e4user, 2008."},{"doi-asserted-by":"crossref","unstructured":"J. L.\n      Fiadeiro\n     and \n      J. F.\n      Costa \"\n  Institutions for Behaviour Specification \" in WADT'94 vol. \n  906\n   of \n  LNCS pp. \n  273\n  --\n  289 Springer 1994\n  .   J. L. Fiadeiro and J. F. Costa \"Institutions for Behaviour Specification \" in WADT'94 vol. 906 of LNCS pp. 273--289 Springer 1994.","key":"e_1_3_2_1_17_1","DOI":"10.1007\/BFb0014433"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1007\/11548133_20"},{"doi-asserted-by":"crossref","unstructured":"R.\n      De Nicola\n     and \n      F.\n      Vaandrager \"\n  Action versus State-based Logics for Transition systems \" in LITP Spring School vol. \n  469\n   of \n  LNCS pp. \n  407\n  --\n  419 Springer 1990\n  .   R. De Nicola and F. Vaandrager \"Action versus State-based Logics for Transition systems \" in LITP Spring School vol. 469 of LNCS pp. 407--419 Springer 1990.","key":"e_1_3_2_1_19_1","DOI":"10.1007\/3-540-53479-2_17"},{"key":"e_1_3_2_1_20_1","series-title":"LNCS","first-page":"133","volume-title":"A. Fantechi, S. Gnesi, and F. Mazzanti, \"An Action\/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications,\" in FMICS'07","author":"M.","year":"2007","unstructured":"M. H. ter Beek , A. Fantechi, S. Gnesi, and F. Mazzanti, \"An Action\/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications,\" in FMICS'07 , vol. 4916 of LNCS , pp. 133 -- 148 , 2007 . M. H. ter Beek, A. Fantechi, S. Gnesi, and F. Mazzanti, \"An Action\/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications,\" in FMICS'07, vol. 4916 of LNCS, pp. 133--148, 2007."},{"doi-asserted-by":"crossref","unstructured":"A.\n      Fantechi S.\n      Gnesi A.\n      Lapadula F.\n      Mazzanti R.\n      Pugliese and \n      F.\n      Tiezzi \"\n  A Model Checking Approach for Verifying COWS Specifications \" in FASE'08 vol. \n  4961\n   of \n  LNCS pp. \n  230\n  --\n  245 Springer 2008\n  .   A. Fantechi S. Gnesi A. Lapadula F. Mazzanti R. Pugliese and F. Tiezzi \"A Model Checking Approach for Verifying COWS Specifications \" in FASE'08 vol. 4961 of LNCS pp. 230--245 Springer 2008.","key":"e_1_3_2_1_21_1","DOI":"10.1007\/978-3-540-78743-3_17"},{"doi-asserted-by":"crossref","unstructured":"A.\n      Lapadula R.\n      Pugliese and \n      F.\n      Tiezzi \"\n  A Calculus for Orchestration of Web Services \" in ESOP'07 vol. \n  4421\n   of \n  LNCS pp. \n  33\n  --\n  47 2007\n  .   A. Lapadula R. Pugliese and F. Tiezzi \"A Calculus for Orchestration of Web Services \" in ESOP'07 vol. 4421 of LNCS pp. 33--47 2007.","key":"e_1_3_2_1_22_1","DOI":"10.1007\/978-3-540-71316-6_4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.5555\/2163252.2163267"},{"key":"e_1_3_2_1_24_1","first-page":"257","volume-title":"Symp. Fund. Software Engineering","volume":"4767","author":"Montangero C.","year":"2007","unstructured":"C. Montangero , S. Reiff-Marganiec , and L. Semini , \" Logic-based Detection of Conflicts in APPEL Policies,\" in Int . Symp. Fund. Software Engineering , vol. 4767 of LNCS, pp. 257 -- 271 , Springer , 2007 . C. Montangero, S. Reiff-Marganiec, and L. Semini, \"Logic-based Detection of Conflicts in APPEL Policies,\" in Int. Symp. Fund. Software Engineering, vol. 4767 of LNCS, pp. 257--271, Springer, 2007."}],"event":{"sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"acronym":"SAC'10","name":"SAC'10: The 2010 ACM Symposium on Applied Computing","location":"Sierre Switzerland"},"container-title":["Proceedings of the 2010 ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1774088.1774600","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1774088.1774600","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:37Z","timestamp":1750250737000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1774088.1774600"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,22]]},"references-count":24,"alternative-id":["10.1145\/1774088.1774600","10.1145\/1774088"],"URL":"https:\/\/doi.org\/10.1145\/1774088.1774600","relation":{},"subject":[],"published":{"date-parts":[[2010,3,22]]},"assertion":[{"value":"2010-03-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}