230 likes | 329 Views
Computer Science Research Activities in Cyberinfrastructure. Ann Q. Gates The University of Texas at El Paso In collaboration with Randy Keller (Geological Sciences) Vladik Kreinovich (Computer Science). GEON Vision.
E N D
Computer Science Research Activities in Cyberinfrastructure Ann Q. Gates The University of Texas at El Paso In collaboration withRandy Keller (Geological Sciences) Vladik Kreinovich (Computer Science)
GEON Vision • To prototype interpretive environments of the future in Earth Sciences using advanced information technologies • collaborative • inter-disciplinary science efforts • To provide scientists with the capability to: • discover data, tools, and models via portals • use a services-oriented environment to create scientific workflows that are executed in a distributed environment. • use advanced GIS mapping, 3D, and 4D visualization tools that allow scientists to interact with the data. Enable new modes of science that can transform the day-to-day conduct of science.
Research Areas • Ontology (semantic web) • Service-oriented architectures • Tools for geoscientists • Data processing
Research Area 1: Ontology Navigation • Semantic Web • - Extends the current Web by giving information well-defined meaning • - Enables computers and people to work in cooperation. • - Includes ontologies, services, and reasoners • Ontology • - Defines a common vocabulary for researchers • who need to share information in a domain • - Includes machine-interpretable definitions of • basic concepts in the domain and relations • among them • [Perez et al, 2004]
Ontology • Purpose • Share common understanding of the structure of information among people or software agents • Enable reuse of domain knowledge • Key ingredients • Formal explicit descriptions of concepts in domain of discourse • Properties of each concept (features and attributes) • Formal definition of relationships among concepts
Research Questions • How can a geospatial ontology be organized to present and facilitate knowledge discovery for the scientist? • Can we transform a representation into diagrammatic knowledge? </owl:Class> <owl:Class rdf:ID="Compound"> <rdfs:subClassOf rdf:resource="#Chemical" /> <owl:equivalentClass rdf:resource= "#ChemicalCompound" /> </owl:Class> <owl:Class rdf:ID="ChemicalCompound" />
Basis for Work • Source: 2004 Seismology Ontology workshop
Research Area 2: Service-Oriented Architectures • A service is a well defined and self-contained functionality. • Service orientation is an approach for analysis, design, and development of modules that support principles of: • Reusability • Loose Coupling • Abstraction • Separation of Concerns
Services and Service-Oriented Architectures: Research Goals • Achieve interoperability between services • Compatibility of communicating protocols • Compatibility of functionality • Trust • Services • Semantic layer • Create semantic-based services capable of discovery by a “broker” service
Example: Integration of services to Generate Velocity Model How do we know the service will behave as expected?
Example: Integration of services to Generate Velocity Model How do we know the data is correct?
Example: Integration of services to Generate Velocity Model How do we know the integration of services will behave correctly?
Example: Integration of services to Generate Velocity Model How do we know that the service requests and results are completed in an acceptable order?
An Approach: Runtime Monitoring-1 • Research questions • What are the requirements for monitoring the integrity of data and computational properties of services? • What support is required for monitoring the integrity of services?
An Approach: Runtime Monitoring-2 • Expose observable variables • Provide hooks for exposing events and state variables • Monitor relevant aspects of service behavior during execution
Tools: Prospec [Mondragon 2004] • Based on Specification Pattern Systems (SPS) [Dywer et al.] • Facilitates formal specification of properties (FIL, MEDL) • Extends SPS by introducing specification of sequence ordering and non-deterministic behavior
Tools: Talwani Ver. 2.2 for Windows The Talwani software is a gravity profile forward modeling program based on the technique of Talwani et al. (1959) and Cady (1980).
Other Research Efforts: Data Processing • Gravity Data • Duplicates • Outliers • Inversion problems • Improving performance and accuracy • Incorporating geological knowledge • Fusing several results
Closing Remarks • Join the cyberinfrastructure bandwagon! • Develop domain expertise in the sciences and a computing background to become highly marketable