{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:15:53Z","timestamp":1750306553665,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T00:00:00Z","timestamp":1445817600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["GRK 1907"],"award-info":[{"award-number":["GRK 1907"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002957","name":"Technische Universit\u00e4t Dresden","doi-asserted-by":"publisher","award":["CRC 912"],"award-info":[{"award-number":["CRC 912"]}],"id":[{"id":"10.13039\/501100002957","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,10,26]]},"DOI":"10.1145\/2814251.2814255","type":"proceedings-article","created":{"date-parts":[[2020,12,24]],"date-time":"2020-12-24T04:19:10Z","timestamp":1608783550000},"page":"113-124","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["A combined formal model for relational context-dependent roles"],"prefix":"10.1145","author":[{"given":"Thomas","family":"K\u00fchn","sequence":"first","affiliation":[{"name":"TU Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"B\u00f6hme","sequence":"additional","affiliation":[{"name":"TU Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"G\u00f6tz","sequence":"additional","affiliation":[{"name":"TU Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"A\u00dfmann","sequence":"additional","affiliation":[{"name":"TU Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"476","volume-title":"Proceedings of the third international conference on Very Large Data Bases","volume":"3","author":"Bachman C. W.","year":"1977","unstructured":"C. W. Bachman , M. Daya , C. W. Bachman , and M. Daya . The role concept in data models . In Proceedings of the third international conference on Very Large Data Bases , volume 3 , pages 464\u2013 476 , 1977 . C. W. Bachman, M. Daya, C. W. Bachman, and M. Daya. The role concept in data models. In Proceedings of the third international conference on Very Large Data Bases, volume 3, pages 464\u2013476, 1977."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141606"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141606"},{"key":"e_1_3_2_1_4_1","first-page":"382","volume-title":"ECOOP 2011\u2013Object-Oriented Programming","author":"Balzer S.","unstructured":"S. Balzer and T. R. Gross . Verifying multi-object invariants with relationships . In ECOOP 2011\u2013Object-Oriented Programming , pages 358\u2013 382 . Springer, 2011. S. Balzer and T. R. Gross. Verifying multi-object invariants with relationships. In ECOOP 2011\u2013Object-Oriented Programming, pages 358\u2013382. Springer, 2011."},{"key":"e_1_3_2_1_5_1","unstructured":"S.\n      Balzer T.\n      Gross and \n      P.\n      Eugster\n  . \n  A relational model of object collaborations and its use in reasoning about relationships\n  . In E. Ernst editor ECOOP volume \n  4609\n   of \n  Lecture Notes in Computer Science pages 323\u2013\n  346\n  . Springer 2007. ISBN 978-3-540-73588-5.   S. Balzer T. Gross and P. Eugster. A relational model of object collaborations and its use in reasoning about relationships. In E. Ernst editor ECOOP volume 4609 of Lecture Notes in Computer Science pages 323\u2013346. Springer 2007. ISBN 978-3-540-73588-5."},{"issue":"2","key":"e_1_3_2_1_6_1","first-page":"51","article-title":"A more complete model of relations and their implementation","volume":"11","author":"Bock C.","unstructured":"C. Bock and J. Odell . A more complete model of relations and their implementation : Roles. Journal of Object-Oriented Programming , 11 ( 2 ): 51 \u2013+, 1998. C. Bock and J. Odell. A more complete model of relations and their implementation: Roles. Journal of Object-Oriented Programming, 11(2):51\u2013+, 1998.","journal-title":"Journal of Object-Oriented Programming"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/320434.320440"},{"key":"e_1_3_2_1_8_1","volume-title":"Springer","author":"Chu W. W.","year":"1997","unstructured":"W. W. Chu and G. Zhang . Associations and roles in objectoriented modeling. In Conceptual Modeling\u2014ER\u201997, pages 257\u2013270 . Springer , 1997 . W. W. Chu and G. Zhang. Associations and roles in objectoriented modeling. In Conceptual Modeling\u2014ER\u201997, pages 257\u2013270. Springer, 1997."},{"key":"e_1_3_2_1_9_1","first-page":"658","volume-title":"Advanced Information Systems Engineering","author":"Dahchour M.","unstructured":"M. Dahchour , A. Pirotte , and E. Zim\u00e1nyi . A generic role model for dynamic objects . In Advanced Information Systems Engineering , pages 643\u2013 658 . Springer, 2002. M. Dahchour, A. Pirotte, and E. Zim\u00e1nyi. A generic role model for dynamic objects. In Advanced Information Systems Engineering, pages 643\u2013658. Springer, 2002."},{"key":"e_1_3_2_1_10_1","first-page":"326","volume-title":"ECOOP 2001\u2014Object-Oriented Programming","author":"Ernst E.","unstructured":"E. Ernst . Family polymorphism . In ECOOP 2001\u2014Object-Oriented Programming , pages 303\u2013 326 . Springer, 2001. E. Ernst. Family polymorphism. In ECOOP 2001\u2014Object-Oriented Programming, pages 303\u2013326. Springer, 2001."},{"key":"e_1_3_2_1_11_1","first-page":"38","volume-title":"Proceedings of the 2nd Workshop on Roles and Relationships in Object Oriented Programming, Multiagent Systems, and Ontologies","author":"Genovese V.","unstructured":"V. Genovese . A meta-model for roles: Introducing sessions . In Proceedings of the 2nd Workshop on Roles and Relationships in Object Oriented Programming, Multiagent Systems, and Ontologies , pages 27\u2013 38 . Technische Universit\u00e4t Berlin, 2007. V. Genovese. A meta-model for roles: Introducing sessions. In Proceedings of the 2nd Workshop on Roles and Relationships in Object Oriented Programming, Multiagent Systems, and Ontologies, pages 27\u201338. Technische Universit\u00e4t Berlin, 2007."},{"key":"e_1_3_2_1_12_1","volume-title":"Springer","author":"Guarino N.","year":"2009","unstructured":"N. Guarino and C. A. Welty . An overview of ontoclean. In Handbook on ontologies, pages 201\u2013220 . Springer , 2009 . N. Guarino and C. A. Welty. An overview of ontoclean. In Handbook on ontologies, pages 201\u2013220. Springer, 2009."},{"key":"e_1_3_2_1_13_1","first-page":"280","volume-title":"KR","author":"Guarino N.","year":"1994","unstructured":"N. Guarino , M. Carrara , and P. Giaretta . An ontology of metalevel categories . In KR , pages 270\u2013 280 , 1994 . N. Guarino, M. Carrara, and P. Giaretta. An ontology of metalevel categories. In KR, pages 270\u2013280, 1994."},{"key":"e_1_3_2_1_15_1","first-page":"5","volume-title":"Proceedings of the Winter Simulation Conference","author":"Guizzardi G.","unstructured":"G. Guizzardi and G. Wagner . Conceptual simulation modeling with onto-uml . In Proceedings of the Winter Simulation Conference , page 5 . Winter Simulation Conference, 2012. G. Guizzardi and G. Wagner. Conceptual simulation modeling with onto-uml. In Proceedings of the Winter Simulation Conference, page 5. Winter Simulation Conference, 2012."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575863_87"},{"key":"e_1_3_2_1_17_1","volume-title":"Springer","author":"Halpin T. A.","year":"1998","unstructured":"T. A. Halpin . Object-role modeling (orm\/niam). In Handbook on Architectures of Information Systems, pages 81\u2013102 . Springer , 1998 . T. A. Halpin. Object-role modeling (orm\/niam). In Handbook on Architectures of Information Systems, pages 81\u2013102. Springer, 1998."},{"key":"e_1_3_2_1_18_1","volume-title":"Springer","author":"Hennicker R.","year":"2014","unstructured":"R. Hennicker and A. Klarl . Foundations for ensemble modeling\u2013the helena approach. In Specification, Algebra, and Software, pages 359\u2013381 . Springer , 2014 . R. Hennicker and A. Klarl. Foundations for ensemble modeling\u2013the helena approach. In Specification, Algebra, and Software, pages 359\u2013381. Springer, 2014."},{"key":"e_1_3_2_1_19_1","volume-title":"AAAI Fall Symposium Roles, an interdisciplinary perspective","author":"Herrmann S.","year":"2005","unstructured":"S. Herrmann . Programming with roles in ObjectTeams\/Java . AAAI Fall Symposium Roles, an interdisciplinary perspective , 2005 . S. Herrmann. Programming with roles in ObjectTeams\/Java. AAAI Fall Symposium Roles, an interdisciplinary perspective, 2005."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628194.2628246"},{"key":"e_1_3_2_1_21_1","first-page":"4503","volume":"978","author":"ACM","unstructured":"ACM . ISBN 978-1 - 4503 - 2627 -8. ACM. ISBN 978-1-4503-2627-8.","journal-title":"ISBN"},{"key":"e_1_3_2_1_22_1","volume-title":"Technologie und Web (BTW)","author":"J\u00e4kel T.","year":"2015","unstructured":"T. J\u00e4kel , T. K\u00fchn , S. Hinkel , H. Voigt , and W. Lehner . Relationships for dynamic data types in RSQL. In Datenbanksysteme f\u00fcr Business , Technologie und Web (BTW) , 2015 . T. J\u00e4kel, T. K\u00fchn, S. Hinkel, H. Voigt, and W. Lehner. Relationships for dynamic data types in RSQL. In Datenbanksysteme f\u00fcr Business, Technologie und Web (BTW), 2015."},{"key":"e_1_3_2_1_23_1","series-title":"Lecture Notes in Computer Science","first-page":"160","volume-title":"Software Language Engineering","author":"K\u00fchn T.","unstructured":"T. K\u00fchn , M. Leuth\u00e4user , S. G\u00f6tz , C. Seidl , and U. A\u00dfmann . A metamodel family for role-based modeling and programming languages . In Software Language Engineering , volume 8706 of Lecture Notes in Computer Science , pages 141\u2013 160 . Springer, 2014. T. K\u00fchn, M. Leuth\u00e4user, S. G\u00f6tz, C. Seidl, and U. A\u00dfmann. A metamodel family for role-based modeling and programming languages. In Software Language Engineering, volume 8706 of Lecture Notes in Computer Science, pages 141\u2013160. Springer, 2014."},{"key":"e_1_3_2_1_24_1","volume-title":"Germany","author":"K\u00fchn T.","year":"2015","unstructured":"T. K\u00fchn , S. B\u00f6hme , S. G\u00f6tz , and U. A\u00dfmann . A combined formal model for relational context-dependent roles (extended). technical report TUD-FI15-04-Sept-2015, Technische Universit\u00e4t Dresden, 01062 Dresden , Germany , September 2015 . T. K\u00fchn, S. B\u00f6hme, S. G\u00f6tz, and U. A\u00dfmann. A combined formal model for relational context-dependent roles (extended). technical report TUD-FI15-04-Sept-2015, Technische Universit\u00e4t Dresden, 01062 Dresden, Germany, September 2015."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04840-1_12"},{"key":"e_1_3_2_1_26_1","first-page":"496","volume-title":"Computer Science and Information Systems (FedCSIS), 2012 Federated Conference on","author":"Mizoguchi R.","unstructured":"R. Mizoguchi , K. Kozaki , and Y. Kitamura . Ontological analyses of roles . In Computer Science and Information Systems (FedCSIS), 2012 Federated Conference on , pages 489\u2013 496 . IEEE, 2012. R. Mizoguchi, K. Kozaki, and Y. Kitamura. Ontological analyses of roles. In Computer Science and Information Systems (FedCSIS), 2012 Federated Conference on, pages 489\u2013496. IEEE, 2012."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00287-008-0290-9"},{"key":"e_1_3_2_1_28_1","first-page":"36","volume-title":"Software and Data Technologies","author":"Pradel M.","unstructured":"M. Pradel and M. Odersky . Scala roles: Reusable object collaborations in a library . In Software and Data Technologies , pages 23\u2013 36 . Springer, 2009. M. Pradel and M. Odersky. Scala roles: Reusable object collaborations in a library. In Software and Data Technologies, pages 23\u201336. Springer, 2009."},{"key":"e_1_3_2_1_29_1","volume-title":"The dci architecture: A new vision of object-oriented programming. An article starting a new blog:(14pp) http:\/\/www. artima. com\/articles\/dci_vision. html","author":"Reenskaug T.","year":"2009","unstructured":"T. Reenskaug and J. O. Coplien . The dci architecture: A new vision of object-oriented programming. An article starting a new blog:(14pp) http:\/\/www. artima. com\/articles\/dci_vision. html , 2009 . T. Reenskaug and J. O. Coplien. The dci architecture: A new vision of object-oriented programming. An article starting a new blog:(14pp) http:\/\/www. artima. com\/articles\/dci_vision. html, 2009."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286951"},{"key":"e_1_3_2_1_31_1","volume-title":"The Unified Modelling Language Reference Manual","author":"Rumbaugh J.","year":"1999","unstructured":"J. Rumbaugh , R. Jacobson , and G. Booch . The Unified Modelling Language Reference Manual . Addison-Wesley , 1 st edition, 1999 . J. Rumbaugh, R. Jacobson, and G. Booch. The Unified Modelling Language Reference Manual. Addison-Wesley, 1st edition, 1999.","edition":"1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(00)00023-9"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2006.875726"}],"event":{"name":"SLE '15: Software Language Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Pittsburgh PA USA","acronym":"SLE '15"},"container-title":["Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814251.2814255","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2814251.2814255","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:47Z","timestamp":1750227167000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814251.2814255"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,26]]},"references-count":32,"alternative-id":["10.1145\/2814251.2814255","10.1145\/2814251"],"URL":"https:\/\/doi.org\/10.1145\/2814251.2814255","relation":{},"subject":[],"published":{"date-parts":[[2015,10,26]]},"assertion":[{"value":"2015-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}