Download
konza prairie long term ecological research lter henry mikhail n.
Skip this Video
Loading SlideShow in 5 Seconds..
Presentation2 PowerPoint Presentation
Download Presentation
Presentation2

Presentation2

67 Views Download Presentation
Download Presentation

Presentation2

- - - - - - - - - - - - - - - - - - - - - - - - - - - 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