{"id":13223,"date":"2021-12-07T21:00:41","date_gmt":"2021-12-08T02:00:41","guid":{"rendered":"https:\/\/carleton.ca\/scs\/?page_id=13223"},"modified":"2021-12-07T21:00:41","modified_gmt":"2021-12-08T02:00:41","slug":"tr-07-19-the-grocery-store-contract-evaluation-framework-walk-through","status":"publish","type":"page","link":"https:\/\/carleton.ca\/scs\/research\/scs-technical-reports\/technical-reports-2007\/tr-07-19-the-grocery-store-contract-evaluation-framework-walk-through\/","title":{"rendered":"TR-07-19: The Grocery Store: Contract Evaluation Framework Walk Through"},"content":{"rendered":"

Carleton University
\nTechnical Report<\/a> TR-07-19
\nOctober 16, 2007<\/p>\n

The Grocery Store: Contract Evaluation Framework Walk Through<\/h2>\n
\n
\n
\n
\n
\n
\n
\n
\n
\n

Dave Arnold<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n

\n

Abstract<\/h3>\n

A physical grocery store is used to present an open framework for the specification, execution, and conformance evaluation of scenarios. Our framework supports the binding of a testable model against a candidate implementation for evaluation. Such evaluation includes the invocation of static and dynamic checks, the execution of scenarios, and the capture and evaluation of metrics. Metric evaluation allows our framework to consider both functional and non\u2010functional requirements when determine conformance. The grocery store is used to provide a complete end\u2010to\u2010end walk through of our framework\u0092s capabilities and operation. The walk through will begin with the elicitation and specification of scenarios and finish with a contract evaluation report illustrating conformance.<\/p>\n

TR-07-19.pdf<\/a><\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

Carleton University Technical Report TR-07-19 October 16, 2007 The Grocery Store: Contract Evaluation Framework Walk Through Dave Arnold Abstract A physical grocery store is used to present an open framework for the specification, execution, and conformance evaluation of scenarios. Our framework supports the binding of a testable model against a candidate implementation for evaluation. Such […]<\/p>\n","protected":false},"author":49,"featured_media":0,"parent":12385,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_relevanssi_hide_post":"","_relevanssi_hide_content":"","_relevanssi_pin_for_all":"","_relevanssi_pin_keywords":"","_relevanssi_unpin_keywords":"","_relevanssi_related_keywords":"","_relevanssi_related_include_ids":"","_relevanssi_related_exclude_ids":"","_relevanssi_related_no_append":"","_relevanssi_related_not_related":"","_relevanssi_related_posts":"","_relevanssi_noindex_reason":"","_mi_skip_tracking":false,"_exactmetrics_sitenote_active":false,"_exactmetrics_sitenote_note":"","_exactmetrics_sitenote_category":0,"footnotes":"","_links_to":"","_links_to_target":""},"yoast_head":"\nTR-07-19: The Grocery Store: Contract Evaluation Framework Walk Through - School of Computer Science<\/title>\n<meta name=\"description\" content=\"Carleton University Technical Report TR-07-19 October 16, 2007 The Grocery Store: Contract Evaluation Framework Walk Through Dave Arnold Abstract A\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/carleton.ca\/scs\/research\/scs-technical-reports\/technical-reports-2007\/tr-07-19-the-grocery-store-contract-evaluation-framework-walk-through\/\" \/>\n<meta name=\"twitter:label1\" content=\"Est. 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:\/\/carleton.ca\/scs\/research\/scs-technical-reports\/technical-reports-2007\/tr-07-19-the-grocery-store-contract-evaluation-framework-walk-through\/\",\"url\":\"https:\/\/carleton.ca\/scs\/research\/scs-technical-reports\/technical-reports-2007\/tr-07-19-the-grocery-store-contract-evaluation-framework-walk-through\/\",\"name\":\"TR-07-19: The Grocery Store: Contract Evaluation Framework Walk Through - School of Computer Science\",\"isPartOf\":{\"@id\":\"https:\/\/carleton.ca\/scs\/#website\"},\"datePublished\":\"2021-12-08T02:00:41+00:00\",\"dateModified\":\"2021-12-08T02:00:41+00:00\",\"description\":\"Carleton University Technical Report TR-07-19 October 16, 2007 The Grocery Store: Contract Evaluation Framework Walk Through Dave Arnold Abstract A\",\"breadcrumb\":{\"@id\":\"https:\/\/carleton.ca\/scs\/research\/scs-technical-reports\/technical-reports-2007\/tr-07-19-the-grocery-store-contract-evaluation-framework-walk-through\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/carleton.ca\/scs\/research\/scs-technical-reports\/technical-reports-2007\/tr-07-19-the-grocery-store-contract-evaluation-framework-walk-through\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/carleton.ca\/scs\/research\/scs-technical-reports\/technical-reports-2007\/tr-07-19-the-grocery-store-contract-evaluation-framework-walk-through\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/carleton.ca\/scs\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Research\",\"item\":\"https:\/\/carleton.ca\/scs\/research\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"SCS Technical Reports\",\"item\":\"https:\/\/carleton.ca\/scs\/research\/scs-technical-reports\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Technical Reports 2007\",\"item\":\"https:\/\/carleton.ca\/scs\/research\/scs-technical-reports\/technical-reports-2007\/\"},{\"@type\":\"ListItem\",\"position\":5,\"name\":\"TR-07-19: The Grocery Store: Contract Evaluation Framework Walk Through\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/carleton.ca\/scs\/#website\",\"url\":\"https:\/\/carleton.ca\/scs\/\",\"name\":\"School of Computer Science\",\"description\":\"Carleton University\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/carleton.ca\/scs\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-US\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"TR-07-19: The Grocery Store: Contract Evaluation Framework Walk Through - School of Computer Science","description":"Carleton University Technical Report TR-07-19 October 16, 2007 The Grocery Store: Contract Evaluation Framework Walk Through Dave Arnold Abstract A","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:\/\/carleton.ca\/scs\/research\/scs-technical-reports\/technical-reports-2007\/tr-07-19-the-grocery-store-contract-evaluation-framework-walk-through\/","twitter_misc":{"Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/carleton.ca\/scs\/research\/scs-technical-reports\/technical-reports-2007\/tr-07-19-the-grocery-store-contract-evaluation-framework-walk-through\/","url":"https:\/\/carleton.ca\/scs\/research\/scs-technical-reports\/technical-reports-2007\/tr-07-19-the-grocery-store-contract-evaluation-framework-walk-through\/","name":"TR-07-19: The Grocery Store: Contract Evaluation Framework Walk Through - School of Computer Science","isPartOf":{"@id":"https:\/\/carleton.ca\/scs\/#website"},"datePublished":"2021-12-08T02:00:41+00:00","dateModified":"2021-12-08T02:00:41+00:00","description":"Carleton University Technical Report TR-07-19 October 16, 2007 The Grocery Store: Contract Evaluation Framework Walk Through Dave Arnold Abstract A","breadcrumb":{"@id":"https:\/\/carleton.ca\/scs\/research\/scs-technical-reports\/technical-reports-2007\/tr-07-19-the-grocery-store-contract-evaluation-framework-walk-through\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/carleton.ca\/scs\/research\/scs-technical-reports\/technical-reports-2007\/tr-07-19-the-grocery-store-contract-evaluation-framework-walk-through\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/carleton.ca\/scs\/research\/scs-technical-reports\/technical-reports-2007\/tr-07-19-the-grocery-store-contract-evaluation-framework-walk-through\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/carleton.ca\/scs\/"},{"@type":"ListItem","position":2,"name":"Research","item":"https:\/\/carleton.ca\/scs\/research\/"},{"@type":"ListItem","position":3,"name":"SCS Technical Reports","item":"https:\/\/carleton.ca\/scs\/research\/scs-technical-reports\/"},{"@type":"ListItem","position":4,"name":"Technical Reports 2007","item":"https:\/\/carleton.ca\/scs\/research\/scs-technical-reports\/technical-reports-2007\/"},{"@type":"ListItem","position":5,"name":"TR-07-19: The Grocery Store: Contract Evaluation Framework Walk Through"}]},{"@type":"WebSite","@id":"https:\/\/carleton.ca\/scs\/#website","url":"https:\/\/carleton.ca\/scs\/","name":"School of Computer Science","description":"Carleton University","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/carleton.ca\/scs\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-US"}]}},"acf":{"banner_image_type":"none","banner_button":"no"},"_links":{"self":[{"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/pages\/13223"}],"collection":[{"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/users\/49"}],"replies":[{"embeddable":true,"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/comments?post=13223"}],"version-history":[{"count":1,"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/pages\/13223\/revisions"}],"predecessor-version":[{"id":13224,"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/pages\/13223\/revisions\/13224"}],"up":[{"embeddable":true,"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/pages\/12385"}],"wp:attachment":[{"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/media?parent=13223"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}