{"id":114167,"date":"2018-03-11T10:42:05","date_gmt":"2018-03-11T10:42:05","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/the-notion-of-specialization-in-the-i-framework\/"},"modified":"2018-03-11T10:42:05","modified_gmt":"2018-03-11T10:42:05","slug":"the-notion-of-specialization-in-the-i-framework","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/lenguajes-documentales\/the-notion-of-specialization-in-the-i-framework\/","title":{"rendered":"The notion of specialization in the i* framework"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Lidia L\u00f3pez Cuesta <\/strong><\/h2>\n<p>This thesis provides a formal proposal for the specialization relationship in the i* framework that allows its use in a well-defined manner. I root my proposal over existing works in different areas that are interested in representing knowledge: knowledge representation from artificial intelligence and conceptual modeling and object-oriented programming languages from software development. Also, i use the results of a survey conducted in the i* community that provides some insights about what i* modelers expect from specialization. As a consequence of this twofold analysis, i identify three specialization operations: extension, refinement and redefinition. For each of them, i:  &#8211; motivate its need and provide some rationale; &#8211; distinguish the several cases that can occur in each operation; &#8211; define the elements involved in each of these cases and the correctness conditions that must be fulfilled; &#8211; demonstrate by induction the fulfilment of the conditions identified for preserving satisfaction; &#8211; provide some illustrative examples in the context of an exemplar about travel agencies and travelers.  the specialization relationship is offered by the i* framework through the is-a construct defined over actors (a subactor is-a superactor) since it was first released. Although the overall meaning of this construct is highly intuitive, its effects at the level of intentional elements and dependencies are not always clear, hampering seriously its appropriate use.   in order to be able to reason about correctness and satisfaction, i define previously the conditions that must be preserved when a specialization takes place. In addition, i provide a methodology with well-defined steps that contextualize the formal aspects of this thesis in a development process. As a conclusion,  this  thesis is  making possible the  use of the  specialization  relationship  in  i*  in a precise, non-ambiguous manner.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>The notion of specialization in the i* framework<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 The notion of specialization in the i* framework <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Lidia L\u00f3pez Cuesta <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de catalunya<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 16\/05\/2013<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Javier Franch Guti\u00e9rrez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: oscar Pastor <\/li>\n<li>Juan  Carlos Trujillo mond\u00e9jar (vocal)<\/li>\n<li>john Mylopoulos (vocal)<\/li>\n<li>Ana Mar\u00eda Dinis moreira (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Lidia L\u00f3pez Cuesta This thesis provides a formal proposal for the specialization relationship in the i* framework [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[4149,328,18534,15596],"tags":[51830,58866,147138,37678,226426,27711],"class_list":["post-114167","post","type-post","status-publish","format-standard","hentry","category-diseno-y-componentes-de-sistemas-de-informacion","category-lenguajes-documentales","category-lenguajes-formales","category-politecnica-de-catalunya","tag-ana-maria-dinis-moreira","tag-javier-franch-gutierrez","tag-john-mylopoulos","tag-juan-carlos-trujillo-mondejar","tag-lidia-lopez-cuesta","tag-oscar-pastor"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/114167","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=114167"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/114167\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=114167"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=114167"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=114167"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}