In spite of intensive research of the past decades, software and information system development is still a highly active research area with lots of open questions in the heart of computer science. The needs to accommodate increasing user participation with increasing use of formal methods, such as formal specification, is in the heart of the research of the MESSI group.