{"id":5165,"date":"2016-06-17T08:39:57","date_gmt":"2016-06-17T08:39:57","guid":{"rendered":"http:\/\/www.pros.upv.es\/?page_id=5165"},"modified":"2016-12-01T10:06:41","modified_gmt":"2016-12-01T10:06:41","slug":"oo-method","status":"publish","type":"page","link":"https:\/\/pros.webs.upv.es\/site\/oo-method\/","title":{"rendered":"OO-Method &#8211; the Methodological Support for Oliva Nova Model Execution System"},"content":{"rendered":"<p><a href=\"http:\/\/www.pros.upv.es\/site\/wp-content\/uploads\/2016\/06\/oomethod.png\"><img decoding=\"async\" class=\"size-full wp-image-5205 aligncenter\" src=\"http:\/\/www.pros.upv.es\/site\/wp-content\/uploads\/2016\/06\/oomethod.png\" alt=\"oomethod\" width=\"176\" height=\"188\" srcset=\"https:\/\/pros.webs.upv.es\/site\/wp-content\/uploads\/2016\/06\/oomethod.png 176w, https:\/\/pros.webs.upv.es\/site\/wp-content\/uploads\/2016\/06\/oomethod-137x146.png 137w, https:\/\/pros.webs.upv.es\/site\/wp-content\/uploads\/2016\/06\/oomethod-47x50.png 47w, https:\/\/pros.webs.upv.es\/site\/wp-content\/uploads\/2016\/06\/oomethod-70x75.png 70w, https:\/\/pros.webs.upv.es\/site\/wp-content\/uploads\/2016\/06\/oomethod-47x50@2x.png 94w, https:\/\/pros.webs.upv.es\/site\/wp-content\/uploads\/2016\/06\/oomethod-70x75@2x.png 140w\" sizes=\"(max-width: 176px) 100vw, 176px\" \/><\/a><\/p>\n<p>Current and future (conventional) notations used in Conceptual Modeling techniques should have a precise (formal) semantics to provide a well-defined software development process, with the purpose of going from specification to implementation in an automated way. To achieve this objective, the OO-Method approach to Information Systems Modeling introduced here tries to overcome the conventional (informal) \/ formal dichotomy by picking the best ideas from both approaches.<\/p>\n<p>In OO-Method it is made a clear distinction between the problem space (centered on what the system is) and the solution space (centered on how it is implemented as a software product). It provides a precise, conventional graphical notation to obtain a system description at the problem space level, but this notation is strictly based on a formal OO specification. An abstract execution model determines how to obtain the software representations corresponding to these conceptual modeling patterns. In this way, the final software product can be obtained in an automated way.<\/p>\n<p><a href=\"http:\/\/ibrarian.net\/navon\/paper\/OO_Method__the_methodological_support_for_Method.pdf?paperid=2074491\"><strong>Read More<\/strong><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Current and future (conventional) notations used in Conceptual Modeling techniques should have a precise (formal) semantics to provide a well-defined [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":25,"comment_status":"closed","ping_status":"closed","template":"","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","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":"","ast-disable-related-posts":"","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-opacity":"","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-opacity":"","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-opacity":"","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-opacity":"","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-opacity":"","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-opacity":"","overlay-gradient":""}},"footnotes":""},"class_list":["post-5165","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>OO-Method - the Methodological Support for Oliva Nova Model Execution System - PROS - Research Center on Software Production Methods<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/pros.webs.upv.es\/site\/oo-method\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"OO-Method - the Methodological Support for Oliva Nova Model Execution System - PROS - Research Center on Software Production Methods\" \/>\n<meta property=\"og:description\" content=\"Current and future (conventional) notations used in Conceptual Modeling techniques should have a precise (formal) semantics to provide a well-defined [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/pros.webs.upv.es\/site\/oo-method\/\" \/>\n<meta property=\"og:site_name\" content=\"PROS - Research Center on Software Production Methods\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/CentroPROS\" \/>\n<meta property=\"article:modified_time\" content=\"2016-12-01T10:06:41+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/www.pros.upv.es\/site\/wp-content\/uploads\/2016\/06\/oomethod.png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:site\" content=\"@CentroPROS\" \/>\n<meta name=\"twitter:label1\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/oo-method\\\/\",\"url\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/oo-method\\\/\",\"name\":\"OO-Method - the Methodological Support for Oliva Nova Model Execution System - PROS - Research Center on Software Production Methods\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/oo-method\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/oo-method\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/www.pros.upv.es\\\/site\\\/wp-content\\\/uploads\\\/2016\\\/06\\\/oomethod.png\",\"datePublished\":\"2016-06-17T08:39:57+00:00\",\"dateModified\":\"2016-12-01T10:06:41+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/oo-method\\\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/oo-method\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/oo-method\\\/#primaryimage\",\"url\":\"http:\\\/\\\/www.pros.upv.es\\\/site\\\/wp-content\\\/uploads\\\/2016\\\/06\\\/oomethod.png\",\"contentUrl\":\"http:\\\/\\\/www.pros.upv.es\\\/site\\\/wp-content\\\/uploads\\\/2016\\\/06\\\/oomethod.png\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/oo-method\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"OO-Method &#8211; the Methodological Support for Oliva Nova Model Execution System\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/#website\",\"url\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/\",\"name\":\"PROS - Research Center on Software Production Methods\",\"description\":\"research, software engineering, model-driven development, testing, Internet of things, genomics\",\"publisher\":{\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/#organization\",\"name\":\"PROS Research Center on Software Production Methods\",\"url\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/www.pros.webs.upv.es\\\/site\\\/wp-content\\\/uploads\\\/2017\\\/12\\\/logo_PROS_no_sticky.png\",\"contentUrl\":\"https:\\\/\\\/www.pros.webs.upv.es\\\/site\\\/wp-content\\\/uploads\\\/2017\\\/12\\\/logo_PROS_no_sticky.png\",\"width\":1181,\"height\":500,\"caption\":\"PROS Research Center on Software Production Methods\"},\"image\":{\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/CentroPROS\",\"https:\\\/\\\/x.com\\\/CentroPROS\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/pros-research-center\\\/\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"OO-Method - the Methodological Support for Oliva Nova Model Execution System - PROS - Research Center on Software Production Methods","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/pros.webs.upv.es\/site\/oo-method\/","og_locale":"en_GB","og_type":"article","og_title":"OO-Method - the Methodological Support for Oliva Nova Model Execution System - PROS - Research Center on Software Production Methods","og_description":"Current and future (conventional) notations used in Conceptual Modeling techniques should have a precise (formal) semantics to provide a well-defined [&hellip;]","og_url":"https:\/\/pros.webs.upv.es\/site\/oo-method\/","og_site_name":"PROS - Research Center on Software Production Methods","article_publisher":"https:\/\/www.facebook.com\/CentroPROS","article_modified_time":"2016-12-01T10:06:41+00:00","og_image":[{"url":"http:\/\/www.pros.upv.es\/site\/wp-content\/uploads\/2016\/06\/oomethod.png","type":"","width":"","height":""}],"twitter_card":"summary_large_image","twitter_site":"@CentroPROS","twitter_misc":{"Estimated reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/pros.webs.upv.es\/site\/oo-method\/","url":"https:\/\/pros.webs.upv.es\/site\/oo-method\/","name":"OO-Method - the Methodological Support for Oliva Nova Model Execution System - PROS - Research Center on Software Production Methods","isPartOf":{"@id":"https:\/\/pros.webs.upv.es\/site\/#website"},"primaryImageOfPage":{"@id":"https:\/\/pros.webs.upv.es\/site\/oo-method\/#primaryimage"},"image":{"@id":"https:\/\/pros.webs.upv.es\/site\/oo-method\/#primaryimage"},"thumbnailUrl":"http:\/\/www.pros.upv.es\/site\/wp-content\/uploads\/2016\/06\/oomethod.png","datePublished":"2016-06-17T08:39:57+00:00","dateModified":"2016-12-01T10:06:41+00:00","breadcrumb":{"@id":"https:\/\/pros.webs.upv.es\/site\/oo-method\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/pros.webs.upv.es\/site\/oo-method\/"]}]},{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/pros.webs.upv.es\/site\/oo-method\/#primaryimage","url":"http:\/\/www.pros.upv.es\/site\/wp-content\/uploads\/2016\/06\/oomethod.png","contentUrl":"http:\/\/www.pros.upv.es\/site\/wp-content\/uploads\/2016\/06\/oomethod.png"},{"@type":"BreadcrumbList","@id":"https:\/\/pros.webs.upv.es\/site\/oo-method\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/pros.webs.upv.es\/site\/"},{"@type":"ListItem","position":2,"name":"OO-Method &#8211; the Methodological Support for Oliva Nova Model Execution System"}]},{"@type":"WebSite","@id":"https:\/\/pros.webs.upv.es\/site\/#website","url":"https:\/\/pros.webs.upv.es\/site\/","name":"PROS - Research Center on Software Production Methods","description":"research, software engineering, model-driven development, testing, Internet of things, genomics","publisher":{"@id":"https:\/\/pros.webs.upv.es\/site\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/pros.webs.upv.es\/site\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-GB"},{"@type":"Organization","@id":"https:\/\/pros.webs.upv.es\/site\/#organization","name":"PROS Research Center on Software Production Methods","url":"https:\/\/pros.webs.upv.es\/site\/","logo":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/pros.webs.upv.es\/site\/#\/schema\/logo\/image\/","url":"https:\/\/www.pros.webs.upv.es\/site\/wp-content\/uploads\/2017\/12\/logo_PROS_no_sticky.png","contentUrl":"https:\/\/www.pros.webs.upv.es\/site\/wp-content\/uploads\/2017\/12\/logo_PROS_no_sticky.png","width":1181,"height":500,"caption":"PROS Research Center on Software Production Methods"},"image":{"@id":"https:\/\/pros.webs.upv.es\/site\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/CentroPROS","https:\/\/x.com\/CentroPROS","https:\/\/www.linkedin.com\/company\/pros-research-center\/"]}]}},"_links":{"self":[{"href":"https:\/\/pros.webs.upv.es\/site\/wp-json\/wp\/v2\/pages\/5165","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pros.webs.upv.es\/site\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/pros.webs.upv.es\/site\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/pros.webs.upv.es\/site\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/pros.webs.upv.es\/site\/wp-json\/wp\/v2\/comments?post=5165"}],"version-history":[{"count":3,"href":"https:\/\/pros.webs.upv.es\/site\/wp-json\/wp\/v2\/pages\/5165\/revisions"}],"predecessor-version":[{"id":5206,"href":"https:\/\/pros.webs.upv.es\/site\/wp-json\/wp\/v2\/pages\/5165\/revisions\/5206"}],"wp:attachment":[{"href":"https:\/\/pros.webs.upv.es\/site\/wp-json\/wp\/v2\/media?parent=5165"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}