Home      Log In      Contacts      FAQs      INSTICC Portal

Keynote Lectures

From Requirements to Code - A Full Model-Driven Development Perspective
Oscar Pastor, Universidad Politécnica de Valencia, Spain

The Gap between Specification and Synthesis
Stephen Mellor, Freeter, United Kingdom


From Requirements to Code - A Full Model-Driven Development Perspective

Oscar Pastor
Universidad Politécnica de Valencia

Brief Bio
Oscar Pastor is Full Professor and Director of the "Centro de Investigación en Métodos de Producción de Software (PROS)" at the Universidad Politécnica de Valencia (Spain). He received his Ph.D. in 1992. He was a researcher at HP Labs, Bristol, UK. He has published more than two hundred research papers in conference proceedings, journals and books, received numerous research grants from public institutions and private industry, and been keynote speaker at several conferences and workshops. Chair of the ER Steering Committee, and member of the SC of conferences as CAiSE, ICWE, CIbSE or RCIS, his research activities focus on conceptual modeling, web engineering, requirements engineering, information systems, and model-based software production. He created the object-oriented, formal specification language OASIS and the corresponding software production method OO-METHOD. He led the research and development underlying CARE Technologies that was formed in 1996. CARE Technologies has created an advanced MDA-based Conceptual Model Compiler called OlivaNova, a tool that produces a final software product starting from a conceptual schema that represents system requirements. He is currently leading a multidisciplinary project linking Information Systems and Bioinformatics notions, oriented to designing and implementing tools for Conceptual Modeling-based interpretation of the Human Genome information.


A crucial success factor in information systems development is the alignment of the system with business goals, business semantics and business processes. Developers should be freed from programming concerns and be able to concentrate on these alignment problems. Model-driven system development (MDD) not only provides a structured and systematic approach to systems development, but also offers developers the possibility of using model transformation technologies to derive models of a lower abstraction level that can be further refined, and even generate software code automatically.

From the experience got with the advanced MDD platform provided by Integranova, this talk will show how to successfully integrate business process modelling (BPM), requirements engineering (RE) and object-oriented conceptual modelling with the objective of leveraging MDD capabilities. The current state of the art on modelling methods and code generation tools will be discussed to explore different ways to match an information system with business requirements. Concrete principles, concepts and common practices of MDD will be presented with a special focus on model-driven requirements engineering, meaning by it how business process models and requirements models can be embedded in a complete MDD process. As a practical application, a specific method and notations are explained, but the ultimate goal is that assistants are able to apply this knowledge to their own contexts, to either industrial practice or academic research.



The Gap between Specification and Synthesis

Stephen Mellor
United Kingdom

Brief Bio
Stephen J Mellor is an independent teacher and consultant focussed on methods for the construction of real-time and embedded systems. He is the author of Structured Development for Real-Time Systems (way back in 1985), Object Lifecycles, Executable UML, and MDA Distilled. He is also (perhaps surprisingly) a signatory to the Agile Manifesto. Until recently, he was Chief Scientist of the Embedded Software Division at Mentor Graphics, and founder and some-time president of Project Technology, Inc., before its acquisition. He participates in multiple UML/modeling related activities at the Object Management Group, and was a member of the OMG's Architecture Board, which is the final technical gateway for all OMG standards. Mr. Mellor was the Chairman of the Advisory Board to IEEE Software for ten years and a two-time Guest Editor of the magazine, most recently for an issue on Model-Driven Development. He is also adjunct professor at the Australian National University in Canberra, ACT, Australia.


Whenever we build an abstract specification language, we lose some control over that which we have abstracted away.  This poses difficulties when we desire such control, but are unwilling to lose the undoubted benefits of an abstract specification language. This problem is greater when the gap between the specification and the eventual implementation is large, which is especially the case when defining the functional behaviour of an SoC, that, by definition, involves both hardware and software. At this stage, the differentiation between hardware and software has not (or should not have!) been made, and the specification of software or hardware optimisations is premature.

This keynote proposes an approach using models to capture the behaviour of the system including both hardware and software, and transformations to synthesise the system. In this way, optimisations can be embedded within the transformations and so close the gap between specification and synthesis in a general manner.