Summary Summary of of UPV UPV activities activities and and - PowerPoint PPT Presentation

ICT for EU-India Cross Cultural Dissemination Summary Summary of of UPV UPV activities activities and and results results María Alpuente

OUTLINE • General profile of our node: ELP and RFIA • Overview of ELP activities • Summary of ELP results in 2005 ICT for EU-India Cross-Cultural Dissemination Project, 2nd Annual Conference Valencia, 14-15 November 2005

General profile of the node UPV - Public University 35,000 Students 15 Schools, all Eng. areas 45 Departments 2,500 Academic Staff 1,700 PhD Students 300 Research Groups at UPV 55 Degree Programs 50 PhD Programs 35 Informatics groups ICT for EU-India Cross-Cultural Dissemination Project, 2nd Annual Conference Valencia, 14-15 November 2005

The UPV partnership In this project, UPV is represented by two groups ⊆ Dept. of Information Systems and Computation (DSIC) • ELP: Extensions of Logic Programming & Programming Languages • RFIA: Pattern Recognition & Artificial Intelligence ICT for EU-India Cross-Cultural Dissemination Project, 2nd Annual Conference Valencia, 14-15 November 2005

ELP ⊆ GPLIS Group (1986) 70 Researchers (25 PhDs) GPLIS LOGIC PROGRAMMING & SOFTWARE ENGINEERING GROUP OO-Method ELP ISSI Oscar Pastor María Alpuente Isidro Ramos EXTENSIONS OF INFORMATION SYSTEMS SOFTWARE PRODUCTION LOGIC PROGRAMMING & SOFTWARE ENGINEERING METHODS & PROGRAMMING LANGUAGES Software Quality Model-driven Software Develop. Automatic Programming Multiparadigm Software Technology Software Architectures Web Engineering Lightweight Formal Methods Legacy Systems Business Modeling Automated Software Engineering DBs and Information Systems Pervasive Systems Term Rewriting Systems E-contents Software Quality Communication and Concurrency Digital Libraries Empirical SE Data mining and Inductive Progr. Home Automation Semantics of Progr. Languages ICT for EU-India Cross-Cultural Dissemination Project, 2nd Annual Conference Valencia, 14-15 November 2005

The ELP Group GPLIS ELP OO-Method ISSI María Alpuente EXTENSIONS OF INFORMATION SYSTEMS SOFTWARE PRODUCTION LOGIC PROGRAMMING & SOFTWARE ENGINEERING METHODS & PROGRAMMING LANGUAGES + Two extra ISSI talks: virtual museums digital libraries 1. 2. ICT for EU-India Cross-Cultural Dissemination Project, 2nd Annual Conference Valencia, 14-15 November 2005

The ELP Group 25 Researchers (12 PhDs) María Alpuente Germán Vidal Jose Hernández Salvador Lucas Javier Oliver M. José Ramírez Santiago Escobar Francisco Correa Cesar Ferri Marisa Llorens Alicia Villanueva _______________ 10 PhD Students Beatriz Alarcon, Gustavo Arroyo, Antonio Bella, Ricardo Blanco, Vicent Estruch, Javier Garcia-Vivó, Raul Gutierrez, Guadalupe Ramos, Josep Silva ICT for EU-India Cross-Cultural Dissemination Project, 2nd Annual Conference Valencia, 14-15 November 2005

The RFIA Group (14 researchers, 9 PhDs) Emilio Sanchis - group coordinator - Paolo Rosso - project coordinator - Lidia Moreno Antonio Molina Ferrán Pla Encarna Segarra Pattern Recognition 5 PhD Students : Speech Technology Jose Manuel Gomez Rafael Guzmán David Pinto Natural Language Davide Buscaldi Engineering Yassine Benajiba Information Extraction Question Answering ICT for EU-India Cross-Cultural Dissemination Project, 2nd Annual Conference Valencia, 14-15 November 2005

The UPV partnership RFIA participates in two WGs: (coordinated by Genoa) WG4 Clustering techniques for document organisation & retrieval WG8 Semantic Information Retrieval: A Natural Language Processing Task (Stefano Rovetta- Paolo Rosso ) ICT for EU-India Cross-Cultural Dissemination Project, 2nd Annual Conference Valencia, 14-15 November 2005

ELP coordinates two WGs: (cooperation with Udine) WG3 Specification and Verification of Web Sites WG7 Intelligent Tutoring Systems ICT for EU-India Cross-Cultural Dissemination Project, 2nd Annual Conference Valencia, 14-15 November 2005

OUTLINE • General profile of our node: ELP and RFIA • Overview of ELP activities • Summary of ELP results in 2005 ICT for EU-India Cross-Cultural Dissemination Project, 2nd Annual Conference Valencia, 14-15 November 2005

Research Motivation: IS Research Motivation: IS Communication Security Commerce The ever-growing demand for quality, safety, efficiency , … ICT for EU-India Cross-Cultural Dissemination Project, 2nd Annual Conference Valencia, 14-15 November 2005

Strong Requirements Systems that must never crash and must always meet their deadlines . Systems that must be robust, secure, trustworthy, and extensible . Performance-critical open networking systems that are costly to shut down. ICT for EU-India Cross-Cultural Dissemination Project, 2nd Annual Conference Valencia, 14-15 November 2005

Research Motivation: IS Research Motivation: IS The ever-growing demand Lack of adequate S&T: for quality, safety, efficiency , … fragility, unreliability , … ICT for EU-India Cross-Cultural Dissemination Project, 2nd Annual Conference Valencia, 14-15 November 2005

The high costs and high failure rates of current software systems call for better Software Technologies … An opportunity for Formal Methods to provide a suitable scientific and technological framework needed for achieving the desired qualitative leap ICT for EU-India Cross-Cultural Dissemination Project, 2nd Annual Conference Valencia, 14-15 November 2005

The ELP Work Themes: The ELP Work Themes: “Quality Quality” ” leit leit motiv motiv “ GENERAL PURPOSE: Formal methods, Tools and Techniques for developing high-quality software -reliable, evolvable, cost-effective-

The ELP Work Themes : The ELP Work Themes : “Quality Quality” ” leit leit motiv motiv “ GENERAL PURPOSE: Formal methods, Tools and Techniques for developing high-quality software -reliable, evolvable, cost-effective- KEY TECHNOLOGY: Lightweight approach based on Multi-paradigm Declarative Programming + CBSD blueprint : Analysis, validation, composition and optimization of software components

Overall view: Overall view: Software Trilogy metaphor Software Trilogy metaphor S t Properties a Refinement T t y i n c P p o specifications e r a o i P n t types… i g a n e a r r r f g M l a e e f y n o P m o r s n i e r r d i n e m s o n d e v g r g c a e l a e r e a e r c n r a i i h t l v c f m a i e e m a c d c t a e a i k t o t v i i r s n o n g a e g n l o T u r a P Declarative debugging t i o Program learning n Data Programs Test data generation data batteries examples… Program transformation Proof-carrying code ICT for EU-India Cross-Cultural Dissemination Project, 2nd Annual Conference Valencia, 14-15 November 2005

Overall view: Overall view: Software Trilogy Software Trilogy The ELP group explores all arcs of S this triangle t Properties a Refinement T t y i with the aim of n c P p o specifications e r a o i P n automating the t types… i g a n e a r r g r f M l a e e f y corresponding n o o m r s n i r e d i n e m s P n e v r g r phases of the c a l a e o d e a e c n r g e i h t l c software process. r f r a i a e e m c i d v m c a e a a k t t v r t i i s n o g i a e o g n o l n T u r a P Declarative debugging t i o Program learning n Data Programs Test data generation data batteries examples… Program transformation Proof-carrying code ICT for EU-India Cross-Cultural Dissemination Project, 2nd Annual Conference Valencia, 14-15 November 2005

The ELP Work Themes : The ELP Work Themes : Key lines: Software quality, formal methods, multi-paradigm (declarative) programming, automated software engineering, semantics Topics: i) Theories, languages, methods and tools to support automated analysis, specification, verification, modeling, debugging, learning, optimization, certification, and transformation of software (components) ii) Techniques for assembling provably reliable components into predictably reliable systems ICT for EU-India Cross-Cultural Dissemination Project, 2nd Annual Conference Valencia, 14-15 November 2005

Focus of the project Focus of the project ELP coordinates two WGs: (cooperation with Udine) WG3 Specification and Verification of Web Sites WG7 Intelligent Tutoring Systems ICT for EU-India Cross-Cultural Dissemination Project, 2nd Annual Conference Valencia, 14-15 November 2005