1 / 13

Konza Prairie Long-Term Ecological Research Project Outline

Explore action items, project plan, architectural design, formal specification, and technical inspection checklist for the Konza Prairie LTER. Includes test plan examples, mapping demonstrations, and prototype demo.

reed-sullivan
Télécharger la présentation

Konza Prairie Long-Term Ecological Research Project Outline

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Konza Prairie Long-Term Ecological Research (LTER) Henry Mikhail Presentation2

  2. Outline • Action Items • Project Plan • Architectural Design • Formal Specification • Technical Inspection Checklist • Test Plan • Mapping examples • Prototype Demo • Questions and/or comments

  3. Action items • Ontology Visualization • Change the ontology layout to show concept without having to hover over the concept circles. • Created a database to host part of the Konza data. • C. Developed code to interact with the web server and database server to • build some examples.

  4. Project plan

  5. Architectural Design

  6. Formal specification -- $ProjectHeader: use 0.393 Wed, 16 May 2007 14:10:28 +0200 opti $ model Konza -- classes class Get Data operations getTableName(concept: String , criteria: String) : String get Data( table Name: String) : Set(String) createCSVFile( data: Set(String)) : Boolean get Criteria(concept: String) : Set(String) end

  7. Formal Specs - continue constraints context GetData::getTableName(concept : String , criteria : String) : String pre validParams: concept > ' ' post validTable: criteria > ' ' context GetData::getData(tableName : String) : Set(String) pre : tableName > ' ' post : result-> size > 0 context GetData::createCSVFile(data: Set(String)) : Boolean pre : data->size > 0 post : result = true context getCriteria (concept: String) : Set(String) pre : concept > ' ' post : result->size > 0

  8. Technical Inspection Checklist • Items to inspect • System Architecture Design document • System Components • System component responsibilities • Interface Specifications • System behavior • USE/OCL model • Inspectors • Wesam ElShamy • Scott Bell

  9. Test plan • Use cases • View ontology: Navigate to the url of the web page that shows the Konza ontology. • Search Data: Click on an ontology concept to test the search web page. Perform several test cases. • Download data: Attempt to download data files and save them locally.

  10. mapping example 1 Land Observation Time Sex (m,f,u) Observation distance Data set: CBP01 Bird Populations Bird Specie code

  11. mapping example 2 Soil Soil type Soil relative humidity Observation Time Wind Speed at Sampling time Temperature at Sampling time Cloud cover directly overhead # of individuals per sample Grasshoppers Specie code

  12. Prototype demo

  13. Questions/comments

More Related