Conference Keynotes

Keith G Jeffery
Science and Technology Facilities Council, UK
September 4, 9:45
Paulo Amaral
Paulo Amaral
Sinfic & Universidade Católica Portuguesa, Portugal
September 4, 14:00
Microsoft Research, USA
September 5, 9:00
Canceled due to a medical emergency with the speaker.
Eileen Forrester
Software Engineering Institute, USA
September 5, 14:00
Science and Technology Facilities Council, UK
CLOUD Computing is surrounded by hype and commercial supplier claims. However, there is emerging experience of real benefits and alongside a set of challenges for CLOUD Computing to reach wide acceptance. Major problems concern performance, security, privacy and interoperation – all of which have strong quality aspects CLOUD Computing faces not only technical challenges but also legal, business (economic) and environmental (green) challenges. Quality concerns are pervasive.
Keith Jeffery is currently Director International Relations at STFC (Science and Technology Facilities Council) based at Rutherford Appleton Laboratory. Keith previously had strategic and operational responsibility for ICT with 360,000 users, 1100 servers and 140 staff. Keith holds 3 honorary visiting professorships, is a Fellow of the Geological Society of London and the British Computer Society, is a Chartered Engineer and Chartered IT Professional and an Honorary Fellow of the Irish Computer Society. Keith is currently President of ERCIM and President of euroCRIS, and serves on international expert groups, conference boards and assessment panels. He had advised government on security and green computing. He chaired the EC Expert Groups on GRIDs and on CLOUD Computing.
Challenges in Mobile Computing Development
Paulo Amaral
Sinfic & Universidade Católica Portuguesa, Portugal
Mobility is changing the system development landscape due to the fact that it is the actual technological revolution in the use of informations systems technology and the current main driver of economic innovation and development.
The limitations of the mobile interface and the sense of urgency when using it are the first challenges to be overcome which have been worked around succesfully for the past four years.
But mobile computing has some challenges of its own.
Users demand access to data, information and knowledge spread across multiple Cloud Computing platforms, and marshalled in real time. In this regard, the evolution of Web Oriented Architectures should take into consideration the needs of the mobile computing environment. Also, Business Intelligence Architectures, sould include requirements for real time knowledge handling. And the system’s development methodology for mobile computing should also make use of new prototyping architectures adapted to run-time envornments. The real challenge is to be able to integrate coherently a new computing architecture for mobility with new development methodologies adapted to business and user needs that build on distributed knoledge and conextualization in real-time.
PhD in informations Systems (university of Paris) MBA in International Business (Portuguese Catholic University)
Invited Professor at Portuguese Catholic University lecturing Information and Knowledge Management
Was deputy-CIO and CIO for 15 years at Portugal Telecom and Caixa Seguros
Member of the Board at Sinfic
Formula: A Declarative Approach for Model-driven Development Environments
Microsoft Research, USA

(Due to unforeseen circumstances, the planned keynote by Mr. Wolfram Schulte will be performed instead by Mr. Ethan Jackson, from the same research group)

This talk presents Formula, a programming language for describing structure, behavior and transformation of software abstractions, i.e., for giving meaning to domain specific languages and their transformations. Formula is a typed declarative language based on constraint logic programming (CLP). Through CLP, domains can compactly be described by types, rules and constraints. Instances of domains, aka models, are just a set of facts. Transformations, also described by rules, transform models into models. Unlike Eclipse or other CLP languages, Formula supports open world modeling: given a set rules, Formula tries to find a model, i.e., a set of facts, where some deductions hold. Model finding is the key validation technique for model-driven development. It allows answering questions like: Given a domain description, is it consistent, i.e., does have at least one model? Given a model, does it fulfill all its constraints? Given a transformation, is it correctness preserving?
An initial implementation of Formula has been completed and has been used to demonstrate its effectiveness in developing a variety of domain specific environments, ranging from authoring and evaluating security policies, via cancer treatment planning, to exploring platform mappings. In this talk, I will highlight the use of Formula for developing an integrated environment for state machine based modeling, verification, and code generation. This environment is used within Microsoft to develop and refine USB 3.0. Initial experience for USB 3.0 shows that the use of Formula leads to rapid and precise domain definitions; that transformations lead to reduction in complexity; and that model finding is key for design analysis.
This is joint work by Wolfram Schulte, Ethan Jackson, Shaz Qadeer, Markus Dahlweid, Sriram Rajamani.
Ethan Jackson is a researcher in the Research in Software Engineering (RiSE) group at Microsoft Research. His research focuses on the theoretical and practical aspects of model-based development. He is one of the main developers of the FORMULA modeling framework, which is a cutting-edge specification language and analysis tool for formal modeling of software systems. Ethan holds a PhD in Computer Science from Vanderbilt University and received a B.S. in Computer Engineering from the University of Pittsburgh.
Software Engineering Institute, USA
The majority of the US and global economy is now service, rather than manufacturing or trading of tangible goods. Even the development of goods and systems increasingly takes on the character of service. Automation of processes and functions into services (service-oriented architecture, web services, cloud service, security as a service) has dominated software engineering thinking for the past several years. CMMI is a reference model for process improvement meant to enhance the business performance of a wide range of organizations. Recent data from top CMMI users illustrates the quality and other business results that capable organizations get, such as customer satisfaction, higher income, defect reduction, on-time performance, and decreased costs. Eileen Forrester, the lead author of the CMMI for Services, will address strategic opportunity not just for traditional service disciplines in ICT and elsewhere, but for engineers and developers as well.
Eileen Forrester is the manager of the CMMI for Services program at the Software Engineering Institute, and the lead author of the Addison-Wesley book, CMMI for Services, Guidelines for Superior Service. She was the co-chair of the International Process Research Consortium and the editor of the IPRC Process Research Framework. Forrester is the developer of TransPlant, a transition-planning process, and her current research area is in process-oriented approaches to service delivery, technology change, risk management, and emergent system types. These approaches include GAIT, the CMMI for Services, OCTAVE, MDA, and multi-model improvement approaches. She has more than 35 years of experience in technology transition, strategic planning, applied research, process improvement, communication planning, and managing product, service, and non-profit organizations.