Konza Prairie LongTerm Ecological Research LTER Henry Mikhail
- Slides: 13
Konza Prairie Long-Term Ecological Research (LTER) Henry Mikhail PRESENTATION 2
OUTLINE ØAction Items ØProject Plan ØArchitectural Design ØFormal Specification ØTechnical Inspection Checklist ØTest Plan ØMapping examples ØPrototype Demo ØQuestions and/or comments
ACTION ITEMS Ø Ontology Visualization A. Change the ontology layout to show concept without having to hover the concept circles. B. 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.
PROJECT PLAN Item Estimate Comments Source Code Requires ~9 days 400 Lines of code ~ 600 done (60%) ~400 to go (40%) Documentation Requires ~18 days Third and final phase documents and inspection reviews. User manual. Inspection reviews are done by inspectors. Testing Requires ~4 days Total ~ 31 days
ARCHITECTURAL DESIGN
FORMAL SPECIFICATION -- $Project. Header: use 0. 393 Wed, 16 May 2007 14: 10: 28 +0200 opti $ model Konza -- classes class Get Data operations get. Table. Name(concept: String , criteria: String) : String get Data( table Name: String) : Set(String) create. CSVFile( data: Set(String)) : Boolean get Criteria(concept: String) : Set(String) end
FORMAL SPECS - CONTINUE constraints context Get. Data: : get. Table. Name(concept : String , criteria : String) : String pre valid. Params: concept > ' ' post valid. Table: criteria > ' ' context Get. Data: : get. Data(table. Name : String) : Set(String) pre : table. Name > ' ' post : result-> size > 0 context Get. Data: : create. CSVFile(data: Set(String)) : Boolean pre : data->size > 0 post : result = true context get. Criteria (concept: String) : Set(String) pre : concept > ' ' post : result->size > 0
TECHNICAL INSPECTION CHECKLIST Ø Items to inspect v v v System Architecture Design document System Components System component responsibilities Interface Specifications System behavior Ø USE/OCL model Ø Inspectors v Wesam El. Shamy v Scott Bell
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.
MAPPING EXAMPLE 1 Land Observatio n Time Sex (m, f, u) Observation distance Bird Specie code Data set: CBP 01 Bird Populations
MAPPING EXAMPLE 2 Soil type Soil relative humidity Observatio n Time Wind Speed at Sampling time Temperature at Sampling time Cloud cover directly overhead # of individuals per sample Grasshoppers Specie code
PROTOTYPE DEMO
QUESTIONS/COMMENTS
