Málaga 2010 - TOOLS, ICMT, SC & TAP

Invited Speakers

ICMT - Stefano Ceri. Monday 28

Stefano Ceri's Photo

Search Computing - A Model-Driven Perspective

Stefano Ceri, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy

Abstract:

Search Computing (SeCo, www.search-computing.it) is a project funded by the European Research Council (ERC). It focuses on building the answers to complex search queries like "Where can I attend an interesting conference in my field close to a sunny beach?" by interacting with a constellation of cooperating search services, using ranking and joining of results as the dominant factors for service composition.

This talk sketches the main characteristics of search computing and discusses how software engineering and model-driven engineering are challenged by the search computing problems. The talk presents Search Computing applications from a model-driven perspective, in terms of (1) the models describing the objects of interest, (2) the specification of applications through model transformations, and (3) the definition of a domain specific language (DSL) defined for the specification of search query plans.

Bio:

Stefano Ceri (http://home.dei.polimi.it/ceri/) is Professor of "Database Systems" at DEI, Politecnico di Milano; his research interests are focused on extending database technology to incorporate data distribution, deductive and active rules, object orientation, XML query languages; recent work is focused on design methods for data-intensive WEB sites, stream reasoning, and search computing. He is vice-chairman (representing Politecnico di Milano) of the Executive board of Alta Scuola Politecnica, a school of excellence for master-level students which is jointly organized by Politecnico di Milano and Politecnico di Torino (2007-2010). He is author of about 250 articles on International Journals and Conference Proceedings, and is co-author of 9 international books; he is co-editor in chief of the book series "Data Centric Systems and Applications" (Springer-Verlag).

He is responsible of several EU Projects projects at Politecnico di Milano, including LarKC "Large Knowledge Collider" (2008-2011). In July 2008 he has been awarded an IDEAS Advanced Grant, funded by the European Research Council (ERC), on "Search Computing" (2008-2013). He is co-inventor of WebML a model for the conceptual design of Web applications (US Patent 6,591,271, July 2003) and co-founder of Web Models, a startup of Politecnico di Milano focused on WebML commercialization by means of the product WebRatio (www.webratio.com).

TOOLS - Oege de Moor. Tuesday 29

Oege Moor's Photo

Analysing OO Programs on an OO Database

Oege de Moor, Computing Laboratory, University of Oxford, United Kingdom

Abstract:

Software analysis is searching data, where the data consists of the source code. It's natural, therefore, to try and write analyses as relational database queries, a suggestion first explored by Linton in 1984. Since then, the program analysis community has concluded that while the idea might be attractive, it doesn't work in practice both because the queries quickly become way too complex, and because query execution is too slow.

ODASA is an industrial engine for software analysis that finally realises the vision of program analysis via queries. It overcomes the earlier impediments in two ways: first, by using object-oriented concepts to make writing the queries easier, and second, by applying known techniques for optimising OO programs to optimising OO queries.

In the talk, I shall demonstrate how ODASA facilitates easy construction of new queries, and how those can be used to analyse substantial software systems like Firefox.

Bio:

Oege de Moor is a professor of computer science at the University of Oxford, where he leads the Programming Tools research group. He is also the CEO of Semmle Ltd, the company that produces ODASA.

TOOLS - Bertrand Meyer. Wednesday 30

Bertrand Meyer's Photo

Ten Things I Want to Know, Empirically

Bertrand Meyer, ETH Zürich and Eiffel Software, Switzerland

Abstract:

Empirical software engineering research has made tremendous advances in the past decade, thanks to the availability of large software repositories, open-source and commercial. One might think that by now we would have a solid body of knowledge about what works and not in software development. This is not the case. Fundamental questions, even some that naturally come up in an introductory software engineering course, still have no better answers than a mix of opinion and guesswork.

Many empirical studies are published, but they often lack reproducibility and generality. Any hope the reader may have entertained to derive some value from such articles vanishes when he reaches the obligatory and dreadful "Threats to validity" section.

This talks brings no answers but shapes the questions. I will present ten issues of software engineering, all simple and all important, propose them as a challenge to researchers in empirical software engineering, and set a framework for adjudicating candidate responses.

Bio:

Bertrand Meyer is Professor of Software Engineering at ETH Zurich (the Swiss Federal Institute of Technology) and Chief Architect of Eiffel Software, based in Santa Barbara (California). He is the author of numerous articles and over ten books on many topics of software engineering, including the best-seller "Object-Oriented Software Construction" (Prentice Hall). He is an ACM Fellow and has received the ACM Software System Award and the Dahl-Nygaard prize for object technology, and is a member of the French academy of technologies. His most recent book, "Touch of Class: An Introduction to Programming Well using Objects and Contracts" (Springer) applies advanced software engineering techniques to the introductory teaching of programming.

TOOLS - Ivar Jacobson. Wednesday 30

Ivar Jacobson's Photo

A Smarter Way: The Software Engineering Method and Theory Initiative (Semat)

Ivar Jacobson, Ivar Jacobson International

Abstract:

Semat and its large supporter base believes that software engineering is gravely hampered by immature practices. Specific problems include: The prevalence of fads more typical of the fashion industry than an engineering discipline, lack of a sound, widely accepted theoretical basis, a huge number of methods and method variants, with differences little understood and artificially magnified. SEMAT supports a process to refound software engineering based on a solid theory, proven principles and best practices that include; a kernel of widely-agreed elements, extensible for specific uses, addressing both technology and people issues. We focus on changing the way we deal with methods and processes, which will impact our industry, its education, its research and its developer community. Join this presentation on SEMAT by Ivar Jacobson to identify how we can change how we work today, as well as influence larger changes required to operate more successfully tomorrow.

Bio:

Dr. Ivar Jacobson is a father of components and component architecture, use cases, the Unified Modelling Language and the Rational Unified Process. He has contributed to modern business modelling and aspect-oriented software development.Thus, Ivar is a legend in his own lifetime. However, all of this is history. Now he is together with Bertrand Meyer and Richard Soley leading a worldwide network Semat, which has agreed to revolutionize software development.

Banquet Dinner - Jean Bézivin. Wednesday 30

Jean Bézivin's Photo

Jean Bézivin, Université de Nantes, Faculté des Sciences, Nantes, France

Bio:

Jean Bézivin is a professor of Computer Science at the University of Nantes, France, and lead of AtlanMod a joint research team between INRIA and Ecole des Mines of Nantes. He got his Master degree from the University of Grenoble and Ph.D. from the University of Rennes . Since 1980 he has been very active in Europe in the object-oriented community, starting the ECOOP series of conference, the TOOLS series of conferences, the MoDELS/UML series of conferences and more recently the ICMT (International Conference on Model Transformation) series of conferences. He founded in 1979, at the University of Nantes, one of the first Master programs in Software Engineering entirely devoted to Object Technology (Data Bases, Concurrency, Languages and Programming, Analysis and Design, etc.). His present research interests include legacy reverse engineering, general model engineering and, in particular, model-transformation languages and frameworks, and the building of model-engineering platforms. He has published many papers and organized tutorials and workshops in the domains of concurrency, simulation, object-oriented programming, and model-driven engineering. On the subjects of model-driven engineering and MDA, he has been leading the OFTA industrial group in France, co-animating a CNRS specific action and the Dagstuhl seminar #04101. He is a member of the ECOOP, MoDELS, TOOLS and ICMT steering committees. He was co-chair of the ECOOP'2006 conference organized in Nantes.

TAP - Michael Ernst. Thursday 1

Michael Ernst's Photo

How tests and proofs impede one another: The need for always-on static and dynamic feedback

Michael Ernst, Computer Science & Engineering, Univesity of Washington

Bio:

Michael D. Ernst is an Associate Professor in the Computer Science and Engineering department at the University of Washington. His research aims to make software more reliable, more secure, and easier (and more fun!) to produce. His primary technical interests are in software engineering and related areas, including programming languages, type theory, security, program analysis, bug prediction, testing, and verification. Ernst's research combines strong theoretical foundations with realistic experimentation, with an eye to changing the way that software developers work. Dr. Ernst was previously a tenured professor at MIT, and before that a researcher at Microsoft Research.

Abstract:

Dynamic and static feedback provide complementary benefits, and neither one dominates the other. Sometimes, sound global static checking is most useful. At other times, running tests is most useful. Unfortunately, current languages impose too rigid a model of the development process: they favor either static or dynamic tools, which prevents the programmer from freely using the other variety. I propose a new approach, in which the developer always has access to immediate execution feedback, and always has access to sound static feedback.

The aim is to permit developers to work the way they find most natural and effective, which will improve reliability and reduce cost. Developers will create software that is more reliable than that created in an environment that favors dynamic analysis. Developers will work faster than they can in an environment that favors static analysis.

TAP - Nachi Nagappan. Friday 2

Nachi Nagappan's Photo

Myths in Software Engineering: From the other side

Nachi Nagappan, Empirical Software Engineering and Measurement Research Group, Microsoft Research

Abstract:

In this talk I will broadly discuss certain myths and assumptions in Software Engineering related to software quality. Presenting a complementary view to the TAP community, the empirical software engineering community adopts the viewpoint that “software engineering is a relatively new and immature discipline. In order to mature, we need to adopt an experimental view of research allowing us to observe and experiment with technologies, understand their weaknesses and strengths, tailor technologies to the goals and characteristics of particular projects, and package them together with empirically gained experience to enhance their reuse potential in future projects... (From ISERN Purpose)”.

In this regard my talk specifically addresses issues relating to static analysis, code coverage, distributed development, minor contributors, unit testing, spec inspections, test driven development, organizational metrics and software assertions. I will also highlight the impact of these results in practice with examples.

Bio:

Nachiappan Nagappan is a Senior Researcher in the Empirical Software Engineering and Measurement Research Group (ESM) at Microsoft Research. His research interests are in the field of software measurement focusing on software metrics, software reliability, failure analysis/prediction and empirical software engineering processes. Prior to his current position he earned his PhD from North Carolina State University in 2005.

SC - Valérie Issarny. Friday 2

Valérie Issarny's Photo

From Middleware to on the Fly Connector Synthesis for the Dynamic Composition of Pervasive Software Intensive Networked Systems*

Valérie Issarny, INRIA Paris-Rocquencourt, France

Abstract:

Our everyday activities are increasingly dependent upon the assistance of digital systems that pervade our living environment. However, the current ubiquity of digital systems is technology-dependent. The efficacy of integrating and composing networked systems is proportional to the level of interoperability of the systems' respective underlying technologies. This leads to a landscape of technological islands of networked systems, although interoperability bridges may possibly be deployed among them. Further, the fast pace at which technology evolves at all abstraction layers increasingly challenges the lifetime of networked systems in the digital environment.

The CONNECT European project aims at dropping the heterogeneity barriers that prevent networked systems from being eternal, thus enabling the continuous composition of networked systems to respond to the evolution of functionalities provided to and/or required from the networked environment, independently of the embedded software technologies. CONNECT specifically targets the dynamic synthesis of connectors via which networked systems communicate. The resulting CONNECTors then compose and further adapt the interaction protocols run by the connected systems, which realize application- down to middleware-layer protocols.

In this talk, I will discuss why and how CONNECT revisits the middleware paradigm so as to enable the dynamic composition of networked systems in the now pervasive digital environments. I will then highlight the research challenges faced by CONNECT in order to enable on the fly CONNECTor synthesis. I will in particular concentrate on the elicitation of a theory of connectors that shall allow reasoning about and adapting the interaction behavior of networked systems at run-time, from the application down to the middleware-layer.

* The presentation is on joint work with colleagues at INRIA (Amel Bennaceur, Nikolaos Georgantas, Animesh Pathak) and University of L'Aquila (Paola Inverardi, Romina Spalazzese, Massimo Tivoli) as part of the FP7 ICT FET CONNECT project.

Bio:

Dr. Valérie Issarny is "Directrice de recherche" at INRIA. Since 2002, she is the head of the ARLES INRIA research project-team at INRIA-Rocquencourt. Her research interests relate to distributed systems, software engineering, pervasive computing/ambient intelligence systems and middleware. She has (co)authored over 100 technical papers in the area of distributed systems and software engineering, and has been involved in a number of European and industrial projects. She has been and is serving as PC member, including as PC chair, of leading international events in the area of distributed systems, middleware, software engineering and trust management. She was the coordinator of the FP6 IST STREP PLASTIC project, and is currently the coordinator of the FP7 FET CONNECT project.